search

o1-labs / proof-systems

The proof systems used by Mina
https://o1-labs.github.io/proof-systems/
Apache License 2.0
407 stars 91 forks source link

zkVM: Spec for MUL #1448

Closed dannywillems closed 9 months ago

dannywillems commented 9 months ago 
          Do you have the spec for MUL?

I would have expected to write in HI/LO.

_Originally posted by @dannywillems in https://github.com/o1-labs/proof-systems/pull/1429#discussion_r1417165412_

mrmr1993 commented 9 months ago

I would have expected to write in HI/LO.

You would have expected wrong. Please don't open issues for these; you should block the PR if you think it's wrong.

https://s3-eu-west-1.amazonaws.com/downloads-mips/documents/MD00087-2B-MIPS64BIS-AFP-6.06.pdf page 393