Consensys / plonk-solidity-audit

Related projects ⓘ

Alternatives and complementary repositories for plonk-solidity-audit

• pcaversaccio / p256-verifier-vyper
  P256 (a.k.a. secp256r1 elliptic curve) signature verification 🐍Vyper contract.
  ☆19Updated this week
• Maddiaa0 / noir-storage-proofs-demo
  Code used in a recent presentation showing off noir storage proofs
  ☆13Updated last year
• axiom-crypto / axiom-v1-contracts
  Axiom smart contracts
  ☆27Updated last year
• recmo / evm-groth16
  Groth16 verifier in EVM
  ☆20Updated last year
• porco-rosso-j / zk-ecdsAA
  ERC4337-based social recovery wallet with Noir zk-ecdsa
  ☆21Updated last year
• AztecProtocol / aztec-verifier-contracts
  ☆28Updated last year
• makcandrov / meplang
  An EVM low-level language that gives full control over the control flow of the smart contract.
  ☆24Updated 4 months ago
• horsefacts / huff-test
  Better assertion macros for pure Huff tests.
  ☆19Updated last year
• devtooligan / Huffpoint
  Create breakpoints for use with Foundry debugger -- https://book.getfoundry.sh/cheatcodes/breakpoint
  ☆34Updated last year
• AmadiMichael / tstore-huff-template
  Tstore huff template
  ☆17Updated last year
• erhant / huffd1
  An NFT with Huff, using polynomials over a finite field with order largest prime address, instead of mappings.
  ☆15Updated last month
• Lev-Stambler / bulletproof-cairo
  ☆39Updated 2 years ago
• privacy-scaling-explorations / DefinitelySetup
  The repository for high quality Trusted setups for groth16 based SNARKS
  ☆21Updated 2 months ago
• 0xfuturistic / prime-field-arithmetic
  🍭 A Solidity library for prime field arithmetic
  ☆16Updated 9 months ago
• oana-barbu / mev-bootee
  Partial Block Building with TEEs
  ☆17Updated 7 months ago
• refcell / protec
  An Isolated Safe Environment to Execute Foundry Projects.
  ☆44Updated 2 years ago
• lyronctk / kzg-blob
  Prove multi-opens of EIP-4844 KZG blobs
  ☆14Updated last year
• leonardoalt / evm
  Simple EVM implementation in [no_std] Rust to be used in Powdr.
  ☆17Updated last year
• protolambda / op-mordor
  Highly experimental fault-proof program for Optimism Bedrock
  ☆20Updated last year
• vacp2p / stealth-address-kit
  Implements ERC-5564 for multiple elliptic curves using arkworks-rs
  ☆33Updated this week
• devtooligan / curta-elohim
  A puzzle for Curta CTF
  ☆26Updated last year
• nikkolasg / halo2-circuits
  ☆28Updated 2 years ago
• 0xvv / BatchDepositHuff
  Efficient beacon chain batch deposit contract written in huff
  ☆23Updated last year
• odradev / evm-at-risc0
  ☆17Updated last year
• jtriley-eth / unbug
  Solidity calldata, memory, transient storage, and storage debugger
  ☆20Updated last year
• hrkrshnn / solmate-math-fuzz
  ☆34Updated 2 years ago
• dan-aztec / aztec-lwe-auction
  ☆10Updated 11 months ago
• jtriley-eth / libhuff
  optimized huff snippets
  ☆20Updated last year
• emo-eth / forge-gas-metering
  utilities for more granular and realistic gas measuring in forge tests
  ☆29Updated 9 months ago