Login
From:
Protocols Made Fun
(Uncensored)
subscribe
Specification and Model-checking of the ZKsync Governance Protocol | Protocols Made Fun
https://protocols-made-fun.com/zksync/matterlabs/quint/specification/modelchecking/2024/09/12/zksync-governance.html
links
backlinks
Tagged with:
cryptography
formalmethods
Roast topics
Find topics
Find it!
Authors: Denis Kolegov (Matter Labs), Igor Konnov
