proofInputs