.
succinct and efficiently verifiable pairing-based SNARKs like Groth16. Multi-prover Interactive Protocols (MIPs) Multi-prover interactive protocol in action If you think of an interactive proof with verifier challenges to the prover as an interrogation (trying to catch a fraudulent prover), then an