C++ library for evaluating arithmetic circuits on batches of inputs - View it on GitHub