2025-03-26 14:44:56 +01:00
|
|
|
//test
|
|
|
|
|
pragma circom 2.1.9;
|
|
|
|
|
|
|
|
|
|
include "../circomlib/circuits/bitify.circom";
|
|
|
|
|
include "../circomlib/circuits/comparators.circom";
|
|
|
|
|
|
2025-05-27 14:35:49 +02:00
|
|
|
// int.from_bytes(hashlib.blake2b(b"LEAD_V1", digest_size=32).digest()[:-1], "little") = 328840406439552832830196247813274442341678919395186087927998764150429312516
|
2025-05-27 11:44:13 +02:00
|
|
|
template LEAD_V1(){
|
2025-03-26 14:44:56 +01:00
|
|
|
signal output out;
|
2025-05-27 14:35:49 +02:00
|
|
|
out <== 328840406439552832830196247813274442341678919395186087927998764150429312516;
|
2025-03-26 14:44:56 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
2025-05-27 14:35:49 +02:00
|
|
|
// int.from_bytes(hashlib.blake2b(b"NOMOS_POL_SK_V1", digest_size=32).digest()[:-1], "little") = 368578955381705904513968556094561791019140317213076864424136877504260737058
|
2025-05-27 11:44:13 +02:00
|
|
|
template NOMOS_POL_SK_V1(){
|
2025-03-26 14:44:56 +01:00
|
|
|
signal output out;
|
2025-05-27 14:35:49 +02:00
|
|
|
out <== 368578955381705904513968556094561791019140317213076864424136877504260737058;
|
2025-03-26 14:44:56 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
2025-05-27 14:35:49 +02:00
|
|
|
// int.from_bytes(hashlib.blake2b(b"NOMOS_NONCE_CONTRIB_V1", digest_size=32).digest()[:-1], "little") = 244357966957813294976413655106584723088007136198770941251562443211854695510
|
2025-05-27 11:44:13 +02:00
|
|
|
template NOMOS_NONCE_CONTRIB_V1(){
|
2025-03-26 14:44:56 +01:00
|
|
|
signal output out;
|
2025-05-27 14:35:49 +02:00
|
|
|
out <== 244357966957813294976413655106584723088007136198770941251562443211854695510;
|
2025-03-26 14:44:56 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
2025-05-27 14:35:49 +02:00
|
|
|
// int.from_bytes(hashlib.blake2b(b"NOMOS_KDF_V1", digest_size=32).digest()[:-1], "little") = 71828171600713765359243601848789410494517675262904677980449468236927732106
|
2025-05-27 11:44:13 +02:00
|
|
|
template NOMOS_KDF_V1(){
|
2025-03-26 14:44:56 +01:00
|
|
|
signal output out;
|
2025-05-27 14:35:49 +02:00
|
|
|
out <== 71828171600713765359243601848789410494517675262904677980449468236927732106;
|
2025-03-26 14:44:56 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
2025-05-27 14:35:49 +02:00
|
|
|
// int.from_bytes(hashlib.blake2b(b"NOMOS_NOTE_ID_V1", digest_size=32).digest()[:-1], "little") = 103012852986292465873069134523609422197952925946768565674230228608985708879
|
2025-05-27 11:44:13 +02:00
|
|
|
template NOMOS_NOTE_ID_V1(){
|
2025-03-31 12:43:18 +02:00
|
|
|
signal output out;
|
2025-05-27 14:35:49 +02:00
|
|
|
out <== 103012852986292465873069134523609422197952925946768565674230228608985708879;
|
2025-03-26 14:44:56 +01:00
|
|
|
}
|