🏃♂️💨 GPU accelerated STARK prover built on @arkworks-rs
A small Rust library to handle matrices made from elements of finite fields
SNARK proving systems for membership attestations
Build a simple app in hard way. Make sure it is over-engineered
A simple Merkle tree CLI tool written in Rust. Useful for learning about Merkle proofs and preparing inputs for Zero-Knowledge (ZK) circuits - Noir
A small implementation of the KZG commitment scheme.