From 6ecd06e7c79d7dd9b49cf33667925ef1166d8b77 Mon Sep 17 00:00:00 2001 From: thomaslavaur Date: Fri, 4 Apr 2025 15:40:39 +0200 Subject: [PATCH] correct transfer covenant into spending covenant --- circom_circuits/Operations/ownership.circom | 4 ++-- circom_circuits/ledger/notes.circom | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/circom_circuits/Operations/ownership.circom b/circom_circuits/Operations/ownership.circom index bf54ecb..57515f5 100644 --- a/circom_circuits/Operations/ownership.circom +++ b/circom_circuits/Operations/ownership.circom @@ -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]; } diff --git a/circom_circuits/ledger/notes.circom b/circom_circuits/ledger/notes.circom index aea7ad4..350a1cb 100644 --- a/circom_circuits/ledger/notes.circom +++ b/circom_circuits/ledger/notes.circom @@ -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; }