From fd665f303ef2b2359dcdc403f0e8f0740f6e222e Mon Sep 17 00:00:00 2001
From: Sergio Chouhy <sergio.chouhy@gmail.com>
Date: Fri, 18 Jul 2025 17:35:03 -0300
Subject: [PATCH] add rustfmt

---
 .../program_methods/guest/src/bin/outer.rs        | 15 +++++++--------
 risc0-selective-privacy-poc/rustfmt.toml          |  1 +
 2 files changed, 8 insertions(+), 8 deletions(-)
 create mode 100644 risc0-selective-privacy-poc/rustfmt.toml

diff --git a/risc0-selective-privacy-poc/program_methods/guest/src/bin/outer.rs b/risc0-selective-privacy-poc/program_methods/guest/src/bin/outer.rs
index 4bbf5f8..ae2e0ad 100644
--- a/risc0-selective-privacy-poc/program_methods/guest/src/bin/outer.rs
+++ b/risc0-selective-privacy-poc/program_methods/guest/src/bin/outer.rs
@@ -80,7 +80,7 @@ fn main() {
         }
     }
 
-    // Assert `program_id` program didn't modify address fields or nonces
+    // Assert that the inner program didn't modify address fields or nonces
     for (account_pre, account_post) in inputs.iter().zip(outputs.iter()) {
         assert_eq!(account_pre.address, account_post.address);
         assert_eq!(account_pre.nonce, account_post.nonce);
@@ -91,13 +91,15 @@ fn main() {
     let total_balance_post: u128 = outputs.iter().map(|account| account.balance).sum();
     assert_eq!(total_balance_pre, total_balance_post);
 
-    // Insert new nonces in outputs (including public ones (?!))
+    // From this point on the execution is considered valid
+    //
+    // Insert new nonces in outputs (including public ones)
     outputs
         .iter_mut()
         .zip(output_nonces)
         .for_each(|(account, new_nonce)| account.nonce = new_nonce);
 
-    // Compute private outputs commitments
+    // Compute commitments for every private output
     let mut private_outputs = Vec::new();
     for (output, visibility) in outputs.iter().zip(input_visibilities.iter()) {
         match visibility {
@@ -105,8 +107,9 @@ fn main() {
             InputVisibiility::Private(_) => private_outputs.push(output),
         }
     }
+    let private_output_commitments: Vec<_> = private_outputs.iter().map(|account| account.commitment()).collect();
 
-    // Get the list of public inputs pre states and their post states
+    // Get the list of public accounts pre and post states
     let mut public_inputs_outputs = Vec::new();
     for (account, visibility) in inputs
         .iter()
@@ -121,10 +124,6 @@ fn main() {
         }
     }
 
-    // Compute commitments for every private output
-    let private_output_commitments: Vec<_> = private_outputs.iter().map(|account| account.commitment()).collect();
-
-    // Output nullifier of consumed input accounts and commitments of new output private accounts
     env::commit(&(
         public_inputs_outputs,
         nullifiers,
diff --git a/risc0-selective-privacy-poc/rustfmt.toml b/risc0-selective-privacy-poc/rustfmt.toml
new file mode 100644
index 0000000..7530651
--- /dev/null
+++ b/risc0-selective-privacy-poc/rustfmt.toml
@@ -0,0 +1 @@
+max_width = 120