chainlight-io / zksync-era-write-query-pocView external linksLinks
PoC Exploit of a soundness bug exploit in the zkSync Era ZK-circuits
☆39Feb 23, 2025Updated 11 months ago
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
Sorting:
- Some of Our Audit Reports, Presentations, etc☆13Mar 26, 2024Updated last year
- SIPP(Statistically sound Inner Pairing Product) verification in SNARK☆17Oct 8, 2023Updated 2 years ago
- Tstore huff template☆17Oct 6, 2023Updated 2 years ago
- A Rust macro for quickly unwrapping a refutable pattern.☆12Nov 10, 2023Updated 2 years ago
- ☆16Jan 5, 2023Updated 3 years ago
- Critical vulnerabilities. Using zero to attack zero-knowledge proof (ZKP) PLONK C++ and ECDSA, $15000 award☆70Mar 5, 2023Updated 2 years ago
- Helper functions enabling players to solve past curta puzzles on their own time.☆32Jul 29, 2023Updated 2 years ago
- 👓☆15Jan 20, 2023Updated 3 years ago
- prove eth_call result☆15Mar 25, 2024Updated last year
- The Noir library for the Fraction data type, maintained by Resurgence Labs.☆11Jul 30, 2024Updated last year
- SMT 2023 Submission; license pending☆57Jan 28, 2026Updated 2 weeks ago
- Proof of Concept for the "Zero Knowledge State Channel", a novel construction for increasing scalability while also enforcing privacy pre…☆13Apr 2, 2023Updated 2 years ago
- This repo contains the zkasm source code of the zkEVM☆138May 20, 2025Updated 8 months ago
- ☆70Mar 1, 2024Updated last year
- An implementation of Sangria☆17Jun 1, 2023Updated 2 years ago
- ☆18Dec 5, 2023Updated 2 years ago
- ☆19Jan 20, 2023Updated 3 years ago
- Better assertion macros for pure Huff tests.☆19Oct 2, 2023Updated 2 years ago
- Slides and notes for "Halo Optimizations and Constructing Graphs of Elliptic Curves"☆49Mar 5, 2022Updated 3 years ago
- Benchmarking Polynomial Commitments☆51Jul 3, 2023Updated 2 years ago
- ☆50Apr 18, 2023Updated 2 years ago
- ECFFT in Rust☆58Oct 3, 2023Updated 2 years ago
- Example of the whitehack for Curve exploit 30/07/23☆19Aug 3, 2023Updated 2 years ago
- Tool to reconstruct zkSync state from commit blocks published on L1☆16Aug 22, 2024Updated last year
- Implementation of https://eprint.iacr.org/2022/1565.pdf on top of arkworks☆16Jan 1, 2023Updated 3 years ago
- Include halo2 example circuits☆92Oct 16, 2023Updated 2 years ago
- zkSNARK circuits for the Telepathy protocol☆53Aug 28, 2023Updated 2 years ago
- An implementation of ZKBoo☆33May 10, 2022Updated 3 years ago
- Collection of security reviews of ZK Protocols☆239Dec 1, 2024Updated last year
- Plonky2 gadgets for EcGFp5 curve and base field arithmetic☆20Feb 19, 2023Updated 2 years ago
- ☆28Dec 8, 2021Updated 4 years ago
- Halo2 Merkle tree circuits☆33May 28, 2021Updated 4 years ago
- ECDSA gadgets for plonky2☆19Oct 20, 2023Updated 2 years ago
- ☆10Jun 29, 2022Updated 3 years ago
- ☆65Aug 16, 2024Updated last year
- 2nd place at Huffathon 2023. Optimized token mixer for Ethereum utilizing zkSNARKs. 500% cheaper than Tornado cash☆83Oct 6, 2023Updated 2 years ago
- RLN on KZG☆21Sep 20, 2023Updated 2 years ago
- Puzzles using ZKP☆18Mar 7, 2023Updated 2 years ago
- Foundation for speedy Machine Learning operations in Halo2 Prover☆20Oct 3, 2024Updated last year