search

scroll-tech / ceno

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

emul-branch: move branch logic in its own category #512

Closed naure closed 5 days ago

naure commented 5 days ago

Branch instructions are different than Compute in that they don’t write rd.

Useful for https://github.com/scroll-tech/ceno/issues/245.

matthiasgoergens commented 5 days ago

Branch instructions are different than Compute in that they don’t write rd.

Well, that, and they mess with the 'pc' (program counter).