BrianSeong99 / plonky3_fibonacciView external linksLinks
This repo introduces Plonky3 and showcases a simple implementation of fibonacci constraints and execution trace.
☆42Jun 29, 2025Updated 7 months ago
Alternatives and similar repositories for plonky3_fibonacci
Users that are interested in plonky3_fibonacci are comparing it to the libraries listed below
Sorting:
- This repo introduces concepts on constraint degree and optimization technics, as well as example implementations of Range Checks using Pl…☆27Apr 4, 2025Updated 10 months ago
- ☆11Sep 10, 2024Updated last year
- Verifying Cairo Programs in SP1☆14Oct 16, 2024Updated last year
- An arkworks implementation of the superspartan PIOP☆13Sep 10, 2024Updated last year
- In this repo we will construct a POC implementation of the MLE sumcheck end-end in a GPU☆40Feb 17, 2025Updated 11 months ago
- Proof of concept implementation of sumcheck over fields of small characteristics.☆19May 16, 2025Updated 9 months ago
- 🪩 verify plonky3 proofs in plonky2☆19Mar 28, 2024Updated last year
- STARK book☆20Sep 25, 2024Updated last year
- zkLean is a domain specific language (DSL) in Lean for specifying zero-knowledge statements☆19Feb 6, 2026Updated last week
- Binius circuits web demos☆14Dec 15, 2024Updated last year
- ☆23Mar 8, 2024Updated last year