proof topic
VST
Verified Software Toolchain
verdi-raft
An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework
l4v
seL4 specification and proofs
chainpoint-cli
A Command Line Interface (CLI) for creating and verifying Chainpoint proofs.
disel
Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq
gapt
GAPT: General Architecture for Proof Theory
Snapshop
On-chain snapshots of the whole blockchain state
haal
Hääl - Anonymous Electronic Voting System on Public Blockchains
ZKbasicsCS
Zero-Knowledge Proofs "for (not too much :wink: ) dummies"