informalsystems / atomkraft
Advanced fuzzing via Model Based Testing for Cosmos blockchains
☆77Updated last year
Related projects ⓘ
Alternatives and complementary repositories for atomkraft
- Implementation of Sunny's Mesh Security talk (Hackathon / Prototype status)☆88Updated last year
- Drop-in replacement for CometBFT in end-to-end tests☆25Updated 8 months ago
- Building generic merkle proof format for IBC☆116Updated this week
- An implementation of a DKG protocol for front-running protection on Anoma.☆78Updated last year
- CosmWasm multi-contract testing framework☆48Updated 2 weeks ago
- An example smart contract + test suite for communicating over IBC.☆80Updated last year
- An example ABCI application making use of tendermint-rs and ibc-rs☆56Updated last week
- Tower-based ABCI interface.☆74Updated this week
- ☆39Updated last year
- All-in-one Rust-based CosmWasm testing, scripting, and deployment tool.☆79Updated this week
- Formalization of Typhon protocol☆28Updated this week
- The Left Curve Stack☆88Updated this week
- Rust libraries for osmosis☆59Updated this week
- ☆21Updated 2 years ago
- ☆88Updated 8 months ago
- A k8s based unified development environment for Cosmos Ecosystem (and beyond)☆72Updated this week
- ☆64Updated last week
- Dockerfile and script to deterministically produce the smallest possible Wasm for your Rust contract☆123Updated last month
- A trustless, cross-chain bridging protocol.☆76Updated this week
- Tool to manage local gaiad instances - without docker☆12Updated last year
- An all-in-one IBC protocol providing fungible token transfer, interchain account, and async query functionalities☆39Updated last year
- CosmWasm IBC NFT Transfers☆62Updated last month
- IBC applications and middleware for Cosmos SDK chains.☆82Updated 2 months ago
- This is a work-in-progress solidity implementation of IBC Eureka.☆26Updated this week
- The best development platform for building custom modular Cosmos-SDK blockchains☆97Updated this week
- Margined Protocol Perpetuals for CosmWasm Networks☆34Updated 7 months ago
- ☆19Updated last year
- This repository implements IBC solo machine which can be used to interface with other machines and replicated ledgers which speak IBC.☆44Updated 3 weeks ago