Blockchain Virtual Machines (VM)

Cairo is The Rust-inspired language that makes it easy to build scalable dApps & smart contracts with the power of validity proofs.

Get to market fast with dramatically lower development costs on the first general purpose zkVM.

zkOS by Aleph Zero is the first ZK-privacy EVM-compatible environment able to generate zero-knowledge proofs in under a second.

zkLLVM is a compiler from high-level programming languages into an input for provable computations protocols. It can be used to generate input for any arbitrary zero-knowledge proof system or protocol, which accepts input data in form of algebraic circuits It assumed to be used together with Placeholder proof system or any other arithmetization compatible with Placeholder proof system.

Kakarot is an EVM-compatible ZK-Rollup that leverages Cairo to spearhead innovations on Ethereum.

A STARK-based VM focused on code reuse, performance, and modularity.

Triton is a virtual machine that comes with Algebraic Execution Tables (AET) and Arithmetic Intermediate Representations (AIR) for use in combination with a STARK proof system. It defines a Turing complete Instruction Set Architecture, as well as the corresponding arithmetization of the VM. The really cool thing about Triton VM is its efficient recursive verification of the STARKs produced when running Triton VM.