Styx zkVM

General-purpose zero-knowledge virtual machine powered by Hekate. Compile and turn standard Rust programs into verifiable edge computations natively on consumer devices.