From 762fdcc9803a151796272f409cea201e9536f9ca Mon Sep 17 00:00:00 2001 From: David Rusu Date: Mon, 29 Jul 2024 14:52:45 +0400 Subject: [PATCH] cl: typo --- goas/cl/ledger/src/death_constraint.rs | 2 +- goas/cl/ledger/src/input.rs | 2 +- goas/cl/ledger/src/partial_tx.rs | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/goas/cl/ledger/src/death_constraint.rs b/goas/cl/ledger/src/death_constraint.rs index 066e9a1..e00972c 100644 --- a/goas/cl/ledger/src/death_constraint.rs +++ b/goas/cl/ledger/src/death_constraint.rs @@ -67,7 +67,7 @@ impl DeathProof { .unwrap(); println!( - "STARK prover time: {:.2?}, total_cycles: {}", + "STARK 'death-nop' prover time: {:.2?}, total_cycles: {}", start_t.elapsed(), prove_info.stats.total_cycles ); diff --git a/goas/cl/ledger/src/input.rs b/goas/cl/ledger/src/input.rs index 5aedf19..49ad59f 100644 --- a/goas/cl/ledger/src/input.rs +++ b/goas/cl/ledger/src/input.rs @@ -45,7 +45,7 @@ impl ProvedInput { .unwrap(); println!( - "STARK prover time: {:.2?}, total_cycles: {}", + "STARK 'input' prover time: {:.2?}, total_cycles: {}", start_t.elapsed(), prove_info.stats.total_cycles ); diff --git a/goas/cl/ledger/src/partial_tx.rs b/goas/cl/ledger/src/partial_tx.rs index 300f302..d647eba 100644 --- a/goas/cl/ledger/src/partial_tx.rs +++ b/goas/cl/ledger/src/partial_tx.rs @@ -14,7 +14,7 @@ impl PartialTxInput { fn verify(&self, ptx_root: cl::PtxRoot) -> bool { let nf = self.input.input.input.nullifier; self.input.input.input.death_cm == self.death.death_commitment() // ensure the death proof is actually for this input - && self.input.verify() // ensure the input proof is valie + && self.input.verify() // ensure the input proof is valid && self.death.verify(DeathConstraintPublic { nf, ptx_root }) // verify the death constraint was satisfied } }