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.
Last updated
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.
Last updated