search

a16z / jolt

The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡
https://jolt.a16zcrypto.com
MIT License
580 stars 105 forks source link

Refactor tests for virtual instruction sequences #406

Open moodlezoup opened 1 week ago

moodlezoup commented 1 week ago

Write a test macro or util function for virtual sequences, similar to the jolt_instruction_test macro

Then refactor the tests for DIV, DIVU, MUL, MULHSU, REM, and REMU to use the new macro/function