On chain interactive fault prover for Ethereum - View it on GitHub