1. in MIPS.sol, make proofOffset, readMem, writeMem functions pure. 2. fix typo in Oracle.sol.
Attach a file by drag & drop or click to upload
