The document describes a recursive bisection process for verifying a smart contract. A challenger submits a contract to an asserter for verification. The asserter recursively divides the contract verification into smaller subproblems until a base case is reached, submitting each subproblem to stakeholders for voting. The process includes an incentive/penalty phase for stakeholders.