Comment by modalduality

Some context: doubly efficient interactive proofs are one of the fundamental ideas that make Zcash possible on modern hardware.