wiki
wiki copied to clipboard
Document how to add merkle proofing to existing interpreters
@OR13 asked about this in our gitter. We have a few examples of merkle proofing computation steps in ocaml-offchain, dispute-resolution-layer simple adder vm, and scrypt interactive.
Considering this is rather generic idea that applies to any instance of a truebit like system it would be great to have a nice write up on this.