corpus.blog
41554 blogs · 4,417,066 posts Claim your blog
Record · corpus.blog/posts/01a087ca-98c4-73d1-b286-600d2619639b

Formal Verification of the Aztec Governance Protocol

protocols-made-fun.com · published 9 December 2025

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at protocols-made-fun.com Wayback capture
0blogs citing
First cited
—
Most recent
—
Rank this month
not ranked
Links from this post
39
Words captured
6,196

Cited by

No blog we hold has cited this post yet.

Links from this post

Link
Host
https://blltprf.xyz/?utm_source=protocols_made_fun&utm_medium=feed&utm_campaign=pmf_feed
blltprf.xyz
https://aztec-labs.com/?utm_source=protocols_made_fun&utm_medium=feed&utm_campaign=pmf_feed
aztec-labs.com
https://aztec.network/?utm_source=protocols_made_fun&utm_medium=feed&utm_campaign=pmf_feed
aztec.network
https://github.com/apalache-mc/apalache?utm_source=protocols_made_fun&utm_medium=feed&utm_campaign=pmf_feed
github.com
https://github.com/konnov/aztec-governance-formal-verification-2025q3/blob/e313681ade9f9e96d0e83a5120a670a1e1e07188/reports/Aztec-Governance-Protocol.pdf?utm_source=protocols_made_fun&utm_medium=feed&utm_campaign=pmf_feed
github.com
https://github.com/konnov/aztec-governance-formal-verification-2025q3?utm_source=protocols_made_fun&utm_medium=feed&utm_campaign=pmf_feed
github.com
https://forum.aztec.network/t/request-for-comments-aztec-governance/7413?utm_source=protocols_made_fun&utm_medium=feed&utm_campaign=pmf_feed
forum.aztec.network
https://docs.aztec.network/the_aztec_network/concepts/governance?utm_source=protocols_made_fun&utm_medium=feed&utm_campaign=pmf_feed
docs.aztec.network
https://github.com/AztecProtocol/aztec-packages/blob/8b10b2b220de38c9e2e2e2b7d05d7383701ba070?utm_source=protocols_made_fun&utm_medium=feed&utm_campaign=pmf_feed
github.com
https://github.com/AztecProtocol/aztec-packages/blob/8b10b2b220de38c9e2e2e2b7d05d7383701ba070/l1-contracts/src/governance/Registry.sol?utm_source=protocols_made_fun&utm_medium=feed&utm_campaign=pmf_feed
github.com
https://github.com/AztecProtocol/aztec-packages/blob/8b10b2b220de38c9e2e2e2b7d05d7383701ba070/l1-contracts/src/governance/proposer/GovernanceProposer.sol?utm_source=protocols_made_fun&utm_medium=feed&utm_campaign=pmf_feed
github.com
https://github.com/AztecProtocol/aztec-packages/blob/8b10b2b220de38c9e2e2e2b7d05d7383701ba070/l1-contracts/src/governance/proposer/EmpireBase.sol?utm_source=protocols_made_fun&utm_medium=feed&utm_campaign=pmf_feed
github.com
https://github.com/AztecProtocol/aztec-packages/blob/8b10b2b220de38c9e2e2e2b7d05d7383701ba070/l1-contracts/src/governance/Governance.sol?utm_source=protocols_made_fun&utm_medium=feed&utm_campaign=pmf_feed
github.com
https://github.com/AztecProtocol/aztec-packages/blob/8b10b2b220de38c9e2e2e2b7d05d7383701ba070/l1-contracts/src/governance/GSE.sol?utm_source=protocols_made_fun&utm_medium=feed&utm_campaign=pmf_feed
github.com
https://github.com/AztecProtocol/aztec-packages/blob/8b10b2b220de38c9e2e2e2b7d05d7383701ba070/l1-contracts/src/core/slashing/SlashingProposer.sol?utm_source=protocols_made_fun&utm_medium=feed&utm_campaign=pmf_feed
github.com
https://github.com/AztecProtocol/aztec-packages/blob/8b10b2b220de38c9e2e2e2b7d05d7383701ba070/l1-contracts/src/core/slashing/Slasher.sol?utm_source=protocols_made_fun&utm_medium=feed&utm_campaign=pmf_feed
github.com
https://www.certora.com/?utm_source=protocols_made_fun&utm_medium=feed&utm_campaign=pmf_feed
certora.com
https://kontrol.runtimeverification.com/?utm_source=protocols_made_fun&utm_medium=feed&utm_campaign=pmf_feed
kontrol.runtimeverification.com
https://github.com/a16z/halmos?utm_source=protocols_made_fun&utm_medium=feed&utm_campaign=pmf_feed
github.com
https://hevm.dev/?utm_source=protocols_made_fun&utm_medium=feed&utm_campaign=pmf_feed
hevm.dev
https://lean-lang.org/?utm_source=protocols_made_fun&utm_medium=feed&utm_campaign=pmf_feed
lean-lang.org
https://rocq-prover.org/?utm_source=protocols_made_fun&utm_medium=feed&utm_campaign=pmf_feed
rocq-prover.org
https://lean-lang.org/doc/reference/latest/The--grind--tactic/?utm_source=protocols_made_fun&utm_medium=feed&utm_campaign=pmf_feed
lean-lang.org
https://verse-lab.github.io/?utm_source=protocols_made_fun&utm_medium=feed&utm_campaign=pmf_feed
verse-lab.github.io
https://tlapl.us/?utm_source=protocols_made_fun&utm_medium=feed&utm_campaign=pmf_feed
tlapl.us
https://github.com/tlaplus/tlaplus?utm_source=protocols_made_fun&utm_medium=feed&utm_campaign=pmf_feed
github.com
https://proofs.tlapl.us/?utm_source=protocols_made_fun&utm_medium=feed&utm_campaign=pmf_feed
proofs.tlapl.us
https://github.com/informalsystems/quint?utm_source=protocols_made_fun&utm_medium=feed&utm_campaign=pmf_feed
github.com
https://github.com/Z3Prover/z3?utm_source=protocols_made_fun&utm_medium=feed&utm_campaign=pmf_feed
github.com
https://protocols-made-fun.com/zksync-governance.html?utm_source=protocols_made_fun&utm_medium=feed&utm_campaign=pmf_feed
protocols-made-fun.com
https://protocols-made-fun.com/chonkybft.html?utm_source=protocols_made_fun&utm_medium=feed&utm_campaign=pmf_feed
protocols-made-fun.com
https://arxiv.org/abs/2501.07958?utm_source=protocols_made_fun&utm_medium=feed&utm_campaign=pmf_feed
arxiv.org
https://www.certora.com/blog/the-holy-grail?utm_source=protocols_made_fun&utm_medium=feed&utm_campaign=pmf_feed
certora.com
https://blltprf.xyz/blog/25-min-solidity-fuzzer/?utm_source=protocols_made_fun&utm_medium=feed&utm_campaign=pmf_feed
blltprf.xyz
https://www.gnu.org/software/parallel/?utm_source=protocols_made_fun&utm_medium=feed&utm_campaign=pmf_feed
gnu.org
https://etherscan.io/address/0xc02aaa39b223fe8d0a0e5c4f27ead9083c756cc2?utm_source=protocols_made_fun&utm_medium=feed&utm_campaign=pmf_feed
etherscan.io
https://github.com/AztecProtocol/aztec-packages/pull/16917?utm_source=protocols_made_fun&utm_medium=feed&utm_campaign=pmf_feed
github.com
https://etherscan.io/address/0xA27EC0006e59f245217Ff08CD52A7E8b169E62D2?utm_source=protocols_made_fun&utm_medium=feed&utm_campaign=pmf_feed
etherscan.io
https://github.com/apalache-mc/apalache/tree/main/json-rpc?utm_source=protocols_made_fun&utm_medium=feed&utm_campaign=pmf_feed
github.com