diff --git a/circom_circuits/.DS_Store b/circom_circuits/.DS_Store deleted file mode 100644 index c556871..0000000 Binary files a/circom_circuits/.DS_Store and /dev/null differ diff --git a/circom_circuits/misc/constants.circom b/circom_circuits/misc/constants.circom index 3fb97e7..491b12d 100644 --- a/circom_circuits/misc/constants.circom +++ b/circom_circuits/misc/constants.circom @@ -4,77 +4,36 @@ pragma circom 2.1.9; include "../circomlib/circuits/bitify.circom"; include "../circomlib/circuits/comparators.circom"; -// int.from_bytes(hashlib.sha256(b"LEAD").digest()[:-1], "little") = 137836078329650723736739065075984465408055658421620421917147974048265460598 -template LEAD(){ +// int.from_bytes(hashlib.sha256(b"LEAD_V1").digest()[:-1], "little") = 118639355095155533251654648435778961140410152423070311685636296540777655717 +template LEAD_V1(){ signal output out; - out <== 137836078329650723736739065075984465408055658421620421917147974048265460598; + out <== 118639355095155533251654648435778961140410152423070311685636296540777655717; } -// int.from_bytes(hashlib.sha256(b"NOMOS_POL_SK").digest()[:-1], "little") = 313763129738690320248895675268201668175331181115752393250540330459318963992 -template NOMOS_POL_SK(){ +// int.from_bytes(hashlib.sha256(b"NOMOS_POL_SK_V1").digest()[:-1], "little") = 276343751363038477542478482371189478971716773803854432417240653890758913502 +template NOMOS_POL_SK_V1(){ signal output out; - out <== 313763129738690320248895675268201668175331181115752393250540330459318963992; + out <== 276343751363038477542478482371189478971716773803854432417240653890758913502; } -// int.from_bytes(hashlib.sha256(b"NOMOS_NONCE_CONTRIB").digest()[:-1], "little") = 193275670388587576544090216996849534520361117581542778964162861667418671481 -template NOMOS_NONCE_CONTRIB(){ +// int.from_bytes(hashlib.sha256(b"NOMOS_NONCE_CONTRIB_V1").digest()[:-1], "little") = 216543810132255548706953368612668540931348292989294965101903764728041856029 +template NOMOS_NONCE_CONTRIB_V1(){ signal output out; - out <== 193275670388587576544090216996849534520361117581542778964162861667418671481; + out <== 216543810132255548706953368612668540931348292989294965101903764728041856029; } -// int.from_bytes(hashlib.sha256(b"PAYMENT").digest()[:-1], "little") = 281646683567839822174419720505039861445414630574005374635737888376398200354 -template PAYMENT(){ +// int.from_bytes(hashlib.sha256(b"NOMOS_KDF_V1").digest()[:-1], "little") = 143901698298659326513095781108609933285310777469806395711179835432556098250 +template NOMOS_KDF_V1(){ signal output out; - out <== 281646683567839822174419720505039861445414630574005374635737888376398200354; + out <== 143901698298659326513095781108609933285310777469806395711179835432556098250; } -// int.from_bytes(hashlib.sha256(b"STAKING").digest()[:-1], "little") = 363778563868520716613768381832117227806204156179492995214325445980623358665 -template STAKING(){ +// int.from_bytes(hashlib.sha256(b"NOMOS_NOTE_ID_V1").digest()[:-1], "little") = 208937745713764417368342977773177181211005049473820876609645291603759251867 +template NOMOS_NOTE_ID_V1(){ signal output out; - out <== 363778563868520716613768381832117227806204156179492995214325445980623358665; -} - - -// int.from_bytes(hashlib.sha256(b"NOMOS_NOTE_CM").digest()[:-1], "little") = 181645510297841241569044198526601622686169271532834574969543446901055041748 -template NOMOS_NOTE_CM(){ - signal output out; - out <== 181645510297841241569044198526601622686169271532834574969543446901055041748; -} - - -// int.from_bytes(hashlib.sha256(b"NOMOS_NOTE_NF").digest()[:-1], "little") = 310945536431723660304787929213143698356852257431717126117833288836338828411 -template NOMOS_NOTE_NF(){ - signal output out; - out <== 310945536431723660304787929213143698356852257431717126117833288836338828411; -} - - -// int.from_bytes(hashlib.sha256(b"NOMOS_KDF").digest()[:-1], "little") = 355994159511987982411097843485998670968942801951585260613801918349630142543 -template NOMOS_KDF(){ - signal output out; - out <== 355994159511987982411097843485998670968942801951585260613801918349630142543; -} - - -// int.from_bytes(hashlib.sha256(b"NOMOS_UNIT").digest()[:-1], "little") = 379867176337182448308325460959840323359954688990124617407218984660753645420 -template NOMOS_UNIT(){ - signal output out; - out <== 379867176337182448308325460959840323359954688990124617407218984660753645420; -} - - -// Poseidon2(NOMOS_UNIT,0,0,0) = 19676183153323264216568033390884511718872104179761154996527087027500271872825 -template NMO(){ - signal output out; - out <== 19676183153323264216568033390884511718872104179761154996527087027500271872825; -} - -// int.from_bytes(hashlib.sha256(b"NOMOS_NOTE_ID").digest()[:-1], "little") = 342101038445105569972307194441697646307927876218883552376182649811837164915 -template NOMOS_NOTE_ID(){ - signal output out; - out <== 342101038445105569972307194441697646307927876218883552376182649811837164915; + out <== 208937745713764417368342977773177181211005049473820876609645291603759251867; } \ No newline at end of file