Consensys/corset

Account for Padding in Testing Framework

Closed this issue · 1 comments

DavePearce commented

Currently, there is a problem around padding with the testing framework. Specifically, the oracle function doesn't get the actual trace that Corset will check against. That's because Corset will pad it out. Therefore, we need to mirror the padding when applying the oracle function.

DavePearce commented

UPDATE: one option is to use the keep_raw flag.

Roughly, the algorithm seems to do the following (if keep_raw=false):

  • Insert a zero at the beginning of each row.
  • Pad up to the minimal module length (which is determine by things such as range constraints).