Alternatives and similar repositories for citrea

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

• yetanotherco / aligned_layer
  Aligned is a verification layer for zero-knowledge proofs using EigenLayer. Our mission is to accelerate the adoption of zero-knowledge a…
  ☆229Updated this week
• chainwayxyz / bitvm-zk-verifier
  BitVM Groth16 Verifier Toolkit - WIP
  ☆77Updated 10 months ago
• gevulotnetwork / gevulot
  Gevulot is an internet scale compute network for zero-knowledge proof generation and verification.
  ☆160Updated 4 months ago
• astriaorg / astria
  A monorepo containing all the custom components of the Astria network, a decentralized system that replaces traditional sequencers, offer…
  ☆130Updated this week
• Layr-Labs / eigenda
  Secure, high-throughput, and decentralized Data Availability
  ☆231Updated this week
• eigerco / beerus
  A stateless trustless Starknet light client in Rust 🦀
  ☆262Updated last week
• matter-labs / era-boojum
  Boojum, the scariest SNARK implementation.
  ☆301Updated 8 months ago
• AztecProtocol / aztec-nr
  Mirror of AztecProtocol/aztec-packages/aztec-nr
  ☆115Updated this week
• formthefog / versatus
  Create full-stack applications in your preferred languages with your favorite development tools.
  ☆76Updated 11 months ago
• zkMIPS / zkm
  zkMIPS 0.3: an open-source, simple, stable, and universal zero-knowledge virtual machine on MIPS32r2 ISA
  ☆127Updated last month
• Sovereign-Labs / sovereign-sdk
  A framework for building seamlessly scalable and interoperable rollups that can run on any blockchain
  ☆405Updated this week
• fluentlabs-xyz / fluentbase
  A framework to build smart contracts on the Fluent L2 as well as blockchains and verifiable compute environments that compile to rWasm
  ☆74Updated this week
• starkware-libs / stone-prover
  ☆267Updated 7 months ago
• polymerdao / plonky2-circom
  ☆158Updated 3 months ago
• taikoxyz / raiko
  Multi-proofs for Taiko. SNARKS, STARKS and Trusted Execution Enclave. Our previous ZK-EVM circuits are deprecated.
  ☆137Updated this week
• EspressoSystems / espresso-network
  ☆128Updated this week
• succinctlabs / sp1-project-template
  Template for creating an SP1 project that can generate a proof of any RISC-V program and verify the proof on-chain.
  ☆103Updated 3 weeks ago
• chainwayxyz / clementine
  Citrea's BitVM Based Trust-Minimized Two-Way Peg Program
  ☆79Updated this week
• keep-starknet-strange / madara
  DEPRECATED in favor of https://github.com/madara-alliance/madara
  ☆536Updated 9 months ago
• GEBcore / GEB
  Building Super Bitcoin： A Value Internet Sharing Bitcoin’s Consensus Security. GEB: A Complex Adaptive System Perceiving Reality.
  ☆91Updated 3 months ago
• megaeth-labs / evmone-compiler
  EVM ahead-of-time compiler based on the fast evmone interpreter
  ☆116Updated 3 months ago
• SatoshiVM / whitepaper
  ☆68Updated last year
• dwallet-labs / dwallet-network
  dWallet Network, a composable modular signature network that is the home of dWallets. A dWallet is a noncollusive and massively decentral…
  ☆123Updated this week
• omni-network / omni
  Monorepo for Omni node, contracts and other related tools
  ☆111Updated this week
• ithacaxyz / odyssey
  A testnet open-source Layer 2 from the future, co-designed with the developer tools stack.
  ☆291Updated 2 weeks ago
• AztecProtocol / barretenberg
  ☆168Updated this week
• kkrt-labs / kakarot-rpc
  Kakarot ZK EVM Ethereum RPC adapter
  ☆136Updated 4 months ago
• AztecProtocol / aztec-packages
  ☆287Updated this week
• starkware-libs / papyrus
  Papyrus is a StarkNet full node written in Rust.
  ☆321Updated 4 months ago
• eigerco / lumina
  Wasm friendly Celestia light node implementation in Rust
  ☆149Updated 2 weeks ago