0x3327 / SKProof

Related projects: ⓘ

• succinctlabs / rsp
  A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.
  ☆40Updated last week
• han0110 / halo2-kzg-srs
  ☆32Updated 8 months ago
• axiom-crypto / axiom-v1-contracts
  Axiom smart contracts
  ☆27Updated last year
• sambarnes / noir-by-example
  an introduction to noir, with simple examples
  ☆43Updated 8 months ago
• flashbots / suave-andromeda-revm
  Andromeda revm execution service
  ☆29Updated last month
• recmo / evm-groth16
  Groth16 verifier in EVM
  ☆20Updated last year
• makcandrov / meplang
  An EVM low-level language that gives full control over the control flow of the smart contract.
  ☆24Updated 2 months ago
• porco-rosso-j / zk-ecdsAA
  ERC4337-based social recovery wallet with Noir zk-ecdsa
  ☆21Updated last year
• recmo / binius
  ☆19Updated this week
• rkdud007 / sp1-storage-proof
  storage proof made by sp1
  ☆23Updated 7 months ago
• oana-barbu / mev-bootee
  Partial Block Building with TEEs
  ☆17Updated 5 months ago
• 0xfuturistic / prime-field-arithmetic
  🍭 A Solidity library for prime field arithmetic
  ☆16Updated 7 months ago
• paradigmxyz / foundry-alphanet
  Foundry tools for interfacing with Reth Alphanet's bleeding-edge EVM extensions.
  ☆32Updated 4 months ago
• succinctlabs / plonky2x-example
  An example of how to build an end-to-end dApp with plonky2x
  ☆22Updated last year
• axiom-crypto / axiom-apps
  ☆33Updated last year
• Lev-Stambler / bulletproof-cairo
  ☆39Updated last year
• AztecProtocol / aztec-verifier-contracts
  ☆28Updated last year
• personaelabs / merkle-tree
  ☆31Updated 6 months ago
• axiom-crypto / uniswap-v3-oracles
  Trustless oracle of historical Uniswap v3 TWAP using ZK
  ☆38Updated last year
• malik672 / open-stylus
  openzepplin smart contracts written in rust for arbritum stylus
  ☆11Updated 5 months ago
• protolambda / op-mordor
  Highly experimental fault-proof program for Optimism Bedrock
  ☆20Updated last year
• Maddiaa0 / noir-storage-proofs-demo
  Code used in a recent presentation showing off noir storage proofs
  ☆13Updated last year
• 0xfuturistic / emily
  🔒💬 A protocol for credible commitments.
  ☆73Updated 7 months ago
• vacp2p / stealth-address-kit
  Implements ERC-5564 for multiple elliptic curves using arkworks-rs
  ☆32Updated last week
• Consensys / plonk-solidity-audit
  Plonk verifier in solidity (using Commit api)
  ☆20Updated 2 months ago
• agolajko / pooledwithdrawal
  ☆21Updated this week
• Zauktion / zauktion-core
  repository for core circom and smart contract
  ☆12Updated last year
• dmpierre / sonobe-btc
  Using folding schemes for a provable bitcoin light client
  ☆28Updated 3 months ago
• JernKunpittaya / zk-github
  Proof contribute to github using zk
  ☆21Updated last year
• jtriley-eth / unbug
  Solidity calldata, memory, transient storage, and storage debugger
  ☆20Updated last year