Canonical Terms

Universal Settlement Layer

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

Proof of Proof

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.

Formal Specification

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