diff --git a/Makefile b/Makefile
index 1002cbcfc..6c3494841 100644
--- a/Makefile
+++ b/Makefile
@@ -24,7 +24,8 @@ BINDEPS = \
 # ZK proofs to compile with zkas
 PROOFS = \
 	$(shell find bin/daod/proof -type f -name '*.zk') \
-	$(shell find proof -type f -name '*.zk')
+	$(shell find proof -type f -name '*.zk') \
+	example/simple.zk
 
 PROOFS_BIN = $(PROOFS:=.bin)