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)

DEEP-FRI STARK proof library.

FRIDA and DeFRIDA DA schemes with benchmarking tools

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 self-compiles to byte-identical C, carrying a from-scratch zero-knowledge STARK prover whose proofs are re-checked by a second, independent verifier. Write a function, get a proof of its result — verified twice. Hindley-Milner types, effects, exhaustive matching.

Diploma thesis: Goričar, Simon and mentor Lotrič, Uroš (2023). Distributed rendering of computer-generated imagery using a render cluster. (University of Ljubljana, Faculty of Computer and Information Science)

High-performance Rust implementation of Interactive Oracle Proofs of Proximity (IOPP) for Hermitian curves over binary fields. Features bitsliced F₂⁴ arithmetic with 16× speedup.

Java game made with ShapesGE

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