Deep Dive into Private State and Execution of Smart Contract
summary
Aztec Network implements private-first L2 execution by running contract functions client-side and producing per-call SNARKs that recursively aggregate in a kernel circuit, so transactions on the mempool are proofs not plaintexts. State uses UTXO-like notes (custom shapes per contract) stored locally and committed to a private data Merkle tree; consumption emits a nullifier to prevent double-spend without linking commitments. Contracts compile to Noir circuits per function so proofs run on consumer devices; a hybrid private/public model emits sequencer requests for public actions and a VRF-based sequencer selection targets decentralized censorship resistance.
AI-written summary · about
chapters (5)
- 0:00Intro
- 0:27Privacy censorship resistance
- 5:50Private Execution
- 11:33Hybrid Model
- 13:29Decentralization
