freespek / solarkraftLinks
Solarkraft: a runtime monitoring tool for Soroban, powered by TLA+ and Apalache
☆12Updated 7 months ago
Alternatives and similar repositories for solarkraft
Users that are interested in solarkraft are comparing it to the libraries listed below
Sorting:
- Advanced fuzzing via Model Based Testing for Cosmos blockchains☆84Updated 2 years ago
- Alternative CosmWasm VM☆25Updated 2 years ago
- Secure SGX Sidecar for CosmWasm☆56Updated last week
- An example ABCI application making use of tendermint-rs and ibc-rs☆58Updated 11 months ago
- Formalization of Typhon protocol☆31Updated 10 months ago
- Mysticeti: Low-Latency DAG Consensus with Fast Commit Path☆79Updated 4 months ago
- Early-stage research related to the Anoma protocols.☆33Updated 2 years ago
- A reproducible package set for Cosmos, IBC and CosmWasm☆61Updated last month
- Drop-in replacement for CometBFT in end-to-end tests☆23Updated last year
- The Mina Rust node is an implementation in Rust of the Mina Protocol☆114Updated this week
- An implementation of a DKG protocol for front-running protection on Anoma.☆83Updated 2 years ago
- A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover☆72Updated 2 years ago
- Unclog your changelog☆36Updated 11 months ago
- Rust SDK for Ledger device applications☆57Updated this week
- Testing tools for multi-contract interactions☆53Updated last month
- This is a zero knowledge IBC tendermint light client written using SP1 and ibc-rs (WIP)☆24Updated 10 months ago
- Tower-based ABCI interface.☆78Updated 8 months ago
- ☆53Updated last week
- A minimal reimplementation of Tendermint in Rust☆25Updated 4 months ago
- ☆26Updated last year
- Tool to manage local gaiad instances - without docker☆13Updated 5 months ago
- CosmWasm smart contract framework☆103Updated 3 months ago
- ☆19Updated 6 months ago
- ☆27Updated 9 months ago
- A generalized fully trustless Ethereum bridge for sovereign chains.☆14Updated 2 years ago
- Rust Protobuf definitions and gRPC clients for interacting with Cosmos SDK, IBC and Interchain Security☆60Updated last month
- Implementation of the Zcash Orchard Protocol☆57Updated last month
- A cutting-edge zkWASM implementation leveraging Nova-NIVC-based folding techniques.☆42Updated last month
- Performant Byzantine Fault Tolerant State Machine Replication (BFT SMR) in Rust.☆54Updated 9 months ago
- Fast implementation of multi-scalar multiplication in WebAssembly☆34Updated 10 months ago