stark-rs An in-progress, dependency-free implementation of a STARK proof system written in Rust and built from scratch.