zksecurity / zkbugs

Related projects ⓘ

Alternatives and complementary repositories for zkbugs

• Veridise / Picus
  Automated verification of uniqueness property for ZKP circuits
  ☆70Updated 8 months ago
• ingonyama-zk / zkctf-2023-writeups
  Write-ups submitted by CTF participants
  ☆35Updated last year
• nullity00 / zkzk
  Fast paced learning group for ZK enthusiasts focused on circuit development & Security
  ☆34Updated last year
• quantstamp / halo2-analyzer
  SMT 2023 Submission; license pending
  ☆52Updated this week
• ZK-University / ZKU
  Zero-Knowledge University
  ☆31Updated 3 months ago
• hecmas / zkNotebook
  My personal notebook for various zk-related topics
  ☆48Updated 7 months ago
• StefanosChaliasos / Awesome-ZKP-Security
  A curated list of awesome security resources for ZK.
  ☆72Updated last week
• ret2basic / MoonMath-Companion
  MoonMath Manual notes, exercise solution and extra comments.
  ☆25Updated 4 months ago
• Hexens / awesome-fhe-attacks
  A curated list of research, articles, tools, and resources focused on attacks against Fully Homomorphic Encryption (FHE)
  ☆60Updated last month
• Hexens / piller
  Static analysis framework for Polynomial Identity Language (PIL) used in zkEVM for defining state machines
  ☆11Updated last year
• chyanju / Picus
  Automated verification of uniqueness property for ZKP circuits
  ☆41Updated 5 months ago
• crytic / roundme
  ☆88Updated 5 months ago
• nullity00 / zk-blockchain-ideas
  A collection of all the project ideas involving zk, blockchains & what not
  ☆24Updated last year
• lambdaclass / circom_export_to_cairo
  Export Circom verifier to Cairo
  ☆49Updated 2 years ago
• chainlight-io / zksync-era-write-query-poc
  PoC Exploit of a soundness bug exploit in the zkSync Era ZK-circuits
  ☆34Updated last year
• spalladino / zkp-tests
  Playing with zero-knowledge proof languages
  ☆104Updated last year
• Maddiaa0 / honk-verifier
  Honk Verifier in Solidity
  ☆49Updated last month
• erhant / moonmath
  Solutions to exercises from MoonMath Manual to zkSNARKs.
  ☆66Updated last month
• lambdaclass / lambdaworks_exercises
  Contains several examples and challenges to use Lambdaworks
  ☆15Updated last year
• tarassh / zkSNARK-under-the-hood
  Implementation of zero knowledge proof protocol - Groth16, Plonk. For education purposes. Not a production ready code.
  ☆69Updated 10 months ago
• RareSkills / noir-puzzles
  ☆50Updated last year
• arnaucube / awesome-circom
  A curated list of repos related to Circom
  ☆94Updated last year
• NethermindEth / PublicAuditReports
  Public reports of audits performed by Nethermind Security
  ☆38Updated this week
• erhant / zkbrainfuck
  A Brainfuck zkVM with Circom.
  ☆59Updated last year
• developeruche / cryptography-n-zk-research
  A Cryptography and Zero Knowledge Proof Research Repo Implementing Research papers, Cryptographic primitives, trying out imaginary exploi…
  ☆27Updated 2 weeks ago
• ret2basic / Groth16
  Groth16 implementation in Python. Final project of RareSkills ZK bootcamp cohort 8.
  ☆12Updated 5 months ago
• chainlight-io / publications
  ☆83Updated 4 months ago
• Veridise / Medjai
  A Symbolic Execution Tool for Cairo
  ☆49Updated 2 years ago
• 0xsomnus / curta-archive
  Helper functions enabling players to solve past curta puzzles on their own time.
  ☆32Updated last year
• zigtur / Rareskills-ZK-book
  My work for Rareskills ZK Book.
  ☆32Updated 9 months ago