What is Ligetron?
Ligetron is a zero-knowledge virtual machine (zk-VM): a compute environment that runs your programs and automatically generates cryptographic proofs of correct execution. This lets you build applications where users can prove something is true without revealing why it's true.
For example, prove you're over 18 without showing your birthdate, prove you know a password without revealing it, or prove a transaction is valid without exposing account balances. Ligetron handles the complex cryptography automatically, so you can focus on writing your application logic in familiar languages like C++ or Rust.
Why Developers Choose Ligetron
No Cryptography Background Needed: Write applications in C++ or Rust using familiar development tools. If you can write code, you can build zero-knowledge applications.
Works Everywhere: Run proofs on servers for maximum performance, or directly in web browsers for client-side privacy. Same code, flexible deployment.
Space-Efficient: Scales to arbitrarily large programs on commodity hardware. No need for massive RAM or specialized infrastructure; Ligetron handles programs with billions of gates with practical memory usage.
Research-Backed: GPU-accelerated proof generation makes even complex applications practical. Built on research presented at IEEE Security & Privacy 2024.
Open Source: Ligetron is open source and actively developed. View the source code, contribute, or report issues on GitHub.
Check out this very simple example to see Ligetron in action with a simple edit distance program.