From 87115cf755cace006446829681b0fbddd54e0083 Mon Sep 17 00:00:00 2001
From: Sergio Chouhy <sergio.chouhy@gmail.com>
Date: Wed, 24 Sep 2025 12:08:04 -0300
Subject: [PATCH] wip

---
 nssa/src/privacy_preserving_transaction/circuit.rs | 11 +++++++++--
 wallet/src/lib.rs                                  |  2 ++
 2 files changed, 11 insertions(+), 2 deletions(-)

diff --git a/nssa/src/privacy_preserving_transaction/circuit.rs b/nssa/src/privacy_preserving_transaction/circuit.rs
index 8a62087..24b4cb3 100644
--- a/nssa/src/privacy_preserving_transaction/circuit.rs
+++ b/nssa/src/privacy_preserving_transaction/circuit.rs
@@ -1,10 +1,12 @@
+use std::time::Instant;
+
 use nssa_core::{
     MembershipProof, NullifierPublicKey, NullifierSecretKey, PrivacyPreservingCircuitInput,
     PrivacyPreservingCircuitOutput, SharedSecretKey,
     account::AccountWithMetadata,
     program::{InstructionData, ProgramOutput},
 };
-use risc0_zkvm::{ExecutorEnv, InnerReceipt, Receipt, default_prover};
+use risc0_zkvm::{default_prover, ExecutorEnv, InnerReceipt, ProverOpts, Receipt};
 
 use crate::{error::NssaError, program::Program};
 
@@ -47,11 +49,16 @@ pub fn execute_and_prove(
     env_builder.write(&circuit_input).unwrap();
     let env = env_builder.build().unwrap();
     let prover = default_prover();
+
+    let now = Instant::now();
+    let opts = ProverOpts::groth16();
     let prove_info = prover
-        .prove(env, PRIVACY_PRESERVING_CIRCUIT_ELF)
+        .prove_with_opts(env, PRIVACY_PRESERVING_CIRCUIT_ELF, &opts)
         .map_err(|e| NssaError::CircuitProvingError(e.to_string()))?;
+    println!("Proving time (groth16 wrapped): {:?}", now.elapsed());
 
     let proof = Proof(borsh::to_vec(&prove_info.receipt.inner)?);
+    println!("Proof size (groth16 wrapped): {:?}", proof.0.len());
 
     let circuit_output: PrivacyPreservingCircuitOutput = prove_info
         .receipt
diff --git a/wallet/src/lib.rs b/wallet/src/lib.rs
index e4c538a..7944c22 100644
--- a/wallet/src/lib.rs
+++ b/wallet/src/lib.rs
@@ -99,9 +99,11 @@ impl WalletCore {
             let Ok(nonces) = self.get_accounts_nonces(vec![from]).await else {
                 return Err(ExecutionFailureKind::SequencerError);
             };
+            println!("nonces: {:?}", nonces);
 
             let addresses = vec![from, to];
             let program_id = nssa::program::Program::authenticated_transfer_program().id();
+            println!("program id: {:?}", program_id);
             let message = nssa::public_transaction::Message::try_new(
                 program_id,
                 addresses,