polytope-labs / sync-committee-rs

Related projects ⓘ

Alternatives and complementary repositories for sync-committee-rs

• succinctlabs / kzg-rs
  Rust implementation of KZG point evaluation
  ☆27Updated 2 months ago
• han0110 / halo2-kzg-srs
  ☆32Updated 10 months ago
• distributedstatemachine / eigenlayer-rs
  ☆19Updated 7 months ago
• nikkolasg / halo2-circuits
  ☆28Updated 2 years ago
• sambarnes / noir-by-example
  an introduction to noir, with simple examples
  ☆42Updated 10 months ago
• AmadiMichael / Dynamic-Huffidity-POC
  Huffidity, but let's you jump back to Solidity runtime execution from Huff runtime execution.
  ☆31Updated last year
• porco-rosso-j / zk-ecdsAA
  ERC4337-based social recovery wallet with Noir zk-ecdsa
  ☆21Updated last year
• ralexstokes / kzg
  KZG commitments over BLS12-381
  ☆32Updated 2 years ago
• vacp2p / stealth-address-kit
  Implements ERC-5564 for multiple elliptic curves using arkworks-rs
  ☆33Updated this week
• leonardoalt / evm
  Simple EVM implementation in [no_std] Rust to be used in Powdr.
  ☆17Updated last year
• odradev / evm-at-risc0
  ☆17Updated last year
• axiom-crypto / uniswap-v3-oracles
  Trustless oracle of historical Uniswap v3 TWAP using ZK
  ☆38Updated last year
• succinctlabs / telepathy-circuits
  zkSNARK circuits for the Telepathy protocol
  ☆51Updated last year
• axiom-crypto / axiom-v1-contracts
  Axiom smart contracts
  ☆27Updated last year
• paradigmxyz / foundry-alphanet
  Foundry tools for interfacing with Reth Alphanet's bleeding-edge EVM extensions.
  ☆32Updated 6 months ago
• BadBoiLabs / Cannon-rs
  Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆
  ☆50Updated 11 months ago
• anthias-labs / arbiter-template
  Minimal template for using the Arbiter framework for simulations.
  ☆45Updated last week
• devtooligan / curta-elohim
  A puzzle for Curta CTF
  ☆26Updated last year
• supernovahs / zk-sunade
  Groth16 verifier on Arbitrum Stylus
  ☆19Updated 11 months ago
• mattsse / cairo-lang-rs
  ☆39Updated 2 years ago
• BattleZips / BattleZips-Noir
  Noir implementation of BattleZips circuits
  ☆27Updated last year
• Lilyjjo / tldr-research
  Suave/TEE PoCs of MEV Resistant AMMs
  ☆40Updated 5 months ago
• refcell / metamorphic
  Huff-based Smart Contracts for creating Metamorphic (or "redeployable") EVM Contracts.
  ☆46Updated last year
• nullity00 / maci-noir
  Writing MACI circuits in Noir
  ☆16Updated last year
• lightclient / protocol-ctf
  Introduction to core development via CTF challenges
  ☆39Updated 2 years ago
• personaelabs / merkle-tree
  ☆31Updated 8 months ago
• pluto / web-prover-circuits
  Circuits for Pluto's `web-prover`
  ☆12Updated this week
• shuklaayush / noir-bigint
  BigInt library for Aztec's noir language
  ☆31Updated 8 months ago
• 0xClandestine / RemcoMath
  RemcoMathLib is a Gas optimized FullMath implementation inspired by Remco Bloemen.
  ☆31Updated 2 years ago
• ControlCplusControlV / Scribe
  Minimal Yul Transpilation to the Miden VM
  ☆53Updated last year