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-09-30 09:39:05 +02:00
|
|
|
// int.from_bytes(b"LEAD_V1", byteorder="little") = 13887241025832268
|
2025-05-27 11:44:13 +02:00
|
|
|
template LEAD_V1(){
|
2025-03-26 14:44:56 +01:00
|
|
|
signal output out;
|
2025-09-30 09:39:05 +02:00
|
|
|
out <== 13887241025832268;
|
2025-03-26 14:44:56 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
2025-09-30 09:39:05 +02:00
|
|
|
// int.from_bytes(b"NOMOS_POL_SK_V1", byteorder="little") = 256174383281726064679014503048630094
|
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-09-30 09:39:05 +02:00
|
|
|
out <== 256174383281726064679014503048630094;
|
2025-03-26 14:44:56 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
2025-09-30 09:39:05 +02:00
|
|
|
// int.from_bytes(b"NOMOS_NONCE_CONTRIB_V1", byteorder="little") = 18459309511848927313552932915476467038165525790019406
|
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-09-30 09:39:05 +02:00
|
|
|
out <== 18459309511848927313552932915476467038165525790019406;
|
2025-03-26 14:44:56 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
2025-09-30 09:39:05 +02:00
|
|
|
// int.from_bytes(b"NOMOS_KDF", byteorder="little") = 1296193216988918402894
|
2025-08-26 10:37:51 +02:00
|
|
|
template NOMOS_KDF(){
|
2025-03-26 14:44:56 +01:00
|
|
|
signal output out;
|
2025-09-30 09:39:05 +02:00
|
|
|
out <== 1296193216988918402894;
|
2025-03-26 14:44:56 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
2025-09-30 09:39:05 +02:00
|
|
|
// int.from_bytes(b"NOMOS_NOTE_ID_V1", byteorder="little") = 65580641562429851895355409762135920462
|
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-09-30 09:39:05 +02:00
|
|
|
out <== 65580641562429851895355409762135920462;
|
2025-05-27 15:55:13 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
2025-09-30 09:39:05 +02:00
|
|
|
// int.from_bytes(b"SELECTION_RANDOMNESS_V1", byteorder="little") = 4725583332308041445519605499429790922252397838206780755
|
2025-05-27 15:55:13 +02:00
|
|
|
template SELECTION_RANDOMNESS_V1(){
|
|
|
|
|
signal output out;
|
2025-09-30 09:39:05 +02:00
|
|
|
out <== 4725583332308041445519605499429790922252397838206780755;
|
2025-05-27 15:55:13 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
2025-09-30 09:39:05 +02:00
|
|
|
// int.from_bytes(b"KEY_NULLIFIER_V1", byteorder="little") = 65580642670359595206974785265459610955
|
2025-08-26 09:57:02 +02:00
|
|
|
template KEY_NULLIFIER_V1(){
|
2025-05-27 15:55:13 +02:00
|
|
|
signal output out;
|
2025-09-30 09:39:05 +02:00
|
|
|
out <== 65580642670359595206974785265459610955;
|
2025-05-27 15:55:13 +02:00
|
|
|
}
|
2025-08-13 11:13:01 +02:00
|
|
|
|
2025-08-28 15:45:26 +02:00
|
|
|
|
2025-09-30 09:39:05 +02:00
|
|
|
// int.from_bytes(b"REWARD_VOUCHER", byteorder="little") = 1668646695034522932676805048878418
|
2025-08-13 11:13:01 +02:00
|
|
|
template REWARD_VOUCHER(){
|
|
|
|
|
signal output out;
|
2025-09-30 09:39:05 +02:00
|
|
|
out <== 1668646695034522932676805048878418;
|
2025-08-13 11:13:01 +02:00
|
|
|
}
|
|
|
|
|
|
2025-08-28 15:45:26 +02:00
|
|
|
|
2025-09-30 09:39:05 +02:00
|
|
|
// int.from_bytes(b"VOUCHER_NF", byteorder="little") = 332011368467182873038678
|
2025-08-13 11:13:01 +02:00
|
|
|
template VOUCHER_NF(){
|
|
|
|
|
signal output out;
|
2025-09-30 09:39:05 +02:00
|
|
|
out <== 332011368467182873038678;
|
2025-08-13 11:13:01 +02:00
|
|
|
}
|