Cryptographic reverse firewalls for interactive proof systems