Concurrent Boolean Circuit Calculator This project implements a parallel solution for evaluating boolean circuits using Java's concurrent programming features. The implementation focuses on efficient ...

Efficient zero-knowledge (ZK) proofs for arbitrary boolean or arithmetic circuits have recently attracted much attention. Existing solutions suffer from either significant prover overhead (i.e., high ...