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-29 09:53:02 +02:00
|
|
|
// int.from_bytes(b"LEAD_V1", byteorder="big") = 21468244852299313
|
2025-05-27 11:44:13 +02:00
|
|
|
template LEAD_V1(){
|
2025-03-26 14:44:56 +01:00
|
|
|
signal output out;
|
2025-09-29 09:53:02 +02:00
|
|
|
out <== 21468244852299313;
|
2025-03-26 14:44:56 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
2025-09-29 09:53:02 +02:00
|
|
|
// int.from_bytes(b"NOMOS_POL_SK_V1", byteorder="big") = 406607590443025360526585251810465329
|
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-29 09:53:02 +02:00
|
|
|
out <== 406607590443025360526585251810465329;
|
2025-03-26 14:44:56 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
2025-09-29 09:53:02 +02:00
|
|
|
// int.from_bytes(b"NOMOS_NONCE_CONTRIB_V1", byteorder="big") = 29299164684883585569547934353856711107288148897388081
|
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-29 09:53:02 +02:00
|
|
|
out <== 29299164684883585569547934353856711107288148897388081;
|
2025-03-26 14:44:56 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
2025-09-29 09:53:02 +02:00
|
|
|
// int.from_bytes(b"NOMOS_KDF", byteorder="big") = 1444560348471047701574
|
2025-08-26 10:37:51 +02:00
|
|
|
template NOMOS_KDF(){
|
2025-03-26 14:44:56 +01:00
|
|
|
signal output out;
|
2025-09-29 09:53:02 +02:00
|
|
|
out <== 1444560348471047701574;
|
2025-03-26 14:44:56 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
2025-09-29 09:53:02 +02:00
|
|
|
// int.from_bytes(b"NOMOS_NOTE_ID_V1", byteorder="big") = 104091543153414482850642014312194856497
|
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-29 09:53:02 +02:00
|
|
|
out <== 104091543153414482850642014312194856497;
|
2025-05-27 15:55:13 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
2025-09-29 09:53:02 +02:00
|
|
|
// int.from_bytes(b"SELECTION_RANDOMNESS_V1", byteorder="big") = 7975748052709904163696334751877473705917106215133861425
|
2025-05-27 15:55:13 +02:00
|
|
|
template SELECTION_RANDOMNESS_V1(){
|
|
|
|
|
signal output out;
|
2025-09-29 09:53:02 +02:00
|
|
|
out <== 7975748052709904163696334751877473705917106215133861425;
|
2025-05-27 15:55:13 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
2025-09-29 09:53:02 +02:00
|
|
|
// int.from_bytes(b"KEY_NULLIFIER_V1", byteorder="big") = 100052180852480707195751331170348914225
|
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-29 09:53:02 +02:00
|
|
|
out <== 100052180852480707195751331170348914225;
|
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-29 09:53:02 +02:00
|
|
|
// int.from_bytes(b"REWARD_VOUCHER", byteorder="big") = 1668651334877449245987336926807378
|
2025-08-13 11:13:01 +02:00
|
|
|
template REWARD_VOUCHER(){
|
|
|
|
|
signal output out;
|
2025-09-29 09:53:02 +02:00
|
|
|
out <== 1668651334877449245987336926807378;
|
2025-08-13 11:13:01 +02:00
|
|
|
}
|
|
|
|
|
|
2025-08-28 15:45:26 +02:00
|
|
|
|
2025-09-29 09:53:02 +02:00
|
|
|
// int.from_bytes(b"VOUCHER_NF", byteorder="big") = 407586954142391778364998
|
2025-08-13 11:13:01 +02:00
|
|
|
template VOUCHER_NF(){
|
|
|
|
|
signal output out;
|
2025-09-29 09:53:02 +02:00
|
|
|
out <== 407586954142391778364998;
|
2025-08-13 11:13:01 +02:00
|
|
|
}
|