39 lines
1.6 KiB
Plaintext

//test
pragma circom 2.1.9;
include "../circomlib/circuits/bitify.circom";
include "../circomlib/circuits/comparators.circom";
// int.from_bytes(hashlib.sha256(b"LEAD_V1").digest()[:-1], "little") = 118639355095155533251654648435778961140410152423070311685636296540777655717
template LEAD_V1(){
signal output out;
out <== 118639355095155533251654648435778961140410152423070311685636296540777655717;
}
// int.from_bytes(hashlib.sha256(b"NOMOS_POL_SK_V1").digest()[:-1], "little") = 276343751363038477542478482371189478971716773803854432417240653890758913502
template NOMOS_POL_SK_V1(){
signal output out;
out <== 276343751363038477542478482371189478971716773803854432417240653890758913502;
}
// int.from_bytes(hashlib.sha256(b"NOMOS_NONCE_CONTRIB_V1").digest()[:-1], "little") = 216543810132255548706953368612668540931348292989294965101903764728041856029
template NOMOS_NONCE_CONTRIB_V1(){
signal output out;
out <== 216543810132255548706953368612668540931348292989294965101903764728041856029;
}
// int.from_bytes(hashlib.sha256(b"NOMOS_KDF_V1").digest()[:-1], "little") = 143901698298659326513095781108609933285310777469806395711179835432556098250
template NOMOS_KDF_V1(){
signal output out;
out <== 143901698298659326513095781108609933285310777469806395711179835432556098250;
}
// int.from_bytes(hashlib.sha256(b"NOMOS_NOTE_ID_V1").digest()[:-1], "little") = 208937745713764417368342977773177181211005049473820876609645291603759251867
template NOMOS_NOTE_ID_V1(){
signal output out;
out <== 208937745713764417368342977773177181211005049473820876609645291603759251867;
}