README.md

OpenVM V1 Internal Audit

This is the report from an internal audit of OpenVM V1 done by members of the Axiom team during the period of Feb 17, 2025 to March 21, 2025.

Table of Contents

• STARK Backend
• ISA
• Circuit Architecture
• Circuit Primitives
• RISC-V ELF Transpiler
• Rust Toolchain
• Native Compiler
• Recursion Program
• Modular Arithmetic Chip Builder
• VM Extension: RV32IM and IO
• VM Extension: Native
• VM Extension: BigInt
• VM Extension: Algebra
• VM Extension: Elliptic Curve Cryptography
• VM Extension: Pairing
• VM Extension: Keccak
• VM Extension: SHA2
• Poseidon2 AIR