Add check that proof-length is correct #133
Description
Add to the stark_verify a sanity check that the length indicated in the Proof input parameter matches the proof-iter pointer after all proof items have been dequeued.
{{ message }}
Add to the stark_verify a sanity check that the length indicated in the Proof input parameter matches the proof-iter pointer after all proof items have been dequeued.