informalsystems / vdd
Verification-Driven Development
☆21Updated 4 years ago
Alternatives and similar repositories for vdd:
Users that are interested in vdd are comparing it to the libraries listed below
- A specification of the CBC Casper consensus protocols written in TLA+ and PlusCal (transpiled to TLA+)☆21Updated 5 years ago
- A TLA+ implementation of the Avalanche Protocol Family, both for learning Avalanche and TLA+☆18Updated 4 years ago
- Hackathon project for Snarky workshop.☆11Updated 5 years ago
- RLN wrappers and implementation in Go☆11Updated 3 years ago
- Sonic implementation in Rust☆17Updated 5 years ago
- TLA+ specifications of various protocols used by wallets in the nitro protocol.☆18Updated 4 years ago
- BLST-Verification☆22Updated 2 months ago
- Compiles r1cs gadgets to the zkinterface format☆10Updated 4 years ago
- Shared Lurk source code, including tests and library code.☆18Updated last year
- Coded Merkle Tree☆26Updated 5 years ago
- A Python tool to manage and tag your bibliography (.bib and .pdf) files on Dropbox☆13Updated 2 years ago
- An implementation of the append-only log described in the Certificate Transparency specification (RFC 6962)☆35Updated last week
- fft impl for ff::Field