diff --git a/docs/GLOSSARY.md b/docs/GLOSSARY.md
new file mode 100644
index 000000000..39ac439d0
--- /dev/null
+++ b/docs/GLOSSARY.md
@@ -0,0 +1,11 @@
+# Glossary
+
+**Protocol research**  
+Exploration and validation of protocol designs before production use.
+
+**Reference implementation**  
+An implementation meant to demonstrate correctness and design choices,
+not optimized for production environments.
+
+**Formal verification**  
+Mathematical methods used to prove properties of a protocol or system.