Alternatives and similar repositories for solarkraft

Users that are interested in solarkraft are comparing it to the libraries listed below

• informalsystems / atomkraft
  Advanced fuzzing via Model Based Testing for Cosmos blockchains
  ☆84Updated 2 years ago
• NethermindEth / EVMYulLean
  Executable formal model of the EVM and Yul in Lean 4.
  ☆59Updated 3 weeks ago
• risc0 / risc0-lean4
  A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover
  ☆71Updated 2 years ago
• informalsystems / malachite
  Flexible BFT consensus engine in Rust
  ☆254Updated this week
• informalsystems / quartz
  Secure SGX Sidecar for CosmWasm
  ☆42Updated last month
• anoma / ferveo
  An implementation of a DKG protocol for front-running protection on Anoma.
  ☆82Updated 2 years ago
• anoma / typhon
  Formalization of Typhon protocol
  ☆31Updated 6 months ago
• informalsystems / basecoin-rs
  An example ABCI application making use of tendermint-rs and ibc-rs
  ☆58Updated 8 months ago
• lurk-lab / lurk
  Lurk is a Turing-complete programming language for zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common …
  ☆84Updated 3 months ago
• argumentcomputer / ix
  a zero-knowledge proof-carrying code platform for Lean 4
  ☆25Updated last week
• ComposableFi / cosmwasm-vm
  Alternative CosmWasm VM
  ☆25Updated last year
• anoma / research
  Early-stage research related to the Anoma protocols.
  ☆25Updated last year
• starkware-libs / formal-proofs
  ☆61Updated 8 months ago
• MystenLabs / mysticeti
  Mysticeti: Low-Latency DAG Consensus with Fast Commit Path
  ☆77Updated last month
• KaiserKarel / substrace
  Static analysis for Substrate based projects
  ☆30Updated 2 years ago
• Consensys / evm-dafny
  An EVM interpreter in Dafny
  ☆130Updated 8 months ago
• penumbra-zone / tower-abci
  Tower-based ABCI interface.
  ☆76Updated 5 months ago
• CosmWasm / cw-multi-test
  CosmWasm multi-contract testing framework
  ☆52Updated last week
• anoma / taiga
  A framework for generalized shielded state transitions
  ☆150Updated 10 months ago
• NethermindEth / Clear
  Interactive formal verification tool for Yul programs
  ☆66Updated 3 weeks ago
• Verified-zkEVM / clean
  Lean circuit DSL
  ☆83Updated last week
• informalsystems / CometMock
  Drop-in replacement for CometBFT in end-to-end tests
  ☆24Updated last year
• larry0x / ics999
  An all-in-one IBC protocol providing fungible token transfer, interchain account, and async query functionalities
  ☆40Updated last year
• Consensys / corset
  ☆19Updated 3 months ago
• garethtdavies / zkAppPool
  A zkApp based staking pool for MINA
  ☆15Updated 2 years ago
• cosmos / ibc-proto-rs
  Rust Protobuf definitions and gRPC clients for interacting with Cosmos SDK, IBC and Interchain Security
  ☆55Updated 3 weeks ago
• anoma / vamp-ir
  Vamp-IR is a proof-system-agnostic language for writing arithmetic circuits
  ☆164Updated last year
• yolc-dev / yul-dsl-monorepo
  The monorepo of YulDSL (a DSL for Solidity/Yul), YulDSL/Haskell (Embedding YulDSL in Haskel), and Yolc (a safe, expressive, fun language …
  ☆39Updated last week
• informalsystems / gm
  Tool to manage local gaiad instances - without docker
  ☆13Updated last month
• fsainas / contracts-verification-benchmark
  An open benchmark for evaluating smart contracts verification tools.
  ☆14Updated 2 months ago