This project is a set of smart contracts for Ethereum, capable of verifying large computations off chain.
It aims to be generic, capable of verifying computations done on any abstract machine implementing a specified interface, using the truebit style verification game.
This is a spiritual successor to solEVM enforcer.
It should provide developers with an easy way to verify computations done on an abstract machine in their own smart contracts.
Truffle.