Periodic Reporting for period 1 - FASTPROOF (Fast Proofs for Verifying Computations)

A proof-system is a protocol that enables a powerful prover to convince a weaker verifier of the validity of a computational statement. Proof-systems have been central to the theory of computing since its inception. Some of the most important results, concepts and open...