Auryn Macmillan walks through Zodiac, a composable access-control framework that lets DAOs and protocols define granular roles and execution conditions without monolithic contracts. He then details The Interfold, which layers fully homomorphic encryption for private computation, zero-knowledge proofs for verifiable results, and multi-party computation for threshold decryption. The discussion covers concrete integration points, such as how encrypted state transitions are validated on-chain and how audit pipelines combine formal methods with targeted red-team reviews. Listeners learn the exact trade-offs between circuit size, proof generation time, and MPC round complexity when targeting real workloads. Use cases include on-chain secret ballots that hide voter identity and vote content until tally, and sealed-bid auctions where bids stay encrypted until the reveal phase. The episode closes with deployment lessons on gas costs, key-management ceremonies, and fallback mechanisms when cryptographic assumptions weaken.
Key Insights
- Zodiac implements roles as separate, upgradeable modules that can be attached to any Safe or DAO treasury without redeploying core contracts.
- The Interfold pipeline encrypts inputs with FHE, generates ZK proofs of correct encrypted-state transition, then uses MPC for threshold decryption only after finality.
- Audit workflow combines automated circuit verification, manual review of MPC network assumptions, and a public bug-bounty focused on decryption ceremonies.
- Secret-ballot implementation hides both voter identity and vote value; tally occurs via homomorphic addition before any decryption.
- Sealed-bid auction design keeps bids encrypted until the auction ends, then runs MPC to reveal only the winning bid and payer.
- Gas and latency measurements show FHE ciphertext operations dominate cost; proof aggregation reduces on-chain verification to a single pairing check.
Who should listen: Protocol architects and engineers evaluating encrypted execution stacks for governance or auction primitives.
Why This Matters
Encrypted execution is moving from research to production modules; teams must now choose between Zodiac-style modularity and monolithic alternatives when adding private state.