proof-systems icon indicating copy to clipboard operation
proof-systems copied to clipboard

Published 20 hours ago • verified publisher icon o1-labs

Should we also check the hash type? (i.e. is `0x02`, `0x01`). It is indicated by the hint syscall IIRC. Maybe it has to be checked in the MIPS world/turing machine.

Open dannywillems opened this issue 6 months ago • 0 comments 

          Q: should we also check the hash type? (i.e. is `0x02`, `0x01`). It is indicated by the hint syscall IIRC. Maybe it has to be checked in the MIPS world/turing machine.

Originally posted by @dannywillems in https://github.com/o1-labs/proof-systems/pull/1687#discussion_r1453551442

dannywillems avatar Jan 17 '24 12:01 dannywillems