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
• informalsystems / quartz
  Secure SGX Sidecar for CosmWasm
  ☆58Updated last week
• anoma / research
  Early-stage research related to the Anoma protocols.
  ☆35Updated 2 years ago
• informalsystems / basecoin-rs
  An example ABCI application making use of tendermint-rs and ibc-rs
  ☆58Updated last year
• MystenLabs / mysticeti
  Mysticeti: Low-Latency DAG Consensus with Fast Commit Path
  ☆80Updated 5 months ago
• anoma / ferveo
  An implementation of a DKG protocol for front-running protection on Anoma.
  ☆83Updated 2 years ago
• NethermindEth / EVMYulLean
  Executable formal model of the EVM and Yul in Lean 4.
  ☆63Updated last month
• starkware-libs / formal-proofs
  ☆66Updated last year
• informalsystems / CometMock
  Drop-in replacement for CometBFT in end-to-end tests
  ☆23Updated last year
• anoma / typhon
  Formalization of Typhon protocol
  ☆31Updated 11 months ago
• risc0 / risc0-lean4
  A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover
  ☆72Updated 2 years ago
• mitschabaude / montgomery
  Fast implementation of multi-scalar multiplication in WebAssembly
  ☆34Updated 11 months ago
• succinctlabs / zkvm-perf
  ☆27Updated 10 months ago
• anoma / vamp-ir
  Vamp-IR is a proof-system-agnostic language for writing arithmetic circuits
  ☆163Updated 2 years ago
• zcash / orchard
  Implementation of the Zcash Orchard Protocol
  ☆62Updated 2 months ago
• 0xMiden / compiler
  Compiler from Rust to Miden Assembly
  ☆90Updated last week
• penumbra-zone / tower-abci
  Tower-based ABCI interface.
  ☆78Updated 9 months ago
• anoma / taiga
  A framework for generalized shielded state transitions
  ☆150Updated last year
• informalsystems / unclog
  Unclog your changelog
  ☆36Updated last year
• heliaxdev / plonk
  Pure Rust implementation of the PLONK ZKProof System done by the Dusk-Network team.
  ☆14Updated 3 years ago
• anoma / zkp-compiler-shootout
  Evaluating & benchmarking ZKP compilation strategies.
  ☆121Updated last year
• reilabs / proven-zk
  A support library for working with zero knowledge cryptography in Lean 4.
  ☆41Updated 2 months ago
• Consensys / evm-dafny
  An EVM interpreter in Dafny
  ☆133Updated last year
• o1-labs / mina-rust
  The Mina Rust node is an implementation in Rust of the Mina Protocol
  ☆117Updated this week
• trustboost / TrustBoost
  ☆19Updated 3 years ago
• MystenLabs / anemo
  ☆47Updated 8 months ago
• o1-labs / Archive-Node-API
  This is a GraphQL server that is built with the intention of exposing information from Mina's Archive Node
  ☆19Updated last week
• informalsystems / cosmwasm-to-quint
  Semi-automated modelling and Model-Based Testing for CosmWasm contracts
  ☆17Updated last year
• Veridise / zk-language-comparison
  Examples of Mastermind implemented in different ZK languages and frameworks.
  ☆14Updated 7 months ago
• entropyxyz / synedrion
  Implementation of Canetti-Gennaro-Goldfeder-Makriyannis-Peled threshold signing scheme
  ☆82Updated 2 months ago