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
• anoma / research
  Early-stage research related to the Anoma protocols.
  ☆36Updated 2 years ago
• NethermindEth / EVMYulLean
  Executable formal model of the EVM and Yul in Lean 4.
  ☆63Updated last month
• MystenLabs / mysticeti
  Mysticeti: Low-Latency DAG Consensus with Fast Commit Path
  ☆81Updated 6 months ago
• fe-lang / sonatina
  ☆53Updated last month
• risc0 / risc0-lean4
  A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover
  ☆73Updated 2 years ago
• starkware-libs / formal-proofs
  ☆67Updated last year
• anoma / ferveo
  An implementation of a DKG protocol for front-running protection on Anoma.
  ☆83Updated 2 years ago
• NethermindEth / Clear
  Interactive formal verification tool for Yul programs
  ☆75Updated last month
• informalsystems / basecoin-rs
  An example ABCI application making use of tendermint-rs and ibc-rs
  ☆58Updated last year
• ComposableFi / cosmwasm-vm
  Alternative CosmWasm VM
  ☆25Updated 2 years ago
• Sovereign-Labs / solana-proofs
  ☆28Updated 2 years ago
• succinctlabs / zkvm-perf
  ☆27Updated 10 months ago
• anoma / typhon
  Formalization of Typhon protocol
  ☆30Updated last year
• Consensys / evm-dafny
  An EVM interpreter in Dafny
  ☆133Updated last year
• Consensys / corset
  ☆20Updated 2 weeks ago
• informalsystems / quartz
  Secure SGX Sidecar for CosmWasm
  ☆59Updated last week
• zeko-labs / zeko
  Zeko: zk-Rollup for Mina, a succinct blockchain
  ☆33Updated this week
• penumbra-zone / tower-abci
  Tower-based ABCI interface.
  ☆78Updated 10 months ago
• Verified-zkEVM / clean
  Lean circuit DSL
  ☆111Updated 2 weeks ago
• novifinancial / LibraChain
  A library providing mechanized proofs of the LibraBFT consensus using the Coq theorem prover
  ☆26Updated 5 years ago
• o1-labs / mina-rust
  The Mina Rust node is an implementation in Rust of the Mina Protocol
  ☆117Updated this week
• reilabs / proven-zk
  A support library for working with zero knowledge cryptography in Lean 4.
  ☆45Updated 3 months ago
• mitschabaude / montgomery
  Fast implementation of multi-scalar multiplication in WebAssembly
  ☆34Updated last year
• zcash / orchard
  Implementation of the Zcash Orchard Protocol
  ☆63Updated 2 weeks ago
• parallelchain-io / hotstuff_rs
  Performant Byzantine Fault Tolerant State Machine Replication (BFT SMR) in Rust.
  ☆57Updated 11 months ago
• risc0 / battleship-example
  A battleship game using ZKPs
  ☆43Updated 2 years ago
• cosmos / ibc-proto-rs
  Rust Protobuf definitions and gRPC clients for interacting with Cosmos SDK, IBC and Interchain Security
  ☆61Updated 2 weeks ago
• NethermindEth / horus-checker
  Horus, a formal verification tool for StarkNet smart contracts.
  ☆74Updated 6 months ago
• o1-labs / o1js-bindings
  Bindings for o1js to lower layers of the proof system and the Mina transaction logic
  ☆13Updated 7 months ago