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
• anoma / typhon
  Formalization of Typhon protocol
  ☆30Updated last year
• NethermindEth / EVMYulLean
  Executable formal model of the EVM and Yul in Lean 4.
  ☆64Updated 2 months ago
• MystenLabs / mysticeti
  Mysticeti: Low-Latency DAG Consensus with Fast Commit Path
  ☆83Updated 8 months ago
• informalsystems / quartz
  Secure SGX Sidecar for CosmWasm
  ☆59Updated 2 months ago
• NethermindEth / Clear
  Interactive formal verification tool for Yul programs
  ☆77Updated 2 months ago
• starkware-libs / formal-proofs
  ☆66Updated last year
• risc0 / risc0-lean4
  A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover
  ☆76Updated 2 years ago
• anoma / ferveo
  An implementation of a DKG protocol for front-running protection on Anoma.
  ☆84Updated 2 years ago
• Consensys / evm-dafny
  An EVM interpreter in Dafny
  ☆135Updated last year
• reilabs / proven-zk
  A support library for working with zero knowledge cryptography in Lean 4.
  ☆48Updated 5 months ago
• penumbra-zone / tower-abci
  Tower-based ABCI interface.
  ☆78Updated last year
• penumbra-zone / jmt
  An async-friendly sparse merkle tree implementation based on Diem's Jellyfish Merkle Tree
  ☆64Updated last month
• succinctlabs / zkvm-perf
  ☆27Updated last year
• ComposableFi / cosmwasm-vm
  Alternative CosmWasm VM
  ☆25Updated 2 years ago
• informalsystems / basecoin-rs
  An example ABCI application making use of tendermint-rs and ibc-rs
  ☆58Updated last year
• reilabs / gnark-lean-demo
  Verification of the gnark implementation of the Semaphore protocol using Reilabs' extractor to Lean.
  ☆15Updated last year
• fe-lang / sonatina
  ☆53Updated this week
• mitschabaude / montgomery
  Fast implementation of multi-scalar multiplication in WebAssembly
  ☆34Updated last year
• entropyxyz / synedrion
  Implementation of Canetti-Gennaro-Goldfeder-Makriyannis-Peled threshold signing scheme
  ☆84Updated 4 months ago
• anoma / zkp-compiler-shootout
  Evaluating & benchmarking ZKP compilation strategies.
  ☆121Updated 2 years ago
• parallelchain-io / hotstuff_rs
  Performant Byzantine Fault Tolerant State Machine Replication (BFT SMR) in Rust.
  ☆58Updated last year
• o1-labs / mina-rust
  The Mina Rust node is an implementation in Rust of the Mina Protocol
  ☆119Updated this week
• informalsystems / CometMock
  Drop-in replacement for CometBFT in end-to-end tests
  ☆23Updated last year
• penumbra-zone / ed25519-consensus
  Ed25519 suitable for use in consensus-critical contexts.
  ☆53Updated last year
• NethermindEth / horus-checker
  Horus, a formal verification tool for StarkNet smart contracts.
  ☆74Updated 7 months ago
• bgillesp / pazk
  Implementations of algorithms and protocols from Justin Thaler's "Proofs, Arguments, and Zero-knowledge"
  ☆21Updated 2 years ago
• anoma / taiga
  A framework for generalized shielded state transitions
  ☆148Updated last year
• Consensys / eth2.0-dafny
  Eth2.0 spec in Dafny
  ☆80Updated last year