Просмотр исходного кода

daod: temp workaround just duplicate last value to be even number of inputs

narodnik 4 лет назад
Родитель
Сommit
04bb57bfcc
2 измененных файлов с 9 добавлено и 5 удалено
  1. 4 2
      bin/daod/proof/dao-mint.zk
  2. 5 3
      bin/daod/src/demo.rs

+ 4 - 2
bin/daod/proof/dao-mint.zk

@@ -7,7 +7,7 @@ contract "DaoMint" {
     Base dao_approval_ratio,
     Base gdrk_token_id,
     Base dao_public_x,
-    #Base dao_public_y,
+    Base dao_public_y,
     Base dao_bulla_blind,
 }
 
@@ -19,7 +19,9 @@ circuit "DaoMint" {
         dao_approval_ratio,
         gdrk_token_id,
         dao_public_x,
-        #dao_public_y,
+        dao_public_y,
+        dao_bulla_blind,
+        # @tmp-workaround
         dao_bulla_blind,
     );
     constrain_instance(bulla);

+ 5 - 3
bin/daod/src/demo.rs

@@ -408,11 +408,13 @@ pub async fn demo() -> Result<()> {
         dao_approval_ratio__base,
         gdrk_token_id,
         dao_public_x,
-        //dao_public_y,
+        dao_public_y,
+        dao_bulla_blind,
+        // @tmp-workaround
         dao_bulla_blind,
     ];
     let dao_bulla =
-        poseidon::Hash::<_, poseidon::P128Pow5T3, poseidon::ConstantLength<6>, 3, 2>::init()
+        poseidon::Hash::<_, poseidon::P128Pow5T3, poseidon::ConstantLength<8>, 3, 2>::init()
             .hash(messages);
 
     // Lets repeat this in ZK
@@ -434,7 +436,7 @@ pub async fn demo() -> Result<()> {
         Witness::Base(Value::known(dao_approval_ratio__base)),
         Witness::Base(Value::known(gdrk_token_id)),
         Witness::Base(Value::known(dao_public_x)),
-        //Witness::Base(Value::known(dao_public_y)),
+        Witness::Base(Value::known(dao_public_y)),
         Witness::Base(Value::known(dao_bulla_blind)),
     ];