Abstract: The semiconductor industry faces growing difficulties in addressing technical and technological challenges, such as the exhaustion of CMOS downscaling and the limitations imposed by the von ...

Abstract: 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 ...