Exploit for a soundness bug exploit in the zkSync Era ZK-circuits
☆39Feb 23, 2025Updated last year
Alternatives and similar repositories for zksync-era-write-query-poc
Users that are interested in zksync-era-write-query-poc are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- SIPP(Statistically sound Inner Pairing Product) verification in SNARK☆17Oct 8, 2023Updated 2 years ago
- Some of Our Audit Reports, Presentations, etc☆13Mar 26, 2024Updated 2 years ago
- Tstore huff template☆17Oct 6, 2023Updated 2 years ago
- Tool to reconstruct zkSync state from commit blocks published on L1☆16Aug 22, 2024Updated 2 years ago
- A Rust macro for quickly unwrapping a refutable pattern.☆12Nov 10, 2023Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Critical vulnerabilities. Using zero to attack zero-knowledge proof (ZKP) PLONK C++ and ECDSA, $15000 award☆71Mar 5, 2023Updated 3 years ago
- prove eth_call result☆15Mar 25, 2024Updated 2 years ago
- Collection of security reviews of ZK Protocols☆241Dec 1, 2024Updated last year
- ☆69Mar 1, 2024Updated 2 years ago
- Helper functions enabling players to solve past curta puzzles on their own time.☆32Jul 29, 2023Updated 3 years ago
- 👓☆15Jan 20, 2023Updated 3 years ago
- ☆19Jan 20, 2023Updated 3 years ago
- SMT 2023 Submission; license pending☆60Jan 28, 2026Updated 8 months ago
- ☆10Jul 27, 2023Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Better assertion macros for pure Huff tests.☆19Oct 2, 2023Updated 2 years ago
- ☆64Jun 20, 2026Updated 3 months ago
- The Noir library for the Fraction data type, maintained by Resurgence Labs.☆11Jul 30, 2024Updated 2 years ago
- Proof of Concept for the "Zero Knowledge State Channel", a novel construction for increasing scalability while also enforcing privacy pre…☆13Apr 2, 2023Updated 3 years ago
- An implementation of Sangria☆17Jun 1, 2023Updated 3 years ago
- ☆18Dec 5, 2023Updated 2 years ago
- Benchmarking Polynomial Commitments☆51Jul 3, 2023Updated 3 years ago
- ☆52Apr 18, 2023Updated 3 years ago
- zkSNARK circuits for the Telepathy protocol☆53Aug 28, 2023Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- This repo contains the zkasm source code of the zkEVM☆139May 20, 2025Updated last year
- PoC of KyberSwap double liquidity add exploit☆45Aug 30, 2023Updated 3 years ago
- ☆13Apr 9, 2025Updated last year
- Slides and notes for "Halo Optimizations and Constructing Graphs of Elliptic Curves"☆49Mar 5, 2022Updated 4 years ago
- ☆16Jan 5, 2023Updated 3 years ago
- ☆13Jun 20, 2026Updated 3 months ago
- Example of the whitehack for Curve exploit 30/07/23☆19Aug 3, 2023Updated 3 years ago
- An implementation of ZKBoo☆33May 10, 2022Updated 4 years ago
- Plonky2 gadgets for EcGFp5 curve and base field arithmetic☆20Feb 19, 2023Updated 3 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- ☆12Dec 14, 2022Updated 3 years ago
- ECDSA gadgets for plonky2☆19Oct 20, 2023Updated 2 years ago
- Implementation of https://eprint.iacr.org/2022/1565.pdf on top of arkworks☆16Jan 1, 2023Updated 3 years ago
- ☆13Apr 3, 2026Updated 5 months ago
- ☆28Dec 8, 2021Updated 4 years ago
- ECFFT in Rust☆58Oct 3, 2023Updated 2 years ago
- Fast paced learning group for ZK enthusiasts focused on circuit development & Security☆35Sep 14, 2023Updated 3 years ago