├── .github └── workflows │ ├── arm.yml │ ├── codeql.yml │ └── x86.yml ├── .gitignore ├── CMakeLists.txt ├── LICENSE ├── README.md ├── cmake └── emp-zk-config.cmake ├── data └── .keep ├── emp-zk ├── edabit │ ├── auth_helper.h │ └── edabits.h ├── emp-vole-f2k │ ├── base_svole.h │ ├── emp-vole-f2k.h │ ├── lpn_f2k.h │ ├── mpfss.h │ ├── spfss_f2k_recver.h │ ├── spfss_f2k_sender.h │ └── svole.h ├── emp-vole │ ├── base_svole.h │ ├── cope.h │ ├── emp-vole.h │ ├── lpn.h │ ├── mpfss_reg.h │ ├── preot.h │ ├── spfss_recver.h │ ├── spfss_sender.h │ ├── utility.h │ └── vole_triple.h ├── emp-zk-arith │ ├── conversion.h │ ├── emp-zk-arith.cpp │ ├── emp-zk-arith.h │ ├── int_fp.h │ ├── ostriple.h │ ├── polynomial.h │ ├── triple_auth.h │ ├── zk_fp_exec.h │ ├── zk_fp_exec_prover.h │ └── zk_fp_exec_verifier.h ├── emp-zk-bool │ ├── bool_io.h │ ├── cheat_record.h │ ├── emp-zk-bool.cpp │ ├── emp-zk-bool.h │ ├── ostriple.h │ ├── polynomial.h │ ├── triple_auth.h │ ├── zk_bool_circuit_exec.h │ ├── zk_prover.h │ └── zk_verifier.h ├── emp-zk.h └── extensions │ ├── floats.h │ ├── lowmc.h │ └── ram-zk │ ├── emp-ram-zk.h │ ├── gfmul.h │ ├── ostriple.h │ ├── poly_prdt.h │ ├── ro-zk-mem.h │ ├── zk-mem-ext.h │ └── zk-mem.h ├── lgtm.yml ├── run └── test ├── CMakeLists.txt ├── arith ├── abconversion.cpp ├── circuit_scalability.cpp ├── inner_prdt.cpp ├── input_scalability.cpp ├── matrix_mul.cpp ├── ostriple.cpp ├── polynomial.cpp ├── sis.cpp └── zk_proof.cpp ├── bool ├── bool_io.cpp ├── circuit_scalability.cpp ├── example.cpp ├── inner_prdt.cpp ├── input_scalability.cpp ├── lowmc.cpp ├── memory_scalability.cpp ├── ostriple.cpp ├── polynomial.cpp └── sha256.cpp ├── ram ├── ram_ext_test.cpp ├── ram_test.cpp └── ro_ram_test.cpp └── vole ├── base_svole.cpp ├── cope.cpp ├── lpn.cpp ├── vole_f2k_triple.cpp └── vole_triple.cpp /.github/workflows/arm.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emp-toolkit/emp-zk/HEAD/.github/workflows/arm.yml -------------------------------------------------------------------------------- /.github/workflows/codeql.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emp-toolkit/emp-zk/HEAD/.github/workflows/codeql.yml -------------------------------------------------------------------------------- /.github/workflows/x86.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emp-toolkit/emp-zk/HEAD/.github/workflows/x86.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emp-toolkit/emp-zk/HEAD/.gitignore -------------------------------------------------------------------------------- /CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emp-toolkit/emp-zk/HEAD/CMakeLists.txt -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emp-toolkit/emp-zk/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emp-toolkit/emp-zk/HEAD/README.md -------------------------------------------------------------------------------- /cmake/emp-zk-config.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emp-toolkit/emp-zk/HEAD/cmake/emp-zk-config.cmake -------------------------------------------------------------------------------- /data/.keep: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /emp-zk/edabit/auth_helper.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emp-toolkit/emp-zk/HEAD/emp-zk/edabit/auth_helper.h -------------------------------------------------------------------------------- /emp-zk/edabit/edabits.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emp-toolkit/emp-zk/HEAD/emp-zk/edabit/edabits.h -------------------------------------------------------------------------------- /emp-zk/emp-vole-f2k/base_svole.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emp-toolkit/emp-zk/HEAD/emp-zk/emp-vole-f2k/base_svole.h -------------------------------------------------------------------------------- /emp-zk/emp-vole-f2k/emp-vole-f2k.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emp-toolkit/emp-zk/HEAD/emp-zk/emp-vole-f2k/emp-vole-f2k.h -------------------------------------------------------------------------------- /emp-zk/emp-vole-f2k/lpn_f2k.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emp-toolkit/emp-zk/HEAD/emp-zk/emp-vole-f2k/lpn_f2k.h -------------------------------------------------------------------------------- /emp-zk/emp-vole-f2k/mpfss.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emp-toolkit/emp-zk/HEAD/emp-zk/emp-vole-f2k/mpfss.h -------------------------------------------------------------------------------- /emp-zk/emp-vole-f2k/spfss_f2k_recver.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emp-toolkit/emp-zk/HEAD/emp-zk/emp-vole-f2k/spfss_f2k_recver.h -------------------------------------------------------------------------------- /emp-zk/emp-vole-f2k/spfss_f2k_sender.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emp-toolkit/emp-zk/HEAD/emp-zk/emp-vole-f2k/spfss_f2k_sender.h -------------------------------------------------------------------------------- /emp-zk/emp-vole-f2k/svole.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emp-toolkit/emp-zk/HEAD/emp-zk/emp-vole-f2k/svole.h -------------------------------------------------------------------------------- /emp-zk/emp-vole/base_svole.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emp-toolkit/emp-zk/HEAD/emp-zk/emp-vole/base_svole.h -------------------------------------------------------------------------------- /emp-zk/emp-vole/cope.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emp-toolkit/emp-zk/HEAD/emp-zk/emp-vole/cope.h -------------------------------------------------------------------------------- /emp-zk/emp-vole/emp-vole.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emp-toolkit/emp-zk/HEAD/emp-zk/emp-vole/emp-vole.h -------------------------------------------------------------------------------- /emp-zk/emp-vole/lpn.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emp-toolkit/emp-zk/HEAD/emp-zk/emp-vole/lpn.h -------------------------------------------------------------------------------- /emp-zk/emp-vole/mpfss_reg.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emp-toolkit/emp-zk/HEAD/emp-zk/emp-vole/mpfss_reg.h -------------------------------------------------------------------------------- /emp-zk/emp-vole/preot.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emp-toolkit/emp-zk/HEAD/emp-zk/emp-vole/preot.h -------------------------------------------------------------------------------- /emp-zk/emp-vole/spfss_recver.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emp-toolkit/emp-zk/HEAD/emp-zk/emp-vole/spfss_recver.h -------------------------------------------------------------------------------- /emp-zk/emp-vole/spfss_sender.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emp-toolkit/emp-zk/HEAD/emp-zk/emp-vole/spfss_sender.h -------------------------------------------------------------------------------- /emp-zk/emp-vole/utility.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emp-toolkit/emp-zk/HEAD/emp-zk/emp-vole/utility.h -------------------------------------------------------------------------------- /emp-zk/emp-vole/vole_triple.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emp-toolkit/emp-zk/HEAD/emp-zk/emp-vole/vole_triple.h -------------------------------------------------------------------------------- /emp-zk/emp-zk-arith/conversion.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emp-toolkit/emp-zk/HEAD/emp-zk/emp-zk-arith/conversion.h -------------------------------------------------------------------------------- /emp-zk/emp-zk-arith/emp-zk-arith.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emp-toolkit/emp-zk/HEAD/emp-zk/emp-zk-arith/emp-zk-arith.cpp -------------------------------------------------------------------------------- /emp-zk/emp-zk-arith/emp-zk-arith.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emp-toolkit/emp-zk/HEAD/emp-zk/emp-zk-arith/emp-zk-arith.h -------------------------------------------------------------------------------- /emp-zk/emp-zk-arith/int_fp.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emp-toolkit/emp-zk/HEAD/emp-zk/emp-zk-arith/int_fp.h -------------------------------------------------------------------------------- /emp-zk/emp-zk-arith/ostriple.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emp-toolkit/emp-zk/HEAD/emp-zk/emp-zk-arith/ostriple.h -------------------------------------------------------------------------------- /emp-zk/emp-zk-arith/polynomial.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emp-toolkit/emp-zk/HEAD/emp-zk/emp-zk-arith/polynomial.h -------------------------------------------------------------------------------- /emp-zk/emp-zk-arith/triple_auth.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emp-toolkit/emp-zk/HEAD/emp-zk/emp-zk-arith/triple_auth.h -------------------------------------------------------------------------------- /emp-zk/emp-zk-arith/zk_fp_exec.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emp-toolkit/emp-zk/HEAD/emp-zk/emp-zk-arith/zk_fp_exec.h -------------------------------------------------------------------------------- /emp-zk/emp-zk-arith/zk_fp_exec_prover.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emp-toolkit/emp-zk/HEAD/emp-zk/emp-zk-arith/zk_fp_exec_prover.h -------------------------------------------------------------------------------- /emp-zk/emp-zk-arith/zk_fp_exec_verifier.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emp-toolkit/emp-zk/HEAD/emp-zk/emp-zk-arith/zk_fp_exec_verifier.h -------------------------------------------------------------------------------- /emp-zk/emp-zk-bool/bool_io.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emp-toolkit/emp-zk/HEAD/emp-zk/emp-zk-bool/bool_io.h -------------------------------------------------------------------------------- /emp-zk/emp-zk-bool/cheat_record.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emp-toolkit/emp-zk/HEAD/emp-zk/emp-zk-bool/cheat_record.h -------------------------------------------------------------------------------- /emp-zk/emp-zk-bool/emp-zk-bool.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emp-toolkit/emp-zk/HEAD/emp-zk/emp-zk-bool/emp-zk-bool.cpp -------------------------------------------------------------------------------- /emp-zk/emp-zk-bool/emp-zk-bool.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emp-toolkit/emp-zk/HEAD/emp-zk/emp-zk-bool/emp-zk-bool.h -------------------------------------------------------------------------------- /emp-zk/emp-zk-bool/ostriple.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emp-toolkit/emp-zk/HEAD/emp-zk/emp-zk-bool/ostriple.h -------------------------------------------------------------------------------- /emp-zk/emp-zk-bool/polynomial.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emp-toolkit/emp-zk/HEAD/emp-zk/emp-zk-bool/polynomial.h -------------------------------------------------------------------------------- /emp-zk/emp-zk-bool/triple_auth.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emp-toolkit/emp-zk/HEAD/emp-zk/emp-zk-bool/triple_auth.h -------------------------------------------------------------------------------- /emp-zk/emp-zk-bool/zk_bool_circuit_exec.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emp-toolkit/emp-zk/HEAD/emp-zk/emp-zk-bool/zk_bool_circuit_exec.h -------------------------------------------------------------------------------- /emp-zk/emp-zk-bool/zk_prover.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emp-toolkit/emp-zk/HEAD/emp-zk/emp-zk-bool/zk_prover.h -------------------------------------------------------------------------------- /emp-zk/emp-zk-bool/zk_verifier.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emp-toolkit/emp-zk/HEAD/emp-zk/emp-zk-bool/zk_verifier.h -------------------------------------------------------------------------------- /emp-zk/emp-zk.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emp-toolkit/emp-zk/HEAD/emp-zk/emp-zk.h -------------------------------------------------------------------------------- /emp-zk/extensions/floats.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emp-toolkit/emp-zk/HEAD/emp-zk/extensions/floats.h -------------------------------------------------------------------------------- /emp-zk/extensions/lowmc.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emp-toolkit/emp-zk/HEAD/emp-zk/extensions/lowmc.h -------------------------------------------------------------------------------- /emp-zk/extensions/ram-zk/emp-ram-zk.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emp-toolkit/emp-zk/HEAD/emp-zk/extensions/ram-zk/emp-ram-zk.h -------------------------------------------------------------------------------- /emp-zk/extensions/ram-zk/gfmul.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emp-toolkit/emp-zk/HEAD/emp-zk/extensions/ram-zk/gfmul.h -------------------------------------------------------------------------------- /emp-zk/extensions/ram-zk/ostriple.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emp-toolkit/emp-zk/HEAD/emp-zk/extensions/ram-zk/ostriple.h -------------------------------------------------------------------------------- /emp-zk/extensions/ram-zk/poly_prdt.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emp-toolkit/emp-zk/HEAD/emp-zk/extensions/ram-zk/poly_prdt.h -------------------------------------------------------------------------------- /emp-zk/extensions/ram-zk/ro-zk-mem.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emp-toolkit/emp-zk/HEAD/emp-zk/extensions/ram-zk/ro-zk-mem.h -------------------------------------------------------------------------------- /emp-zk/extensions/ram-zk/zk-mem-ext.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emp-toolkit/emp-zk/HEAD/emp-zk/extensions/ram-zk/zk-mem-ext.h -------------------------------------------------------------------------------- /emp-zk/extensions/ram-zk/zk-mem.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emp-toolkit/emp-zk/HEAD/emp-zk/extensions/ram-zk/zk-mem.h -------------------------------------------------------------------------------- /lgtm.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emp-toolkit/emp-zk/HEAD/lgtm.yml -------------------------------------------------------------------------------- /run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emp-toolkit/emp-zk/HEAD/run -------------------------------------------------------------------------------- /test/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emp-toolkit/emp-zk/HEAD/test/CMakeLists.txt -------------------------------------------------------------------------------- /test/arith/abconversion.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emp-toolkit/emp-zk/HEAD/test/arith/abconversion.cpp -------------------------------------------------------------------------------- /test/arith/circuit_scalability.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emp-toolkit/emp-zk/HEAD/test/arith/circuit_scalability.cpp -------------------------------------------------------------------------------- /test/arith/inner_prdt.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emp-toolkit/emp-zk/HEAD/test/arith/inner_prdt.cpp -------------------------------------------------------------------------------- /test/arith/input_scalability.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emp-toolkit/emp-zk/HEAD/test/arith/input_scalability.cpp -------------------------------------------------------------------------------- /test/arith/matrix_mul.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emp-toolkit/emp-zk/HEAD/test/arith/matrix_mul.cpp -------------------------------------------------------------------------------- /test/arith/ostriple.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emp-toolkit/emp-zk/HEAD/test/arith/ostriple.cpp -------------------------------------------------------------------------------- /test/arith/polynomial.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emp-toolkit/emp-zk/HEAD/test/arith/polynomial.cpp -------------------------------------------------------------------------------- /test/arith/sis.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emp-toolkit/emp-zk/HEAD/test/arith/sis.cpp -------------------------------------------------------------------------------- /test/arith/zk_proof.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emp-toolkit/emp-zk/HEAD/test/arith/zk_proof.cpp -------------------------------------------------------------------------------- /test/bool/bool_io.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emp-toolkit/emp-zk/HEAD/test/bool/bool_io.cpp -------------------------------------------------------------------------------- /test/bool/circuit_scalability.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emp-toolkit/emp-zk/HEAD/test/bool/circuit_scalability.cpp -------------------------------------------------------------------------------- /test/bool/example.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emp-toolkit/emp-zk/HEAD/test/bool/example.cpp -------------------------------------------------------------------------------- /test/bool/inner_prdt.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emp-toolkit/emp-zk/HEAD/test/bool/inner_prdt.cpp -------------------------------------------------------------------------------- /test/bool/input_scalability.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emp-toolkit/emp-zk/HEAD/test/bool/input_scalability.cpp -------------------------------------------------------------------------------- /test/bool/lowmc.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emp-toolkit/emp-zk/HEAD/test/bool/lowmc.cpp -------------------------------------------------------------------------------- /test/bool/memory_scalability.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emp-toolkit/emp-zk/HEAD/test/bool/memory_scalability.cpp -------------------------------------------------------------------------------- /test/bool/ostriple.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emp-toolkit/emp-zk/HEAD/test/bool/ostriple.cpp -------------------------------------------------------------------------------- /test/bool/polynomial.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emp-toolkit/emp-zk/HEAD/test/bool/polynomial.cpp -------------------------------------------------------------------------------- /test/bool/sha256.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emp-toolkit/emp-zk/HEAD/test/bool/sha256.cpp -------------------------------------------------------------------------------- /test/ram/ram_ext_test.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emp-toolkit/emp-zk/HEAD/test/ram/ram_ext_test.cpp -------------------------------------------------------------------------------- /test/ram/ram_test.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emp-toolkit/emp-zk/HEAD/test/ram/ram_test.cpp -------------------------------------------------------------------------------- /test/ram/ro_ram_test.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emp-toolkit/emp-zk/HEAD/test/ram/ro_ram_test.cpp -------------------------------------------------------------------------------- /test/vole/base_svole.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emp-toolkit/emp-zk/HEAD/test/vole/base_svole.cpp -------------------------------------------------------------------------------- /test/vole/cope.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emp-toolkit/emp-zk/HEAD/test/vole/cope.cpp -------------------------------------------------------------------------------- /test/vole/lpn.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emp-toolkit/emp-zk/HEAD/test/vole/lpn.cpp -------------------------------------------------------------------------------- /test/vole/vole_f2k_triple.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emp-toolkit/emp-zk/HEAD/test/vole/vole_f2k_triple.cpp -------------------------------------------------------------------------------- /test/vole/vole_triple.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emp-toolkit/emp-zk/HEAD/test/vole/vole_triple.cpp --------------------------------------------------------------------------------