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.