From f1e4ae9d9057e8b13350ebe183fd67cc2bb44b51 Mon Sep 17 00:00:00 2001
From: narodnik <x@x.org>
Date: Wed, 17 Aug 2022 08:21:03 +0200
Subject: [PATCH] add missing propose-main.zk

---
 bin/daod/proof/dao-propose-main.zk | 28 ++++++++++++++++++++++++++++
 1 file changed, 28 insertions(+)
 create mode 100644 bin/daod/proof/dao-propose-main.zk

diff --git a/bin/daod/proof/dao-propose-main.zk b/bin/daod/proof/dao-propose-main.zk
new file mode 100644
index 000000000..0f765e47d
--- /dev/null
+++ b/bin/daod/proof/dao-propose-main.zk
@@ -0,0 +1,28 @@
+constant "DaoProposeMain" {
+}
+
+contract "DaoProposeMain" {
+    Base dao_proposer_limit,
+    Base dao_quorum,
+    Base dao_approval_ratio,
+    Base gdrk_token_id,
+    Base dao_public_x,
+    Base dao_public_y,
+    Base dao_bulla_blind,
+}
+
+circuit "DaoProposeMain" {
+    bulla = poseidon_hash(
+        dao_proposer_limit,
+        dao_quorum,
+        dao_approval_ratio,
+        gdrk_token_id,
+        dao_public_x,
+        dao_public_y,
+        dao_bulla_blind,
+        # @tmp-workaround
+        dao_bulla_blind,
+    );
+    constrain_instance(bulla);
+}
+