Specification and Model-checking of the ZKsync Governance Protocol (via bugarela) — discussion

#cryptography #formalmethods #security