Cryptographic Applications of the Non-Interactive Metaproof and Many-prover Systems (Lecture notes in computer science)