___   
   /\__\  
  /:/__/_ 
 /::\/\__\
 \/\::/  /
   /:/  / 
   \/__/  

Introduction

A Rust zkVM with a Modular Proof System.

How it works

Try it

Check out the examples in README.

See a mistake? Open a pull request.