logos-blockchain/logos-execution-zone
1
0
Fork 0
mirror of https://github.com/logos-blockchain/logos-execution-zone.git synced 2026-07-01 03:19:29 +00:00
Code Issues Packages Projects Releases Wiki Activity

refactor(circuit): drop stale comment refs

Browse Source
This commit is contained in:
Artem Gureev 2026-06-30 11:50:01 +00:00 committed by agureev
parent 71867a4d57
commit 38395886e6
2 changed files with 4 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
lee/state_machine/core/src/circuit_io.rs
View File

@ -14,7 +14,7 @@ pub struct PrivacyPreservingCircuitInput {
pub program_outputs: Vec<ProgramOutput>,
/// 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<InputAccountIdentity>,
/// Program ID.

7
program_methods/guest/src/bin/privacy_preserving_circuit/output.rs
View File

@ -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"