This repository implements the Robin++/LogRobin/LogRobin++ protocol. See our paper for details.
Our LogRobin++ is based on (1) QuickSilver's (https://eprint.iacr.org/2021/076) repository, which is part of the EMP Toolkit: https://github.com/emp-toolkit/emp-zk; and (2) Batchman's (https://github.com/gconeice/stacking-vole-zk) repository. In particular, we forked their repositories and developed based on them. We also tweak some of EMP's libraries.
MIT license is included as part of each repository.
sudo bash setup.sh
bash install.sh
/test/rand contains our core code for branches with different circuits.
/test/rep contains our core code for branches with a same circuit.
/emp-zk contains the EMP Toolkit's ZK library.
After compiling, the executable would show up in build/bin.
See the Excel file benchmark_summary.xlsx, which includes the data to generate the tables and plots in our paper.
See the file ae_appendix.pdf, which includes how to obtain the numbers in the Excel and paper step-by-step.