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

Constraints/state pc loads #235

Closed arasuarun closed 7 months ago

arasuarun commented 7 months ago
  1. Removes the step counter from the state.
  2. Enforces the correct program counter value (doesn't map to a lower address space, though).
  3. Enforces the correct lookup query for load sign-extension lookups
arasuarun commented 7 months ago

LGTM.