informalsystems / atomkraft
Advanced fuzzing via Model Based Testing for Cosmos blockchains
☆78Updated last year
Related projects: ⓘ
- Drop-in replacement for CometBFT in end-to-end tests☆26Updated 6 months ago
- Implementation of Sunny's Mesh Security talk (Hackathon / Prototype status)☆89Updated last year
- Building generic merkle proof format for IBC☆115Updated this week
- An example smart contract + test suite for communicating over IBC.☆79Updated last year
- CosmWasm multi-contract testing framework☆44Updated this week
- An example ABCI application making use of tendermint-rs and ibc-rs☆55Updated 3 weeks ago
- ☆60Updated 2 weeks ago
- ☆69Updated this week
- All-in-one Rust-based CosmWasm testing, scripting, and deployment tool.☆76Updated this week
- Grug☆77Updated this week
- Tool to manage local gaiad instances - without docker☆13Updated 10 months ago
- ☆37Updated 10 months ago
- An implementation of a DKG protocol for front-running protection on Anoma.☆78Updated last year
- ICA☆83Updated last year
- ☆87Updated 6 months ago
- A k8s based unified development environment for Cosmos Ecosystem (and beyond)☆72Updated this week
- An all-in-one IBC protocol providing fungible token transfer, interchain account, and async query functionalities☆39Updated last year
- The best development platform for building custom modular Cosmos-SDK blockchains☆87Updated this week
- ☆20Updated last year
- ☆18Updated last year
- Formalization of Typhon protocol☆28Updated 3 months ago
- Tower-based ABCI interface.☆75Updated last week
- Rust libraries for osmosis☆59Updated last week
- A trustless, cross-chain bridging protocol.☆76Updated this week
- A temporary fork of the original Tendermint Core repository (please use CometBFT instead)☆16Updated 6 months ago
- This is a zero knowledge IBC tendermint light client written using SP1 and ibc-rs (WIP)☆20Updated last week
- ☆24Updated this week
- CosmWasm smart contract framework☆93Updated this week
- IBC applications and middleware for Cosmos SDK chains.☆82Updated 2 weeks ago
- Cosmos SDK Module for Celestia DA☆49Updated 2 weeks ago