winterfell

Rust ★ 893 updated 10mo ago

A STARK prover and verifier for arbitrary computations

No plain-English explanation yet — one is being written right now. Check back in a minute.