search

tari-project / triptych

BSD 3-Clause "New" or "Revised" License
0 stars 3 forks source link

Proof verification does not check input set size against proof semantics #84

Closed AaronFeickert closed 4 months ago

AaronFeickert commented 4 months ago

When verifying a batch of proofs, the verifier does not check that the proofs' common input set is the correct length for the statement parameters.

AaronFeickert commented 4 months ago

This is already enforced; the verifier checks that the proofs' m and n parameters match those of the statement parameters, and the statement parameters enforce the size of the corresponding input sets.