🧩 Explore a pure Python implementation of zero-knowledge STARKs for educational purposes, designed to enhance understanding of cryptographic concepts.

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

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

Python ZK-STARK implementation for learning and research

Semestralna praca z predmetu Informatika 2

HotStuff consensus with FRIDA/DeFRIDA data availability sampling schemes.

Educational FRI protocol implementation

Verifiable Computations

FRIDA and DeFRIDA DA schemes with benchmarking tools

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

STARK book

PLONK + FRI based ZK proving system.

Spletna stran Akademije FRI

Halo2 gadgets for verifying plonky2/starky proofs (WIP)

Repository that contains WIER (IEPS) assignments submissions.

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)

"Anatomy of a STARK" in Rust

FRI LaTeX predloga za diplomsko delo / FRI LaTeX diploma thesis template