A Protocol for Trustless Verification Under Uncertainty