Atomkraft
End-to-end testing of Cosmos blockchains should be easy and reproducible!
Atomkraft is a python package that provides you with a thin layer for executing
Informal traces
against a Cosmos blockchain.
Atomkraft offers the following features:
-
Executing Cosmos transactions via CLI.
-
Querying for account balances via the REST API.
-
Parsing Informal traces into convenient
python-native data structures.
Our principle design decision was to make Atomkraft as thin as possible and
make it easy to hack, because every blockchain comes with its own quirks, APIs,
and endpoints. Atomkraft does not depend on complex verification/testing tools,
though advanced tools such as Apalache
can be easily integrated into the testing workflow with Atomkraft. This
approach proved itself in several audits, where we had to deal with Cosmos SDK
and Ethereum Virtual Machine (and even both at the same time!).
The diagram below shows the data flow in an Atomkraft setup:
Examples
Check how we test Delegation and transfers in Cosmos
SDK.
Install
To build atomkraft, run the following commands:
git clone [email protected]:informalsystems/atomkraft.git
cd atomkraft
make build && make install
