Expand description
An IOPVerifierChannel dry run that records the OracleSpec sequence an IOP uses.
Structsยง
- Dummy
Elem - A dummy field element for
OracleSetupChannel, generic over the fieldFit stands in for. - Oracle
Setup Channel - An
IOPVerifierChannelthat records theOracleSpecof each received oracle.