Another tool for interactive verification

#ETH #Ethereum

If I understand your model correctly, for a particular computation you need to supply 1) a VM specification and 2) input data. Where are these supplied? On-chain?

What applications do you see for your proposed technique? One-off expensive computations (e.g., verifying Scrypt PoW), or long-running off-chain systems (e.g., side chains).

OhNoEthereum via https://ift.tt/2PblI7a @@adlerjohn John Adler, @Khareem Sudlow