From 38395886e6eadcc5c92509fc036a481a5b80df9b Mon Sep 17 00:00:00 2001 From: Artem Gureev Date: Tue, 30 Jun 2026 11:50:01 +0000 Subject: [PATCH] refactor(circuit): drop stale comment refs --- lee/state_machine/core/src/circuit_io.rs | 2 +- .../guest/src/bin/privacy_preserving_circuit/output.rs | 7 +++---- 2 files changed, 4 insertions(+), 5 deletions(-) diff --git a/lee/state_machine/core/src/circuit_io.rs b/lee/state_machine/core/src/circuit_io.rs index a7fe7cf5..ea3580bc 100644 --- a/lee/state_machine/core/src/circuit_io.rs +++ b/lee/state_machine/core/src/circuit_io.rs @@ -14,7 +14,7 @@ pub struct PrivacyPreservingCircuitInput { pub program_outputs: Vec, /// One entry per `pre_state`, in the same order as the program's `pre_states`. /// Length must equal the number of `pre_states` derived from `program_outputs`. - /// The guest's `private_pda_by_position` and `private_pda_bound_positions` + /// The guest's binding checks and `private_pda_bound_positions` /// rely on this position alignment. pub account_identities: Vec, /// Program ID. diff --git a/program_methods/guest/src/bin/privacy_preserving_circuit/output.rs b/program_methods/guest/src/bin/privacy_preserving_circuit/output.rs index 307aa507..2d2f9dce 100644 --- a/program_methods/guest/src/bin/privacy_preserving_circuit/output.rs +++ b/program_methods/guest/src/bin/privacy_preserving_circuit/output.rs @@ -169,10 +169,9 @@ pub fn compute_circuit_output( } => { // The npk-to-account_id binding is established upstream in // `validate_and_sync_states` via `Claim::Pda(seed)` or a caller `pda_seeds` - // match. Here we only enforce the init pre-conditions. The supplied npk on - // the variant has been recorded into `private_pda_by_position` and used - // for the binding check; we use `pre_state.account_id` directly for nullifier - // and commitment derivation. + // match. Here we only enforce the init pre-conditions. The supplied npk on the + // variant is bound by that check; we use `pre_state.account_id` directly for + // nullifier and commitment derivation. assert!( !pre_state.is_authorized, "PrivatePdaInit requires unauthorized pre_state"