informalsystems / unclog
Unclog your changelog
☆36Updated 6 months ago
Alternatives and similar repositories for unclog
Users that are interested in unclog are comparing it to the libraries listed below
Sorting:
- ☆35Updated last week
- ☆11Updated 2 years ago
- Ed25519 suitable for use in consensus-critical contexts.☆48Updated 9 months ago
- A reproducible package set for Cosmos, IBC and CosmWasm☆59Updated 3 months ago
- Early-stage research related to the Anoma protocols.☆23Updated last year
- A cosmos network key-signer buildable in WASM☆29Updated 2 years ago
- Rust client framework for interacting with CometBFT☆12Updated this week
- Formalization of Tendermint proposer election properties☆15Updated 6 years ago
- Decentralized Reliability Engineering☆18Updated this week
- Rust implementation of Shamir's Secret Sharing☆26Updated 2 years ago
- Apache Milagro Crypto Library - Rust Version☆31Updated 2 years ago
- An append-only merkle tree which is always pruned, along with incremental, fast-forwarding witnesses☆47Updated last week
- Rust boilerplate application for Ledger Nano S+/X, Stax and Flex☆45Updated last week
- Rust library crate for interacting with the Cosmos chain registry☆10Updated last year
- Futhark implementation of neptune-compatible Poseidon.☆27Updated 4 years ago
- An experimental rust zksnarks compiler with embeeded bellman-bn128 prover☆42Updated 3 years ago
- Rust encryption library for practical time-lock encryption.☆29Updated 9 months ago
- A partial actor pattern with a global orchestrator.☆28Updated 7 months ago
- A Rust implementation of Plumtree algorithm☆29Updated 2 months ago
- Rust crate for creating ABCI applications☆31Updated 2 years ago
- Rust SDK for Ledger device applications☆54Updated last week
- serde_json for Wasm programs (small, deterministic, no floats)☆31Updated 9 months ago
- ☆19Updated 10 months ago
- Rust port of RIBLT library by yang1996☆22Updated last year
- Verification-Driven Development☆21Updated 4 years ago
- Rust implementation of Amino☆27Updated 4 years ago
- Rust crate to connect to Ledger devices☆42Updated 4 months ago
- Zcash-flavored Ed25519 for use in Zebra.☆32Updated 6 months ago
- Library for building stateful property tests using the proptest crate☆23Updated last month
- Libp2p Kademlia Exporter exposing Prometheus metrics☆22Updated last year