4 ms·
the verifier in the MIP* setup/definition is assumed to be limited to a polynomial amount of computation.
by drdeca 3y ago
the verifier in the MIP* setup/definition is assumed to be limited to a polynomial amount of computation.
loading thread…