Alternatives and similar repositories for Publications:

Users that are interested in Publications are comparing it to the libraries listed below

• chainlight-io / zksync-era-write-query-poc
  PoC Exploit of a soundness bug exploit in the zkSync Era ZK-circuits
  ☆36Updated 2 months ago
• chyanju / Picus
  Automated verification of uniqueness property for ZKP circuits
  ☆41Updated 11 months ago
• Veridise / Medjai
  A Symbolic Execution Tool for Cairo
  ☆51Updated 2 years ago
• quantstamp / halo2-analyzer
  SMT 2023 Submission; license pending
  ☆54Updated 5 months ago
• chyanju / __archived__Medjai
  A Symbolic Execution Tool for Cairo
  ☆16Updated 2 years ago
• privacy-scaling-explorations / security
  A collection of resources relevant to the PSE Security Team.
  ☆12Updated 2 years ago
• privacy-scaling-explorations / rln
  ☆18Updated 2 years ago
• Hexens / piller
  Static analysis framework for Polynomial Identity Language (PIL) used in zkEVM for defining state machines
  ☆11Updated 2 years ago
• ipsilon / eof
  Validation code for the EOF specification
  ☆54Updated last week
• hecmas / pairing-playground
  ☆11Updated last year
• JoranHonig / awesome-web3-ai-security
  ☆38Updated 11 months ago
• Veridise / Picus
  Automated verification of uniqueness property for ZKP circuits
  ☆76Updated last year
• succinctlabs / telepathy-circuits
  zkSNARK circuits for the Telepathy protocol
  ☆53Updated last year
• crytic / amarna-action
  Github action for the Amarna static analyzer
  ☆9Updated 2 years ago
• fuzzland / writeup
  CTF Writeups
  ☆37Updated last year
• cryptosubtlety / 00
  Critical vulnerabilities. Using zero to attack zero-knowledge proof (ZKP) PLONK C++ and ECDSA, $15000 award
  ☆66Updated 2 years ago
• BattleZips / BattleZips-Plonky2
  Proof of Concept for the "Zero Knowledge State Channel", a novel construction for increasing scalability while also enforcing privacy pre…
  ☆13Updated 2 years ago
• corddry / zk-nintendo
  ☆11Updated last year
• Zellic / weth
  Formal verification of WETH9.sol with Z3
  ☆57Updated 2 years ago
• ultrasoundmoney / mev-analysis
  Supporting code for relay.ultrasound.money
  ☆25Updated 2 weeks ago
• porco-rosso-j / awesome-zkecdsa
  A curated list of resources on zkECDSA
  ☆37Updated last year
• qope / SIPP
  SIPP(Statistically sound Inner Pairing Product) verification in SNARK
  ☆17Updated last year
• Jeiwan / uniswapv3-unrefunded-eth-poc
  ☆40Updated 2 years ago
• 0xsomnus / curta-archive
  Helper functions enabling players to solve past curta puzzles on their own time.
  ☆32Updated last year
• maxgillett / halo2-fri-gadget
  A FRI verifier circuit for the Halo2 proof system
  ☆76Updated 2 years ago
• chainlight-io / publications
  ☆87Updated last month
• arielgabizon / Lectures
  ☆28Updated 7 months ago
• franz101 / mev-olympics
  MEV Olympics
  ☆45Updated 5 months ago
• iFrostizz / rustry
  Based Ethereum framework for writing tests in Rust
  ☆12Updated last year
• Philogy / sussy-huff-ctf
  ☆29Updated 2 years ago