fri

gnark-crypto provides elliptic curve and pairing-based cryptography on BN, BLS12, BLS24 and BW6 curves. It also provides various algorithms (algebra, crypto) of particular interest to zero knowledge proof systems

STARK book

FRI Extended for Data Availability: a FRI-based Data Availability Sampling library, written in Rust.

crypto research stuffs from numerics to ZK applied protocols all written with dirty hands

Verifiable Computations

A Minimal STARK based zkVM.

ROS 2 library for KUKA LWR4 FRI interface

Zbierka príkladov pre VAII FRI UNIZA ZA

"Anatomy of a STARK" in Rust

Halo2 gadgets for verifying plonky2/starky proofs (WIP)

FRIDA and DeFRIDA DA schemes with benchmarking tools

DEEP-FRI STARK proof library.

A single-machine, fixed-AIR canonical STARK engine with independent C++, Rust, and AMD GPU implementations.

Python ZK-STARK implementation for learning and research

A Trajectory Generator in Cartesian Impedance Mode based on Stanford FRI library.

A pure functional language whose compiler is written in Glass and rebuilds itself to byte-identical C — carrying a from-scratch zk-STARK prover whose proofs are judged by three independent lineages. Write a function, get a proof; exit codes carry the verdict. Research-grade, honestly bounded.

A zero-knowledge circuit compiler whose thesis is a determinacy type system: a circuit whose outputs are not uniquely determined by its inputs is a compile error, not a runtime surprise. Haskell frontend, Rust backend, own field, FFT, FRI and STARK.

PH2-based zero-knowledge proof and attestation core implemented in C++20.

Java game made with ShapesGE