# Canonical Terms

A decentralized and permissionless network for submitting, validating, and settling computation claims for all programming languages and virtual machines

A language-agnostic approach to generating ZK proofs that verify the correctness of execution traces of any programs written in any programming languages based on formal semantics.

A formal specification of a program is a mathematical formula that expresses a certain property that the given program is expected to satisfy.

Last updated