Zero-knowledge proof benchmarks

This document details the performance benchmarks of zero-knowledge proofs for compact public key encryption using TFHE-rs.

Benchmarks for the zero-knowledge proofs have been run on a m6i.4xlarge with 16 cores to simulate an usual client configuration. The verification are done on a hpc7a.96xlarge AWS instances to mimic a powerful server.