informalsystems / unclogLinks
Unclog your changelog
☆36Updated 2 weeks ago
Alternatives and similar repositories for unclog
Users that are interested in unclog are comparing it to the libraries listed below
Sorting:
- ☆51Updated last month
- Ed25519 suitable for use in consensus-critical contexts.☆53Updated last year
- Formalization of Tendermint proposer election properties☆15Updated 6 years ago
- An experimental rust zksnarks compiler with embeeded bellman-bn128 prover☆42Updated 4 years ago
- Rust boilerplate application for Ledger Nano S+/X, Stax and Flex☆49Updated this week
- A reproducible package set for Cosmos, IBC and CosmWasm☆62Updated 4 months ago
- Instrument and transform wasm modules.☆51Updated last year
- Merkle tree toolkit☆46Updated 5 years ago
- Rust SDK for Ledger device applications☆61Updated this week
- Rust crate for creating ABCI applications☆32Updated 2 years ago
- Minimalist crate for deterministic binary encodings in Rust☆11Updated last year
- Futhark implementation of neptune-compatible Poseidon.☆27Updated 4 years ago
- A Rust implementation of Plumtree algorithm☆29Updated 10 months ago
- A command line-based parameterized contracting tool☆46Updated 2 years ago
- Rust crate to connect to Ledger devices☆42Updated 5 months ago
- Rust implementation of the Binary Canonical Serialization (BCS) format☆85Updated 2 years ago
- A cosmos network key-signer buildable in WASM☆29Updated 2 years ago
- Register and discover services via Aqua☆19Updated 6 months ago
- Rust client framework for interacting with CometBFT☆20Updated 5 months ago
- Model-based testing tool☆62Updated 9 months ago
- ☆25Updated 3 years ago
- Pairing operations over the BLS12-381 elliptic curve in Haskell☆14Updated 3 years ago
- _merkle_ is a lightweight Rust implementation of a Merkle tree, external dependencies agnostic, std::hash compatible with efficient memor…☆49Updated 7 months ago
- Collection of sponge functions written in pure Rust☆50Updated 2 months ago
- Rust implementation of Amino☆27Updated 5 years ago
- Secure SGX Sidecar for CosmWasm☆60Updated last month
- Banyan's client, BanyanFS+CAR encrypted filesystem packer and metadata handler.☆23Updated last year
- Constant-Time WebAssembly☆24Updated 7 years ago
- An example ABCI application making use of tendermint-rs and ibc-rs☆58Updated last year
- CID in rust☆96Updated this week