From a11f3720917b7f5e912c5f80b3d772b33d88833f Mon Sep 17 00:00:00 2001
From: Oleksandr Pravdyvyi <awxrvtb@gmail.com>
Date: Mon, 15 Sep 2025 10:39:57 +0300
Subject: [PATCH] fix: comments fix

---
 nssa/src/encoding/privacy_preserving_transaction.rs | 10 +---------
 nssa/src/privacy_preserving_transaction/circuit.rs  | 12 ++++++++++--
 2 files changed, 11 insertions(+), 11 deletions(-)

diff --git a/nssa/src/encoding/privacy_preserving_transaction.rs b/nssa/src/encoding/privacy_preserving_transaction.rs
index 8123166..2e5ea14 100644
--- a/nssa/src/encoding/privacy_preserving_transaction.rs
+++ b/nssa/src/encoding/privacy_preserving_transaction.rs
@@ -1,12 +1,10 @@
 use std::io::{Cursor, Read};
 
 use nssa_core::{
-    Commitment, Nullifier, PrivacyPreservingCircuitOutput,
+    Commitment, Nullifier,
     account::Account,
     encryption::{Ciphertext, EphemeralPublicKey},
 };
-use program_methods::PRIVACY_PRESERVING_CIRCUIT_ID;
-use risc0_zkvm::{InnerReceipt, Receipt};
 
 use crate::{
     Address, PrivacyPreservingTransaction, PublicKey, Signature,
@@ -228,12 +226,6 @@ impl PrivacyPreservingTransaction {
 }
 
 impl Proof {
-    pub(crate) fn is_valid_for(&self, circuit_output: &PrivacyPreservingCircuitOutput) -> bool {
-        let inner: InnerReceipt = borsh::from_slice(&self.0).unwrap();
-        let receipt = Receipt::new(inner, circuit_output.to_bytes());
-        receipt.verify(PRIVACY_PRESERVING_CIRCUIT_ID).is_ok()
-    }
-
     pub fn to_bytes(&self) -> Vec<u8> {
         let mut bytes = Vec::new();
         let proof_len = self.0.len() as u32;
diff --git a/nssa/src/privacy_preserving_transaction/circuit.rs b/nssa/src/privacy_preserving_transaction/circuit.rs
index ca7b6ae..1421f62 100644
--- a/nssa/src/privacy_preserving_transaction/circuit.rs
+++ b/nssa/src/privacy_preserving_transaction/circuit.rs
@@ -4,11 +4,11 @@ use nssa_core::{
     account::AccountWithMetadata,
     program::{InstructionData, ProgramOutput},
 };
-use risc0_zkvm::{ExecutorEnv, Receipt, default_prover};
+use risc0_zkvm::{ExecutorEnv, InnerReceipt, Receipt, default_prover};
 
 use crate::{error::NssaError, program::Program};
 
-use program_methods::PRIVACY_PRESERVING_CIRCUIT_ELF;
+use program_methods::{PRIVACY_PRESERVING_CIRCUIT_ELF, PRIVACY_PRESERVING_CIRCUIT_ID};
 
 /// Proof of the privacy preserving execution circuit
 #[derive(Debug, Clone, PartialEq, Eq)]
@@ -78,6 +78,14 @@ fn execute_and_prove_program(
         .receipt)
 }
 
+impl Proof {
+    pub(crate) fn is_valid_for(&self, circuit_output: &PrivacyPreservingCircuitOutput) -> bool {
+        let inner: InnerReceipt = borsh::from_slice(&self.0).unwrap();
+        let receipt = Receipt::new(inner, circuit_output.to_bytes());
+        receipt.verify(PRIVACY_PRESERVING_CIRCUIT_ID).is_ok()
+    }
+}
+
 #[cfg(test)]
 mod tests {
     use nssa_core::{