succinctlabs / eth-proof-of-consensus

Related projects: ⓘ

• arnaucube / awesome-circom
  A curated list of repos related to Circom
  ☆93Updated last year
• 0xFableOrg / roll-op
  The simplest way to spin your own dev / prod rollup, fully configurable.
  ☆88Updated 2 months ago
• dmpierre / eth-private-market
  Leveraging zk for trustlessly selling private keys, signatures and groth16 proofs.
  ☆89Updated last year
• yi-sun / zk-attestor
  ☆131Updated 2 years ago
• axiom-crypto / axiom-eth
  ☆93Updated last month
• anton-rs / kona
  A suite of `no_std` components for the OP Stack state transition function and L2 chain derivation.
  ☆114Updated this week
• succinctlabs / telepathy-contracts
  Smart contracts for the Telepathy protocol
  ☆73Updated 5 months ago
• ethereum / RIPs
  The Ethereum Rollup Improvement Proposal repository
  ☆95Updated last month
• gakonst / sgx-revm
  PoC of Revm execution in SGX
  ☆78Updated 10 months ago
• aragonzkresearch / noir-trie-proofs
  ☆58Updated last month
• laudiacay / barustenberg
  barretenburg in rust (here we go)
  ☆97Updated 8 months ago
• summa-dev / summa-solvency
  Monorepo for Summa Proof of Solvency Protocol
  ☆94Updated 3 weeks ago
• gakonst / awesome-sp1
  A curated list of awesome resources related to SP1 - Succinct's zkVM.
  ☆89Updated last month
• whitenois3 / huff-snark-verifier
  Generate an optimized Groth16 SNARK verification smart contract for use on EVM-based blockchains.
  ☆126Updated 2 years ago
• privacy-scaling-explorations / perpetualpowersoftau
  ☆44Updated this week
• thor314 / circuit-examples
  Circuit examples for ZK Hack Lisbon 2023 in Circom, Noir, Risc-0
  ☆71Updated this week
• 0xPolygonHermez / pilcom
  Polynomials Identity Language
  ☆67Updated 6 months ago
• plume-sig / zk-nullifier-sig
  Implementation of PLUME: nullifier friendly signature scheme on ECDSA
  ☆133Updated last month
• chancehudson / poseidon-solidity
  Poseidon hash function implemented in Solidity
  ☆40Updated last month
• jmcph4 / awesome-reth
  A list of awesome Reth-related resources
  ☆87Updated last month
• slushsdk / slush
  The Slush SDK allows you to spin up L3s on Starknet
  ☆69Updated last year
• hecmas / zkNotebook
  My personal notebook for various zk-related topics
  ☆47Updated 5 months ago
• hananbeer / evm2
  e=vm² (pronounced evm-squared; the = is silent) is an evm that runs inside evm.
  ☆89Updated last year
• VictorColomb / stark-snark-recursive-proofs
  STARK - SNARK recursive zero knowledge proofs, combinaison of the Winterfell library and the Circom language
  ☆103Updated last year
• SpecularL2 / specular
  Specular Monorepo
  ☆37Updated 5 months ago
• geometryxyz / semacaulk
  Gas-efficient and blazing fast proving for private signaling
  ☆81Updated 7 months ago
• tarassh / zkSNARK-under-the-hood
  Implementation of zero knowledge proof protocol - Groth16, Plonk. For education purposes. Not a production ready code.
  ☆68Updated 8 months ago
• vezenovm / simple_shield
  Basic Noir anonymous proof of membership
  ☆88Updated last year
• auditless / cairo-template
  A minimal template for building smart contracts with Cairo 1.0
  ☆87Updated last year
• RareSkills / noir-puzzles
  ☆47Updated last year