Step by step implementation of FRI
☆13Feb 9, 2025Updated last year
Alternatives and similar repositories for fri-rust
Users that are interested in fri-rust are comparing it to the libraries listed below
Sorting:
- Benchmark of ZKVMs and Proving Schemes☆32Dec 12, 2025Updated 2 months ago
- ☆23Mar 8, 2024Updated last year
- The entry point for Rust projects to be run on Valida☆10Mar 14, 2025Updated 11 months ago
- ☆31Oct 27, 2025Updated 4 months ago
- Generic implementation of the Number Theoretic Transform in the context of cryptography applications☆14Aug 13, 2025Updated 6 months ago
- cpp witness calculator for mobile and desktop for iden3 circuits☆17Aug 22, 2025Updated 6 months ago
- ☆12Oct 4, 2023Updated 2 years ago
- fork of https://github.com/arnaucube/poseidon-rs ported to ark_ff☆13Nov 15, 2023Updated 2 years ago
- A pqSNARK with lightweight proofs, powered by the Whir PCS.☆45Sep 11, 2025Updated 5 months ago
- ☆15May 27, 2025Updated 9 months ago
- Foundry project for the RLN☆17Nov 10, 2023Updated 2 years ago
- Frobenius sumcheck for vectorized boolean ops☆56Apr 12, 2025Updated 10 months ago
- Starky implementation of Bls12-381☆13May 16, 2024Updated last year
- ☆42Jul 25, 2024Updated last year
- Herodotus Data Processor using SP1 as backend☆17Jan 27, 2026Updated last month
- Uses magic (zk) to distribute gifts (rewards) to kids (validators)☆13May 9, 2025Updated 9 months ago
- ☆18Dec 3, 2024Updated last year
- Verifying Cairo Programs in SP1☆14Oct 16, 2024Updated last year
- ☆33Sep 9, 2023Updated 2 years ago
- Comparing gas measurements from Forge, Hardhat, Tevm and forge-gas-metering against testnet transactions.☆16Feb 28, 2024Updated 2 years ago
- To bring zero knowledge privacy primitives to all web3 developers.☆13Oct 20, 2023Updated 2 years ago
- ☆18Jul 16, 2025Updated 7 months ago
- Shared peer-to-peer network of zero-knowledge provers☆16Dec 5, 2024Updated last year
- A collection of the Vietnam Spring ZK Residency effort of the ZKWasm team☆36Apr 6, 2023Updated 2 years ago
- An API compatible port of the Stone prover.☆19Nov 4, 2024Updated last year
- ☆21Feb 19, 2026Updated last week
- ☆20Nov 3, 2025Updated 3 months ago
- https://eprint.iacr.org/2020/1516.pdf☆19Jan 2, 2023Updated 3 years ago
- ECDSA gadgets for plonky2☆19Oct 20, 2023Updated 2 years ago
- An example of how to build an end-to-end dApp with plonky2x☆22Aug 30, 2023Updated 2 years ago
- Proof of concept implementation of sumcheck over fields of small characteristics.☆19May 16, 2025Updated 9 months ago
- Mozak RISC-V Virtual Machine☆25Mar 24, 2025Updated 11 months ago
- A library of gadgets compatible with bellpepper and bellperson (contact: @huitseeker)☆18Mar 3, 2025Updated 11 months ago
- ☆24Jan 10, 2024Updated 2 years ago
- Solidity transient storage that's mutable from within a `STATICCALL`☆24May 6, 2025Updated 9 months ago
- A fully onchain space-based factory-building game, built with MUD & Phaser.☆27Feb 6, 2025Updated last year
- ☆337Feb 2, 2026Updated last month
- bn254 pairing library for Cairo Zero☆26Dec 15, 2022Updated 3 years ago
- MNIST image classification neural network implemented entirely on the EVM☆29Mar 8, 2025Updated 11 months ago