Actors

Actor	Role	Responsibilities
Wallets	Initiators of transactions and custodians of privacy.	- Generate partial transaction proofs. - Derive commitments and nullifiers for notes. - Prove membership in the ledger (using Merkle paths). - Prove covenant satisfaction for consumed notes. - Ensure relative balance between consumed and created notes and blind balances using randomness. - Submit Inputs, Outputs, and blinded balances to the executor for processing.
Executors	Bundle and process partial transactions, ensure atomicity, and manage ledger updates.	- Verify partial transaction proofs for all inputs and outputs. - Aggregate multiple partial transactions into a bundle proof. - Maintain ledger integrity by updating SMT (nullifiers) and MMRs (commitments). - Prove ledger transitions with ledger proofs. - Handle cross-zone communication using message boxes for inter-zone consistency.
Leaders	Coordinators for cross-zone transactions and validators' workload reduction.	- Validate message boxes for all zones involved in cross-zone bundles. - Prove that cross-zone transactions are correctly processed in all zones using the leader proof. - Minimize on-chain data by producing compact proofs of global consistency.
Validators	Global verifiers of the blockchain state and ledger consistency.	- Verify ledger proofs, STF proofs, and leader proofs for all zones. - Confirm that all ledger transitions and cross-zone interactions adhere to protocol rules. - Ensure global consistency by verifying message boxes for cross-zone transactions.

Proof Statements

Proof Name	Purpose	Key Verifications
Wallet’s Partial Transaction Proof	Proves ownership, validity, and integrity of consumed notes, and creates blinded balances for privacy.	- Validate commitment derivation for consumed and created notes. - Verify nullifiers for consumed notes to prevent double-spending. - Prove Merkle inclusion of commitments in MMR. - Ensure blinded balance correctness. - Prove covenant satisfaction.
Executor’s Bundle Proof	Ensures that a bundle of partial transactions is valid, balanced, and adheres to ledger rules.	- Verify individual partial transaction proofs. - Aggregate balances and ensure no remaining imbalance. - Use blinded balances to confirm no value is created/destroyed. - Output a unified commitment peak for all processed transactions.
Executor’s Ledger Proof	Proves ledger transitions are valid and adhere to global rules while handling cross-zone communication.	- Validate bundle proofs. - Prove nullifiers are included and updated in the SMT. - Confirm commitments are correctly added to MMR or propagated via message boxes for cross-zone communication. - Output updated ledger state and cross-zone message box hash.
Leader’s Coordination Proof	Ensures that cross-zone bundles are correctly processed across all zones.	- Prove consistency of message boxes across zones. - Ensure that all involved zones processed the same cross-zone bundle. - Aggregate all zone transitions for global consistency.
Validator’s Verifications	Verifies ledger consistency, global rules adherence, and integration of all zones’ data for blockchain updates.	- Verify ledger proofs, STF proofs, and leader proofs. - Ensure all cross-zone bundles are processed and reflected consistently in the blockchain state. - Confirm correct message box outputs for all zones.

DEPRECATED