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