freespek / solarkraftLinks
Solarkraft: a runtime monitoring tool for Soroban, powered by TLA+ and Apalache
☆12Updated 11 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
- Early-stage research related to the Anoma protocols.☆36Updated 2 years ago
- Executable formal model of the EVM and Yul in Lean 4.☆64Updated 2 months ago
- Formalization of Typhon protocol☆30Updated last year
- Mysticeti: Low-Latency DAG Consensus with Fast Commit Path☆83Updated 8 months ago
- An implementation of a DKG protocol for front-running protection on Anoma.☆84Updated 2 years ago
- A support library for working with zero knowledge cryptography in Lean 4.☆48Updated 5 months ago
- A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover☆76Updated 2 years ago
- Vamp-IR is a proof-system-agnostic language for writing arithmetic circuits☆162Updated 2 years ago
- A framework for generalized shielded state transitions☆148Updated last year
- Secure SGX Sidecar for CosmWasm☆59Updated 2 months ago
- An example ABCI application making use of tendermint-rs and ibc-rs☆58Updated last year
- Verification of the gnark implementation of the Semaphore protocol using Reilabs' extractor to Lean.☆15Updated last year
- A reproducible package set for Cosmos, IBC and CosmWasm☆62Updated 5 months ago
- Tower-based ABCI interface.☆78Updated last year
- Compiler from Rust to Miden Assembly☆100Updated this week
- The Mina Rust node is an implementation in Rust of the Mina Protocol☆119Updated this week
- An EVM interpreter in Dafny☆135Updated last year
- Drop-in replacement for CometBFT in end-to-end tests☆23Updated last year
- ☆66Updated last year
- Rust Protobuf definitions and gRPC clients for interacting with Cosmos SDK, IBC and Interchain Security☆63Updated 2 months ago
- Lean circuit DSL☆121Updated this week
- ☆53Updated this week
- Testing tools for multi-contract interactions☆54Updated 3 weeks ago
- Alternative CosmWasm VM☆25Updated 2 years ago
- Interactive formal verification tool for Yul programs☆77Updated 2 months ago
- Implementation of the Zcash Orchard Protocol☆64Updated 2 months ago
- Horus, a formal verification tool for StarkNet smart contracts.☆74Updated 7 months ago
- Evaluating & benchmarking ZKP compilation strategies.☆121Updated 2 years ago
- Rust implementation for zcash/pasta☆84Updated 9 months ago