Description
Ligetron is a zero-knowledge virtual machine that generates proofs client-side, running directly in a web browser or on standard hardware without dedicated proving servers. It uses a memory-efficient, hash-based proof system derived from the MPC-in-the-head paradigm, enabling the prover to operate within the memory footprint of the underlying computation. Developers write ZK applications in C++ or Rust compiled to WebAssembly for execution across devices. The system supports zkValidium deployments and integrates identity tools including zkEmail, zkTLS, and ZKPassport. No trusted setup is required.