Hi, I read the paper of input validity. One thing I note is that you mentioned that you will run a circuit to check whether the input satisfies certain predicate. And for computation of the real task, you have another circuit. Thus, you have to use OT to make sure that input passed the check from the first circuit will also the same as input to the second circuit. I wonder why not just add the predicate functionality before the real computation, which means you will only need one circuit. In that sense, sounds to me you can also avoid using the OT to enforce inputs to the two circuits. Do you have any concerns for using this approach? Thank you!
Hi, I read the paper of input validity. One thing I note is that you mentioned that you will run a circuit to check whether the input satisfies certain predicate. And for computation of the real task, you have another circuit. Thus, you have to use OT to make sure that input passed the check from the first circuit will also the same as input to the second circuit. I wonder why not just add the predicate functionality before the real computation, which means you will only need one circuit. In that sense, sounds to me you can also avoid using the OT to enforce inputs to the two circuits. Do you have any concerns for using this approach? Thank you!