Alternatives and similar repositories for Publications:

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

• privacy-scaling-explorations / security
  A collection of resources relevant to the PSE Security Team.
  ☆12Updated last year
• Hexens / piller
  Static analysis framework for Polynomial Identity Language (PIL) used in zkEVM for defining state machines
  ☆11Updated last year
• privacy-scaling-explorations / rln
  ☆18Updated last year
• quantstamp / halo2-analyzer
  SMT 2023 Submission; license pending
  ☆53Updated 2 months ago
• chainlight-io / zksync-era-write-query-poc
  PoC Exploit of a soundness bug exploit in the zkSync Era ZK-circuits
  ☆34Updated last year
• chyanju / __archived__Medjai
  A Symbolic Execution Tool for Cairo
  ☆15Updated 2 years ago
• proof-of-exploit / cli
  Prove knowledge of smart contract bugs using zkEVM
  ☆43Updated 3 months ago
• Zellic / weth
  Formal verification of WETH9.sol with Z3
  ☆55Updated 2 years ago
• joswha / ethxmasctf2021
  X-MAS CTF 2021 Ethereum challenges
  ☆28Updated 3 years ago
• JoranHonig / tree-sitter-cairo
  A tree-sitter-grammar for cairo 1.0
  ☆16Updated 2 years ago
• ipsilon / eof
  Validation code for the EOF specification
  ☆47Updated last month
• Veridise / Medjai
  A Symbolic Execution Tool for Cairo
  ☆49Updated 2 years ago
• iFrostizz / rustry
  Based Ethereum framework for writing tests in Rust
  ☆12Updated last year
• DoHoonKim8 / stark-verifier
  ☆48Updated 10 months ago
• geometryxyz / zkhack-groth-puzzle
  https://geometryresearch.xyz/notebook/zkhack-groth-challenge
  ☆49Updated 2 years ago
• minaminao / op-club-sqrt
  Solution for the Optimizoor club's sqrt challenge
  ☆18Updated 2 years ago
• ZK-Hack / puzzle-zero-sum-game
  ☆36Updated 2 years ago
• tokamak-network / zvm
  Zero Knowledge based Ethereum Virtual Machine in Circom language
  ☆17Updated 4 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 last year
• HerodotusDev / L2-indexer
  Indexer for Ethereum Layer 2s (OP Stack rollups, Arbitrum, etc...)
  ☆34Updated 2 months ago
• chyanju / Picus
  Automated verification of uniqueness property for ZKP circuits
  ☆41Updated 7 months ago
• 0xPolygonZero / plonky2-ecdsa
  ECDSA gadgets for plonky2
  ☆17Updated last year
• maxgillett / stark-attestations
  Share private EVM state attestations using STARK proofs
  ☆72Updated 2 years ago
• protolambda / op-mordor
  Highly experimental fault-proof program for Optimism Bedrock
  ☆20Updated last year
• qope / SIPP
  SIPP(Statistically sound Inner Pairing Product) verification in SNARK
  ☆17Updated last year
• hecmas / pairing-playground
  ☆11Updated last year
• Zauktion / zauktion-core
  repository for core circom and smart contract
  ☆12Updated last year
• Orbis-Tertius / MVlookups
  A note on multivariate lookup arguments
  ☆10Updated 2 years ago