//test pragma circom 2.1.9; include "../circomlib/circuits/bitify.circom"; include "../circomlib/circuits/comparators.circom"; // int.from_bytes(hashlib.blake2b(b"LEAD_V1", digest_size=32).digest()[:-1], "little") = 328840406439552832830196247813274442341678919395186087927998764150429312516 template LEAD_V1(){ signal output out; out <== 328840406439552832830196247813274442341678919395186087927998764150429312516; } // int.from_bytes(hashlib.blake2b(b"NOMOS_POL_SK_V1", digest_size=32).digest()[:-1], "little") = 368578955381705904513968556094561791019140317213076864424136877504260737058 template NOMOS_POL_SK_V1(){ signal output out; out <== 368578955381705904513968556094561791019140317213076864424136877504260737058; } // int.from_bytes(hashlib.blake2b(b"NOMOS_NONCE_CONTRIB_V1", digest_size=32).digest()[:-1], "little") = 244357966957813294976413655106584723088007136198770941251562443211854695510 template NOMOS_NONCE_CONTRIB_V1(){ signal output out; out <== 244357966957813294976413655106584723088007136198770941251562443211854695510; } // int.from_bytes(hashlib.blake2b(b"NOMOS_KDF_V1", digest_size=32).digest()[:-1], "little") = 71828171600713765359243601848789410494517675262904677980449468236927732106 template NOMOS_KDF_V1(){ signal output out; out <== 71828171600713765359243601848789410494517675262904677980449468236927732106; } // int.from_bytes(hashlib.blake2b(b"NOMOS_NOTE_ID_V1", digest_size=32).digest()[:-1], "little") = 103012852986292465873069134523609422197952925946768565674230228608985708879 template NOMOS_NOTE_ID_V1(){ signal output out; out <== 103012852986292465873069134523609422197952925946768565674230228608985708879; } // int.from_bytes(hashlib.blake2b(b"SELECTION_RANDOMNESS_V1", digest_size=32).digest()[:-1], "little") = 163474922864341961381400596433391531839044482664776931971752230771615546343 template SELECTION_RANDOMNESS_V1(){ signal output out; out <== 163474922864341961381400596433391531839044482664776931971752230771615546343; } // int.from_bytes(hashlib.blake2b(b"PROOF_NULLIFIER_V1", digest_size=32).digest()[:-1], "little") = 122037697982558563853882923701277343284564598726996395839110393320403237949 template PROOF_NULLIFIER_V1(){ signal output out; out <== 122037697982558563853882923701277343284564598726996395839110393320403237949; }