informalsystems / unclogLinks
Unclog your changelog
☆36Updated last month
Alternatives and similar repositories for unclog
Users that are interested in unclog are comparing it to the libraries listed below
Sorting:
- ☆51Updated 2 months ago
- Formalization of Tendermint proposer election properties☆15Updated 7 years ago
- Ed25519 suitable for use in consensus-critical contexts.☆53Updated last year
- Rust boilerplate application for Ledger Nano S+/X, Stax and Flex☆50Updated last week
- Rust crate for creating ABCI applications☆32Updated 2 years ago
- A reproducible package set for Cosmos, IBC and CosmWasm☆62Updated 5 months ago
- Rust SDK for Ledger device applications☆61Updated this week
- Minimalist crate for deterministic binary encodings in Rust☆11Updated last year
- A cosmos network key-signer buildable in WASM☆29Updated 2 years ago
- An experimental rust zksnarks compiler with embeeded bellman-bn128 prover☆42Updated 4 years ago
- A command line-based parameterized contracting tool☆46Updated 2 years ago
- Merkle tree toolkit☆46Updated 5 years ago
- Rust client framework for interacting with CometBFT☆20Updated 5 months ago
- Secure SGX Sidecar for CosmWasm☆59Updated last month
- Lachesis BFT consensus for permission-less networks, in Rust☆34Updated 6 years ago
- Model-based testing tool☆63Updated 10 months ago
- An example ABCI application making use of tendermint-rs and ibc-rs☆58Updated last year
- Rust implementation of Amino☆27Updated 5 years ago
- A Rust implementation of Plumtree algorithm☆29Updated 11 months ago
- Rust crate to connect to Ledger devices☆42Updated 6 months ago
- Instrument and transform wasm modules.☆51Updated last year
- Library for building stateful property tests using the proptest crate☆26Updated 3 months ago
- Banyan's client, BanyanFS+CAR encrypted filesystem packer and metadata handler.☆23Updated last year
- Eth Contract Monitor☆31Updated 9 months ago
- Futhark implementation of neptune-compatible Poseidon.☆27Updated 4 years ago
- Rust port of RIBLT library by yang1996☆23Updated last year
- An async-friendly sparse merkle tree implementation based on Diem's Jellyfish Merkle Tree☆64Updated 3 weeks ago
- Solarkraft: a runtime monitoring tool for Soroban, powered by TLA+ and Apalache☆12Updated 11 months ago
- Rust implementation of the Binary Canonical Serialization (BCS) format☆85Updated 2 years ago
- Zcash-flavored Ed25519 for use in Zebra.☆35Updated last week