kobigurk / zkhack-double-troubleView external linksLinks
☆10Jan 7, 2024Updated 2 years ago
Alternatives and similar repositories for zkhack-double-trouble
Users that are interested in zkhack-double-trouble are comparing it to the libraries listed below
Sorting:
- ☆11Feb 6, 2024Updated 2 years ago
- ☆12Nov 23, 2020Updated 5 years ago
- Zero-related bugs in 4 BLS libs & standard draft,"splitting zero" attacks, $35000 award☆17Aug 20, 2021Updated 4 years ago
- ☆13Jun 21, 2019Updated 6 years ago
- Nim (the language) bindings for ffmpeg☆10Nov 2, 2017Updated 8 years ago
- Bitcoin. Rust.☆10Feb 4, 2021Updated 5 years ago
- A repository for the Leela VS the World project for On-Chain machine learning☆20Sep 26, 2024Updated last year
- Autograd (backpropagation, reverse-mode auto differentiation) in Nim☆12Oct 25, 2017Updated 8 years ago
- ☆27Jan 12, 2022Updated 4 years ago
- A rusty implementation of the Caulk+ lookup algorithm.☆12Dec 18, 2022Updated 3 years ago
- Generator and supporting evidence for security of the Pluto/Eris half-pairing cycle of elliptic curves☆31Apr 18, 2021Updated 4 years ago
- Version 2 of ZKaggle, 🏆 Finalist of ETHGlobal FVM Space Warp Hack☆16Jul 12, 2023Updated 2 years ago
- An extension for VS Code which provides support for the Nim language. Originally mirrored from pragmagic/vscode-nim☆12Jan 7, 2023Updated 3 years ago
- elliptic curve construction tool☆17Feb 24, 2023Updated 2 years ago
- Wycheproof for Rust☆20Sep 3, 2025Updated 5 months ago
- Implementations of proof-carrying data☆37Jun 5, 2022Updated 3 years ago
- Automated verification of uniqueness property for ZKP circuits☆45Jun 6, 2024Updated last year
- A STARK-friendly elliptic curve defined over a sextic extension of a small prime field.☆39Dec 5, 2023Updated 2 years ago
- Argument systems for inner pairing products☆44Jul 31, 2024Updated last year
- ☆21Jun 28, 2022Updated 3 years ago
- ☆19Dec 19, 2023Updated 2 years ago
- Implementation of incrementally verifiable ledger system☆18Mar 24, 2021Updated 4 years ago
- A library for decentralized private computation☆19Jul 21, 2021Updated 4 years ago
- ☆20Sep 30, 2022Updated 3 years ago
- ☆22Dec 19, 2024Updated last year
- Rust library for accumulation schemes☆25Jan 24, 2023Updated 3 years ago
- High-performance Multi-scalar Multiplication for Pasta curves☆24Sep 6, 2025Updated 5 months ago
- C++ library for Fast Fourier Transforms in finite fields☆100May 14, 2021Updated 4 years ago
- Elliptic Curve Fast Fourier Transform built on @arkworks-rs☆67Jun 18, 2023Updated 2 years ago
- RISCU emulator and zk circuit simulator as a reference for a Jolt implementation☆23Dec 11, 2023Updated 2 years ago
- Draft documents for standardization of Plonkish arithmetization☆23Mar 15, 2024Updated last year
- Very fast cryptographic hashing for large messages.☆69Mar 11, 2025Updated 11 months ago
- Describe elliptic curves☆35May 10, 2021Updated 4 years ago
- ☆33Sep 22, 2023Updated 2 years ago
- ☆33Mar 27, 2024Updated last year
- Implementation of various primitives for bellman using CUDA (WIP)☆28Jul 20, 2019Updated 6 years ago
- [RFC9380] Hash to curves - Rust reference implementation☆28Mar 10, 2024Updated last year
- a sketch of what a zkvm could look like☆26Apr 19, 2021Updated 4 years ago
- Simple finite state machine for @nim-lang☆24Apr 24, 2022Updated 3 years ago