I built a Lisp VM in Rust that proves its own execution trace (STARKs + Winterfell) Post date November 24, 2025 Post author By Andrei Kochergin Post categories In computerscience, performance, rust, web3