Alternatives and similar repositories for plonk-solidity-audit

Users that are interested in plonk-solidity-audit are comparing it to the libraries listed below

• vacp2p / stealth-address-kit
  Implements ERC-5564 for multiple elliptic curves using arkworks-rs
  ☆36Updated this week
• axiom-crypto / axiom-v1-contracts
  Axiom smart contracts
  ☆26Updated 2 years ago
• Lev-Stambler / bulletproof-cairo
  ☆40Updated 2 years ago
• pcaversaccio / p256-verifier-vyper
  P256 (a.k.a. secp256r1 elliptic curve) signature verification 🐍Vyper contract.
  ☆19Updated this week
• erhant / huffd1
  An NFT with Huff, using polynomials over a finite field with order largest prime address, instead of mappings.
  ☆16Updated last year
• Maddiaa0 / noir-storage-proofs-demo
  Code used in a recent presentation showing off noir storage proofs
  ☆15Updated 2 years ago
• devtooligan / Huffpoint
  Create breakpoints for use with Foundry debugger -- https://book.getfoundry.sh/cheatcodes/breakpoint
  ☆34Updated last year
• porco-rosso-j / zk-ecdsAA
  ERC4337-based social recovery wallet with Noir zk-ecdsa
  ☆21Updated 2 years ago
• AmadiMichael / OptimizedMiMCSponge
  ☆12Updated 2 years ago
• nalinbhardwaj / isokratia
  Infinitely Compressible Governance using Recursive SNARKs
  ☆31Updated 2 years ago
• AztecProtocol / aztec-verifier-contracts
  ☆27Updated 2 years ago
• rymnc / poseidon-huff
  ☆18Updated 2 years ago
• proof-of-exploit / cli
  Prove knowledge of smart contract bugs using zkEVM
  ☆43Updated last year
• clabby / sparse-arr-lib
  A library to assist with handling sparse arrays in storage.
  ☆27Updated 2 years ago
• recmo / evm-groth16
  Groth16 verifier in EVM
  ☆21Updated 2 years ago
• merklefruit / evm-from-scratch
  Implementing the Ethereum Virtual Machine from scratch & documenting the process
  ☆24Updated 2 years ago
• sambarnes / noir-by-example
  an introduction to noir, with simple examples
  ☆44Updated last year
• nikkolasg / halo2-circuits
  ☆28Updated 3 years ago
• horsefacts / huff-test
  Better assertion macros for pure Huff tests.
  ☆19Updated last year
• maxgillett / stark-attestations
  Share private EVM state attestations using STARK proofs
  ☆73Updated 3 years ago
• zemse / sunflower
  🌻 use L1 multisig owners to sign on L2 multisigs using zk proofs
  ☆31Updated 2 years ago
• jtriley2p / unbug
  Solidity calldata, memory, transient storage, and storage debugger
  ☆20Updated 2 years ago
• personaelabs / merkle-tree
  ☆30Updated last year
• 0xfuturistic / sequencer-commitments
  🔴 💬 A hack for the OP Stack enabling sequencer commitments.
  ☆28Updated last year
• jtriley2p / libhuff
  optimized huff snippets
  ☆20Updated 2 years ago
• zhenfeizhang / pasta-solidity
  A Solidity implementation of Halo2's Pasta curves
  ☆49Updated 2 years ago
• hrkrshnn / solmate-math-fuzz
  ☆35Updated 3 years ago
• rkdud007 / sp1-storage-proof
  storage proof made by sp1
  ☆25Updated last year
• devtooligan / curta-elohim
  A puzzle for Curta CTF
  ☆26Updated 2 years ago
• devtooligan / bit-magic-huff-speedrun
  Speedrun this in Huff https://saxenism.com/web3/solidity/language-tricks/bit-magic/intermediate/2022/09/06/Bit-Magic-Solidity.html
  ☆21Updated 2 years ago