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 last month
• Hexens / piller
  Static analysis framework for Polynomial Identity Language (PIL) used in zkEVM for defining state machines
  ☆11Updated 2 years ago
• privacy-scaling-explorations / security
  A collection of resources relevant to the PSE Security Team.
  ☆12Updated last year
• quantstamp / halo2-analyzer
  SMT 2023 Submission; license pending
  ☆53Updated 4 months ago
• privacy-scaling-explorations / rln
  ☆18Updated 2 years ago
• Zellic / weth
  Formal verification of WETH9.sol with Z3
  ☆57Updated 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
• Veridise / Coda
  ☆47Updated last year
• ipsilon / eof
  Validation code for the EOF specification
  ☆54Updated this week
• PufferFinance / rave
  Remote Attestation VErification
  ☆32Updated 8 months ago
• porco-rosso-j / awesome-zkecdsa
  A curated list of resources on zkECDSA
  ☆37Updated last year
• crytic / amarna-action
  Github action for the Amarna static analyzer
  ☆9Updated 2 years ago
• iczc / rwctf-6th-safebridge
  ☆10Updated last year
• chainlight-io / unwrap_let
  A Rust macro for quickly unwrapping a refutable pattern.
  ☆11Updated last year
• rkm0959 / Presentations
  Presentations by rkm0959
  ☆26Updated last year
• succinctlabs / telepathy-circuits
  zkSNARK circuits for the Telepathy protocol
  ☆53Updated last year
• qope / SIPP
  SIPP(Statistically sound Inner Pairing Product) verification in SNARK
  ☆17Updated last year
• hecmas / pairing-playground
  ☆11Updated last year
• Orbis-Tertius / MVlookups
  A note on multivariate lookup arguments
  ☆10Updated 2 years ago
• chyanju / Picus
  Automated verification of uniqueness property for ZKP circuits
  ☆41Updated 10 months ago
• chainlight-io / publications
  ☆87Updated last month
• JoranHonig / tree-sitter-cairo
  A tree-sitter-grammar for cairo 1.0
  ☆16Updated 2 years ago
• 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
• plotchy / jop-foundry
  ☆21Updated 3 years ago
• joswha / ethxmasctf2021
  X-MAS CTF 2021 Ethereum challenges
  ☆29Updated 3 years ago
• iFrostizz / rustry
  Based Ethereum framework for writing tests in Rust
  ☆12Updated last year
• JoranHonig / awesome-web3-ai-security
  ☆38Updated 10 months ago
• aviggiano / circom-mutator
  Mutation testing tool for circom
  ☆16Updated last year