diff --git a/circom_circuits/Mantle/generate_inputs_for_pol.py b/circom_circuits/Mantle/generate_inputs_for_pol.py index db65f56..408146d 100755 --- a/circom_circuits/Mantle/generate_inputs_for_pol.py +++ b/circom_circuits/Mantle/generate_inputs_for_pol.py @@ -245,7 +245,7 @@ for i in range(25): else: secret_root = Compression([slot_secret_path[i],secret_root]) sk = poseidon2_hash([F(256174383281726064679014503048630094),starting_slot,secret_root]) -pk = Compression([F(1296193216988918402894),sk]) +pk = poseidon2_hash([F(1296193216988918402894),sk]) note_id = poseidon2_hash([F(65580641562429851895355409762135920462),tx_hash,output_number,value,pk]) ticket = poseidon2_hash([F(13887241025832268),F(epoch_nonce),F(slot_number),note_id,sk]) diff --git a/circom_circuits/ledger/notes.circom b/circom_circuits/ledger/notes.circom index 035b9b2..3d34fe2 100644 --- a/circom_circuits/ledger/notes.circom +++ b/circom_circuits/ledger/notes.circom @@ -3,7 +3,6 @@ pragma circom 2.1.9; include "../hash_bn/poseidon2_hash.circom"; include "../misc/constants.circom"; -include "../hash_bn/poseidon2_perm.circom"; template derive_secret_key(){ signal input starting_slot; @@ -23,7 +22,7 @@ template derive_public_key(){ signal input secret_key; signal output out; - component hash = Compression(); + component hash = Poseidon2_hash(2); component dst = NOMOS_KDF(); hash.inp[0] <== dst.out; hash.inp[1] <== secret_key;