GitHub repository: sarvex/cannon
Description: On chain interactive fault prover for Ethereum