Allow Google Analytics cookies and scripts to let us see what content our readers find engaging? Approve More info

Independent security and formal methods researcher

HOME
TALKS AND LECTURES
RESEARCH
LONG READS
TAGS
CATEGORIES

Home Tags solidity

Tag

solidity 1

Specification and Model-checking of the ZKsync Governance Protocol Sep 15, 2024

Recently Updated

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)
Talks at DevCon 2024

Trending Tags

verification specification TLA+ model checking quint research 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+ model checking quint research apalache simulation conference consensus

A new version of content is available.