search

scroll-tech / ceno

Accelerate Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol
Apache License 2.0
53 stars 6 forks source link

[WIP] Feat/Opcode Circuits for DIV, REM, and REMU opcodes #596

Open bgillesp opened 3 days ago

bgillesp commented 3 days ago

Implementation extends the existing DIVU opcode to expose the remainder as an output, and to handle the (significantly more complicated) signed case.

Design should be complete, but need to implement/run tests and finish integration.