Quellcode durchsuchen

messgae constraint

narodnik vor 4 Jahren
Ursprung
Commit
76488e64a6
1 geänderte Dateien mit 1 neuen und 0 gelöschten Zeilen
  1. 1 0
      bin/daod/proof/dao-exec.zk

+ 1 - 0
bin/daod/proof/dao-exec.zk

@@ -45,6 +45,7 @@ circuit "DaoExec" {
     # instr = OPCODE, u, P
     # instr = OPCODE, u, P
     message = poseidon_hash(instr_value, instr_key_x, instr_key_y,
     message = poseidon_hash(instr_value, instr_key_x, instr_key_y,
                             instr_token_id, message_blind);
                             instr_token_id, message_blind);
+    constrain_instance(message);
 
 
 	# Vote commitment
 	# Vote commitment
 	vote_cv = ec_mul_short(vote_value, VALUE_COMMIT_VALUE);
 	vote_cv = ec_mul_short(vote_value, VALUE_COMMIT_VALUE);