Add integration with Atomkraft for e2e testing

[iramiller]

Summary

Add end to end testing support for provenanced that uses the formal Cosmos SDK specifications to ensure compatibility with the base modules.

Problem Definition

Ensuring the provenanced releases are stable and fully compatible with the Cosmos SDK is currently done by running simulation tests. These tests are useful but not very comprehensive. A new project from Informal System aims to more fully assert the proper behavior of the system using test specifications written in TLA+.

Proposal

Create a testing environment with Atom Kraft that runs E2E Cosmos SDK/IBC tests against provenanced. Informal System also created several TLA+ specifications for the Marker and Metadata modules during their 2021 audit of Provenance blockchain code. These specification would be useful to add to the others for the Cosmos SDK as a way to further assert the proper behavior of the system.

---

For Admin Use

• Not duplicate issue
• Appropriate labels applied
• Appropriate contributors tagged
• Contributor assigned/self-assigned

[iramiller]

marker-tests-audit.zip

These are the generated tests from when Informal created TLA+ tests for the marker module...

[iramiller]

There are also E2E tests for IBC-GO which are worth looking into. https://github.com/cosmos/ibc-go/tree/main/e2e

[llama-del-rey]

@iramiller kinda stuck here. The setup doesn't go beyond initial setup. I have created an issue with atomkraft but not sure how to proceed

[llama-del-rey]

There is a transitive dependency on python-hdwallet. I believe this is required for a permanent fix: talonlab/python-hdwallet#71

[llama-del-rey]

Create a new repo for init setup: https://github.com/provenance-io/provenance-e2e