emp-toolkit / emp-input-validity Goto Github PK

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!

Hello, is this repo still being maintained? After successfully installing the other EMP utilities, I am unable to install this; in particular:

benediamond@Benjamins-MBP emp-input-validity % make
Scanning dependencies of target bench_input-check-malicious
[ 16%] Building CXX object CMakeFiles/bench_input-check-malicious.dir/bench/input-check-malicious.cpp.o
/Users/benediamond/emp-input-validity/bench/input-check-malicious.cpp:1:10: fatal error: 'emp-tool' file not found
#include <emp-tool>
         ^~~~~~~~~~
1 error generated.
make[2]: *** [CMakeFiles/bench_input-check-malicious.dir/bench/input-check-malicious.cpp.o] Error 1
make[1]: *** [CMakeFiles/bench_input-check-malicious.dir/all] Error 2
make: *** [all] Error 2

After replacing all occurrences of #include <emp-tool> with #include <emp-tool/emp-tool.h> , I got a bunch more errors. Thank you.