Permanent problem IDPPL 163
Cryptography
For computations in DTISP(t,s), construct interactive proofs with prover time polynomial in t and verifier time polynomial in s for the full parameter range stated by the proposer.
For computations in DTISP(t,s), construct interactive proofs with prover time polynomial in t and verifier time polynomial in s for the full parameter range stated by the proposer.
The Simons Institute page calls this a symbolic cash prize and names the payer and amount, but publishes no claim mechanics, deadline or recent renewal. Contact the proposer before relying on payment.
The mathematical target remains open; direct sponsor confirmation of the symbolic offer is recommended.