zk proofs

A security in depth approach to verifiable offchain computations