Alternatives and similar repositories for sunspot

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

• formal-land / rocq-of-solidity
  Formal verification for Solidity smart contracts with the theorem prover Rocq. Ensure no vulnerabilities for your smart contracts.
  ☆46Updated 3 weeks ago
• formal-land / garden
  Make your zero-knowledge circuits safe with formal verification! 🍀
  ☆32Updated 2 months ago
• MatteoMer / any-zkvm
  A rust template that allows any rust dev to easily develop an app made for a zkVM, but abstracting which one to use
  ☆56Updated 9 months ago
• lambdaclass / cairo_native
  A compiler to convert Cairo's intermediate representation "Sierra" code to MLIR.
  ☆137Updated last week
• NethermindEth / EVMYulLean
  Executable formal model of the EVM and Yul in Lean 4.
  ☆64Updated 2 months ago
• eth-act / zkevm-book
  Ethereum zkEVM book
  ☆81Updated 4 months ago
• lambdaclass / lambda_ethereum_consensus
  Elixir implementation of an Ethereum consensus client, which offers high reliance & fault tolerance
  ☆108Updated 2 months ago
• MystenLabs / mysticeti
  Mysticeti: Low-Latency DAG Consensus with Fast Commit Path
  ☆83Updated 7 months ago
• Consensys / evm-dafny
  An EVM interpreter in Dafny
  ☆135Updated last year
• NethermindEth / Clear
  Interactive formal verification tool for Yul programs
  ☆76Updated 2 months ago
• RareSkills / zk-book
  This is the markdown for the ZK Book
  ☆107Updated last week
• risc0 / zirgen
  Zirgen compiler and RISC Zero circuits
  ☆123Updated last week
• Verified-zkEVM / clean
  Lean circuit DSL
  ☆121Updated this week
• anoma / research
  Early-stage research related to the Anoma protocols.
  ☆36Updated 2 years ago
• warlock-labs / sylow
  Aims to provide an audited, elegant, minimal implementation of BLS signing, key generation, resharing over the alt-bls128 curve
  ☆46Updated 10 months ago
• babybear-labs / benchmark
  Benchmark of ZKVMs and Proving Schemes
  ☆32Updated last month
• matter-labs / zksync-airbender
  RISC-V prover system for ZKsync OS
  ☆118Updated this week
• ZippelLabs / ZP1
  RISC-V prover system
  ☆48Updated 2 weeks ago
• argotorg / solcore
  experimental solidity compiler
  ☆95Updated this week
• leanEthereum / leanMultisig
  Minimal zkVM, targeting XMSS aggregation and recursion.
  ☆63Updated this week
• PetraProver / PetraVM
  A verifiable supercomputer
  ☆77Updated 7 months ago
• ICME-Lab / zkEngine_dev
  A cutting-edge zkWASM implementation leveraging Nova-NIVC-based folding techniques.
  ☆43Updated 3 months ago
• risc0 / risc0-lean4
  A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover
  ☆75Updated 2 years ago
• scroll-tech / ceno
  Accelerated Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol
  ☆132Updated this week
• ethproofs / ethproofs
  the race to mainnet-grade L1 zkEVMs
  ☆136Updated this week
• binius-zk / binius64
  Binary Proofs, Blazing Fast
  ☆110Updated this week
• Verified-zkEVM / ArkLib
  Formally Verified Arguments of Knowledge in Lean
  ☆148Updated last week
• kkrt-labs / cairo-m
  The Mobile first, Cpu AIR (aka zkVM), using M31 and Stwo's Max power
  ☆53Updated 2 months ago
• ligeroinc / ligero-prover
  ☆59Updated last month
• NethermindEth / horus-checker
  Horus, a formal verification tool for StarkNet smart contracts.
  ☆74Updated 7 months ago