These projects are open source MIT-licensed. Please visit each project's GitHub page to get started and feel free to reach out to research@delendum.xyz with any questions or ideas.

• An Universal ZK Circuit Frontend Library in Rust
  GitHub Repository: Valida
• Valida: a zkVM focused on performance and extensibility
  Delendum & Lita Foundation
  A performant virtual machine with an LLVM-based static compiler
• Faster STARK Library
  A toolkit for implementing polynomial IOPs (PIOPs)