Configure proof options