Content pfp
Content
@
0 reply
0 recast
0 reaction

Wyatt Benno pfp
Wyatt Benno
@wyattbenno
His floating point work is also super cool! (SOTA) Little known fact: zkVM do not support floating point opcodes or they make them inaccurate soft floats..
1 reply
0 recast
14 reactions

Jens Ernstberger pfp
Jens Ernstberger
@0xserious
They could actually support float! You can model the F extension in a similar manner to the M extension (in Jolt) via virtual instructions. Takes quite a bit of branching and tricks to get right, started on it in the summer but didn’t finish the project.
1 reply
0 recast
1 reaction

Wyatt Benno pfp
Wyatt Benno
@wyattbenno
I asked Thaler about this a bit back.. I think someone will publish along those lines. Unique cool thing that lookup based zkVM could do (JOLT).
0 reply
0 recast
0 reaction