These projects will be open source MIT-licensed. Please check back in April for implementation details.

• Faster STARK Library
  A toolkit for implementing polynomial IOPs (PIOPs)
• Register-based zkVM
  Delendum
  A performant virtual machine with an LLVM-based static compiler
• An Universal ZK Circuit Frontend Library in Rust