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
673 stars 143 forks source link

Instruction flags constraints, cleanup #218

Closed arasuarun closed 7 months ago

arasuarun commented 7 months ago

working, but needs a TON of cleanup

arasuarun commented 7 months ago

Ready for review. Now, both the instruction flags and circuit flags are sent to the R1CS and are checked against the packed flags value op_flags_packed which replaces the opcode in the program code. (We don't actually need the opcode in the circuit.)