add missing propose-main.zk

2026-04-28 03:00:18 -04:00 · 2022-08-17 08:21:03 +02:00
parent 98257fd714
commit f1e4ae9d90
1 changed files with 28 additions and 0 deletions
--- a/bin/daod/proof/dao-propose-main.zk
+++ 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);
+}
+