If you are a scammer, Send email using this address.

Independent security and formal methods researcher

HOME
PROTOCOLS MADE FUN
RESEARCH
TALKS AND LECTURES
CURRICULUM VITAE
TAGS
CATEGORIES

Home Tags aztec

Tag

aztec 1

Specification and Formal Verification of the Aztec Governance Protocol Dec 9, 2025

Recently Updated

Specification and Formal Verification of the Aztec Governance Protocol
New developments in Solarkraft - Stellar Community Fund 29
Research & development as a service
ChonkyBFT: Consensus Protocol of ZKsync (paper)
Exploring Automatic Model-Checking of the Ethereum specification (tech. report)

Trending Tags

verification specification TLA+ quint research model checking apalache simulation conference consensus

© 2025 Igor Konnov. Some rights reserved. | Privacy Policy – Datenschutz | Impressum

Using the Chirpy theme for Jekyll.

Trending Tags

verification specification TLA+ quint research model checking apalache simulation conference consensus

A new version of content is available.