I prodotti principali includono la macchina virtuale ZK-friendly Ola-VM e il linguaggio per contratti intelligenti Ola-lang: Ola-lang è un linguaggio generale (GPL) basato su ZK-VM, che è più programmabile e può implementare qualsiasi contratto intelligente in base alle esigenze del progetto Che sia pubblico o privato.