Sovereign-Labs / sov-rollup-starter

Related projects ⓘ

Alternatives and complementary repositories for sov-rollup-starter

• succinctlabs / blobstreamx
  Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.
  ☆59Updated 3 months ago
• succinctlabs / sp1-contracts
  Contracts for onchain verification of SP1.
  ☆59Updated last week
• alloy-rs / op-alloy
  Transports, Middleware, and Networks for Optimism built with Alloy
  ☆37Updated this week
• yetanotherco / zkRust
  ☆29Updated 2 weeks ago
• anton-rs / cannon-rs
  An alternative implementation of the OP Stack's Cannon, a MIPS emulator for the EVM.
  ☆59Updated 3 months ago
• init4tech / zenith
  Solidity contracts for a next-gen rollup system.
  ☆63Updated 2 weeks ago
• zkemail / halo2-zk-email
  Email verification circuit in halo2
  ☆62Updated 4 months ago
• succinctlabs / rsp
  A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.
  ☆55Updated this week
• richardliang / noir-rsa
  Noir implementation of RSA-verify
  ☆41Updated 10 months ago
• agglayer / agglayer
  Rust implementation of the Agglayer.
  ☆73Updated this week
• succinctlabs / tendermintx
  Implementation of zero-knowledge proof circuits for Tendermint.
  ☆78Updated 6 months ago
• thor314 / pebble-stark
  A community-developed re-implementation of the Starkware Stone Prover
  ☆70Updated last week
• chainbound / bolt
  Bolt: permissionless proposer commitments on Ethereum
  ☆57Updated this week
• 0xPolygonMiden / miden-node
  Reference implementation of the node for the Polygon Miden rollup
  ☆53Updated this week
• flashbots / rollup-boost
  Sidecar to Enable Rollup Extensions
  ☆48Updated this week
• lambdaclass / starknet_tendermint_sequencer
  Starknet sequencer built with Tendermint Core
  ☆53Updated last year
• ralexstokes / kzg
  KZG commitments over BLS12-381
  ☆32Updated 2 years ago
• renegade-fi / renegade-contracts
  Smart contracts for on-chain anonymous settlement.
  ☆93Updated this week
• Rate-Limiting-Nullifier / rlnjs
  Client library for generating and using RLN ZK proofs
  ☆30Updated last year
• personaelabs / merkle-tree
  ☆31Updated 8 months ago
• argumentcomputer / zk-light-clients
  A collection of ZK light client libraries for various blockchains. (contact: @tchataigner)
  ☆32Updated this week
• starkoracles / zkos
  Cross-zk-rollup aggregation
  ☆59Updated last year
• deltadevsde / prism
  prism is the first trust-minimized key-transparency solution, allowing for automatic verification of service providers via light clients.…
  ☆50Updated this week
• gakonst / awesome-sp1
  A curated list of awesome resources related to SP1 - Succinct's zkVM.
  ☆92Updated 2 months ago
• sambarnes / noir-by-example
  an introduction to noir, with simple examples
  ☆42Updated 10 months ago
• axiom-crypto / axiom-sdk-core
  Core SDK elements for Axiom, the ZK Coprocessor for Ethereum.
  ☆36Updated 6 months ago
• privacy-scaling-explorations / halo2-solidity-verifier
  A set of tooling related to halo2 circuits verification inside Solidity contracts
  ☆63Updated last month
• matter-labs / zk_os
  OS for next iteration of the world computer
  ☆45Updated last year
• BattleZips / BattleZips-Noir
  Noir implementation of BattleZips circuits
  ☆27Updated last year
• BadBoiLabs / Cannon-rs
  Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆
  ☆50Updated 11 months ago
• yourbuddyconner / succinct-bootcamp
  This repository contains PDF lecture notes from Succinct's internal training program, covering various aspects of zero-knowledge proof te…
  ☆39Updated last month