logos-blockchain/logos-blockchain-pocs
1
0
Fork 0
mirror of https://github.com/logos-blockchain/logos-blockchain-pocs.git synced 2026-01-07 07:33:12 +00:00
Code Issues Packages Projects Releases Wiki Activity

correct transfer covenant into spending covenant

Browse Source
This commit is contained in:
thomaslavaur 2025-04-04 15:40:39 +02:00
parent 769b1f193e
commit 6ecd06e7c7
2 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
circom_circuits/Operations/ownership.circom
View File

@ -11,7 +11,7 @@ template proof_of_private_note_ownership(nInput){
signal input zoneID[nInput];
signal input secret_key[nInput];
signal input minting_covenant[nInput];
signal input transfer_covenant[nInput];
signal input spending_covenant[nInput];
signal input burning_covenant[nInput];
signal input attached_data;
@ -28,7 +28,7 @@ template proof_of_private_note_ownership(nInput){
for(var i=0; i< nInput; i++){
unit[i] = derive_unit();
unit[i].minting_covenant <== minting_covenant[i];
unit[i].transfer_covenant <== transfer_covenant[i];
unit[i].spending_covenant <== spending_covenant[i];
unit[i].burning_covenant <== burning_covenant[i];
}

4
circom_circuits/ledger/notes.circom
View File

@ -55,7 +55,7 @@ template derive_public_key(){
template derive_unit(){
signal input minting_covenant;
signal input transfer_covenant;
signal input spending_covenant;
signal input burning_covenant;
signal output out;
@ -63,7 +63,7 @@ template derive_unit(){
component dst = NOMOS_UNIT();
hash.inp[0] <== dst.out;
hash.inp[1] <== minting_covenant;
hash.inp[2] <== transfer_covenant;
hash.inp[2] <== spending_covenant;
hash.inp[3] <== burning_covenant;
out <== hash.out;
}