zero-knowledge-proofs

Feb 11

Elliptic Curves math in Rust

Sergey Melnychuk

TL/DR: ecc - porting “Elliptic Curve Cryptography for Developers” from C/GMP to Rust, chapter by chapter. From modular arithmetic to a working SNARK in ~3700 lines. Motivation After learning ZK proofs through Circom, Noir, and Halo2, I had a working understanding of circuits and proof systems...

rust cryptography biliniear-pairing snark elliptic-curves zero-knowledge-proofs

Dec 06 2025

Learning Zero-Knowledge Proofs

Sergey Melnychuk

TL/DR: ZKP - a learning journey through zero-knowledge proof systems: Groth16, PLONK, and Halo2. Same problem, three frameworks, one surprising insight. How it started After working on Beerus and spending a lot of time around Starknet and Ethereum infrastructure, I kept bumping into...

noir rust zkp halo2 circom zero-knowledge-proofs sudoku