informalsystems / unclog
Unclog your changelog
☆36Updated 3 months ago
Alternatives and similar repositories for unclog:
Users that are interested in unclog are comparing it to the libraries listed below
- ☆28Updated this week
- A cosmos network key-signer buildable in WASM☆28Updated last year
- Formalization of Tendermint proposer election properties☆15Updated 6 years ago
- ☆11Updated 2 years ago
- A reproducible package set for Cosmos, IBC and CosmWasm☆59Updated 2 weeks ago
- Rust implementation of Amino☆27Updated 4 years ago
- Ed25519 suitable for use in consensus-critical contexts.☆46Updated 6 months ago
- An append-only merkle tree which is always pruned, along with incremental, fast-forwarding witnesses☆46Updated this week
- Lurk is a Turing-complete programming language for zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common …☆67Updated this week
- CometBFT team public knowledge base. Always a work-in-progress.☆14Updated 9 months ago
- A poptrie implementation☆18Updated last year
- An experimental rust zksnarks compiler with embeeded bellman-bn128 prover☆42Updated 3 years ago
- Rust crate to connect to Ledger devices☆41Updated last month
- A lease based distributed locking library☆10Updated 6 years ago
- An implementation of a namespaced merkle tree in Rust.☆29Updated 5 months ago
- Early-stage research related to the Anoma protocols.☆23Updated last year
- Testground: SDK for developing test plans in Go☆12Updated 8 months ago
- Verification-Driven Development☆21Updated 3 years ago
- Zcash-flavored Ed25519 for use in Zebra.☆32Updated 3 months ago
- An async-friendly sparse merkle tree implementation based on Diem's Jellyfish Merkle Tree☆47Updated 2 months ago
- ☆12Updated 2 years ago
- Rust crate for creating ABCI applications☆28Updated last year
- An example ABCI application making use of tendermint-rs and ibc-rs☆57Updated 3 months ago
- Drop-in replacement for CometBFT in end-to-end tests☆24Updated 11 months ago
- Efficient zero-knowledge arguments in the discrete log setting, revisited☆15Updated 4 years ago
- An experimental Substrate implementation of the Radicle Registry 📒☆34Updated 4 years ago
- Minimalist crate for deterministic binary encodings in Rust☆11Updated 3 months ago
- Rust encryption library for practical time-lock encryption.☆29Updated 7 months ago
- A command line-based parameterized contracting tool☆46Updated last year