Oracle and computation protocol enabling off-chain data verification and computation with on-chain settlement
