eerkaijun/fri-rust external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

eerkaijun/fri-rust

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/eerkaijun/fri-rust)

Close

eerkaijun / fri-rustView on GitHubMore

• External links
• Readme badge

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

• babybear-labs / benchmark

  View on GitHub
  Benchmark of ZKVMs and Proving Schemes
  ☆33Mar 16, 2026Updated last week
• ZKNoxHQ / NTT

  View on GitHub
  Generic implementation of the Number Theoretic Transform in the context of cryptography applications
  ☆14Aug 13, 2025Updated 7 months ago
• lita-xyz / valida-rs

  View on GitHub
  The entry point for Rust projects to be run on Valida
  ☆10Mar 14, 2025Updated last year
• arnaucube / poseidon-ark

  View on GitHub
  fork of https://github.com/arnaucube/poseidon-rs ported to ark_ff
  ☆13Nov 15, 2023Updated 2 years ago
• Lagrange-Labs / reckle-trees

  View on GitHub
  ☆33Mar 27, 2024Updated last year
• TomWambsgans / Whirlaway

  View on GitHub
  A pqSNARK with lightweight proofs, powered by the Whir PCS.
  ☆45Sep 11, 2025Updated 6 months ago
• petscheit / bankai

  View on GitHub
  ☆15May 27, 2025Updated 9 months ago
• danilowhk / swiftness-sp1

  View on GitHub
  Verifying Cairo Programs in SP1
  ☆14Oct 16, 2024Updated last year
• geometryxyz / fk

  View on GitHub
  https://eprint.iacr.org/2020/1516.pdf
  ☆19Jan 2, 2023Updated 3 years ago
• crate-crypto / rust-eth-kzg

  View on GitHub
  ☆31Oct 27, 2025Updated 4 months ago
• lurk-lab / circom-scotia

  View on GitHub
  ☆23Mar 8, 2024Updated 2 years ago
• morgana-proofs / hashcaster

  View on GitHub
  Frobenius sumcheck for vectorized boolean ops
  ☆56Apr 12, 2025Updated 11 months ago
• lita-xyz / rust-examples

  View on GitHub
  ☆18Dec 3, 2024Updated last year
• Rate-Limiting-Nullifier / rln-contract

  View on GitHub
  Foundry project for the RLN
  ☆17Nov 10, 2023Updated 2 years ago
• zksecurity / pumice

  View on GitHub
  An API compatible port of the Stone prover.
  ☆19Nov 4, 2024Updated last year
• iosis-tech / zetina

  View on GitHub
  Shared peer-to-peer network of zero-knowledge provers
  ☆16Dec 5, 2024Updated last year
• NP-Eng / gkr_tutorial

  View on GitHub
  ☆12Oct 4, 2023Updated 2 years ago
• privacy-ethereum / poseidon

  View on GitHub
  ☆42Jul 25, 2024Updated last year
• chainwayxyz / risc0-to-bitvm2

  View on GitHub
  ☆20Nov 3, 2025Updated 4 months ago
• blockhackersio / zrclib

  View on GitHub
  To bring zero knowledge privacy primitives to all web3 developers.
  ☆13Oct 20, 2023Updated 2 years ago
• iden3 / circom-witnesscalc

  View on GitHub
  ☆22Feb 19, 2026Updated last month
• geometryxyz / wgsl-poseidon

  View on GitHub
  ☆33Sep 9, 2023Updated 2 years ago
• EspressoSystems / hyperplonk

  View on GitHub
  ☆339Mar 2, 2026Updated 3 weeks ago
• 0xPolygonID / witnesscalc

  View on GitHub
  cpp witness calculator for mobile and desktop for iden3 circuits
  ☆17Aug 22, 2025Updated 7 months ago
• privacy-ethereum / zkvm-ideas

  View on GitHub
  A collection of the Vietnam Spring ZK Residency effort of the ZKWasm team
  ☆36Apr 6, 2023Updated 2 years ago
• geometryxyz / cq

  View on GitHub
  Let's go https://eprint.iacr.org/2022/1763.pdf
  ☆62May 22, 2023Updated 2 years ago
• Electron-Labs / starky_bls12_381

  View on GitHub
  Starky implementation of Bls12-381
  ☆13May 16, 2024Updated last year
• Moonsong-Labs / cairo-bootloader

  View on GitHub
  Cairo bootloader port for the Rust Cairo VM.
  ☆12Jul 3, 2024Updated last year
• tekkac / cairo-alt_bn128

  View on GitHub
  bn254 pairing library for Cairo Zero
  ☆26Dec 15, 2022Updated 3 years ago
• GiacomoPope / isogeny_rs

  View on GitHub
  Rust library for isogeny-based cryptography
  ☆22Updated this week
• SorellaLabs / angstrom-santa-claus

  View on GitHub
  Uses magic (zk) to distribute gifts (rewards) to kids (validators)
  ☆13May 9, 2025Updated 10 months ago
• Okm165 / stone-prover-cairo0-verifier

  View on GitHub
  Integrating Stone Prover's generated proofs with the Cairo0 verifier
  ☆10Mar 8, 2024Updated 2 years ago
• 0xpolarzero / gas-metering-comparison

  View on GitHub
  Comparing gas measurements from Forge, Hardhat, Tevm and forge-gas-metering against testnet transactions.
  ☆16Feb 28, 2024Updated 2 years ago
• luizdepra / r8

  View on GitHub
  A simple CHIP8 interpreter made with Rust.
  ☆11Feb 20, 2026Updated last month
• tcoratger / whir-p3

  View on GitHub
  ☆62Updated this week
• HerodotusDev / hdp-sp1

  View on GitHub
  Herodotus Data Processor using SP1 as backend
  ☆17Jan 27, 2026Updated last month
• Okm165 / stwo-web-stark

  View on GitHub
  Client-side proving, trace generation, and proof verification using STWO in a web-based interface. 👇
  ☆29May 30, 2025Updated 9 months ago
• yongkangc / lighter-rust

  View on GitHub
  Rust SDK for Lighter trading platform
  ☆21Dec 29, 2025Updated 2 months ago
• cwgoes / snarky-workshop

  View on GitHub
  Hackathon project for Snarky workshop.
  ☆11Jun 21, 2019Updated 6 years ago