The main products include ZK-friendly virtual machine Ola-VM and smart contract language Ola-lang: Ola-lang is a general language (GPL) based on ZK-VM, which is more programmable and can deploy any smart contract according to project needs. Whether public or private.