refactor/move-circuit-imm: Move circuit-specific logic out of the emulator

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

Closed naure closed 2 weeks ago

naure commented 2 weeks ago

Move any circuit-specific logic of the immediate column of the program table, into the program table module.
Simplify InsnRecord back to a simple list.
Minimize API into a single function imm_internal. It uses an intermediate i64 instead of previous u32 and bool.

This was an abstraction leakage across crates. This PR finally moves it at the right place.