Home > Resources > code > facebook-winterfell

facebook/winterfell

Last modified: 2026-10-23

URL: https://github.com/facebook/winterfell

Summary

STARK prover and verifier for arbitrary computations expressed as AIR, written in Rust by Meta (Facebook), with multi-threaded proving and FRI-based commitments. A clean, well-documented reference for transparent, hash-based (plausibly post-quantum) proof systems.