-
Notifications
You must be signed in to change notification settings - Fork 11
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
MSTORE topmost spec: migrate to evmMemoryIs interface + model guard band (like MLOAD #10180)
bugSomething isn't workingSomething isn't workingStatus: Open.Specify account-scalar canonicality: spec is lenient (int.from_bytes), account_is_eip161_empty must not strict-migrate
enhancementNew feature or requestNew feature or requestStatus: Open.#10149 In Verified-zkEVM/evm-asm;MLOAD unaligned public spec pre is unsatisfiable for start ≠ 0 (adjacent quarters share a dword)
bugSomething isn't workingSomething isn't workingStatus: Open.#9866 In Verified-zkEVM/evm-asm;StateRel doesn't track PC — control-flow (branch/jump) equivalence is not actually proven
enhancementNew feature or requestNew feature or requestStatus: Open.#9470 In Verified-zkEVM/evm-asm;Finish memory-operation SAIL equivalence (current MemProofs are stubs)
enhancementNew feature or requestNew feature or requestStatus: Open.#9469 In Verified-zkEVM/evm-asm;Specialized RLP decoders for untrusted inputs
enhancementNew feature or requestNew feature or requestStatus: Open.#9373 In Verified-zkEVM/evm-asm;Implement EIP-3155
enhancementNew feature or requestNew feature or requestStatus: Open.#8710 In Verified-zkEVM/evm-asm;Update execution-specs and EEST
enhancementNew feature or requestNew feature or requestStatus: Open.#8391 In Verified-zkEVM/evm-asm;proof tactics: pure extraction struggles on framed folded posts
enhancementNew feature or requestNew feature or requestStatus: Open.#7174 In Verified-zkEVM/evm-asm;CI: verify RLP spec against execution-specs (tests or proofs)
enhancementNew feature or requestNew feature or requestgood first issueGood for newcomersGood for newcomersStatus: Open.#5589 In Verified-zkEVM/evm-asm;[claude] M5b: h_invalid silently aliases STOP — dumps stale memory as output
enhancementNew feature or requestNew feature or requestStatus: Open.#5010 In Verified-zkEVM/evm-asm;An entrypoint for run_stateless_guest (not feature complete)
enhancementNew feature or requestNew feature or requestStatus: Open.#5006 In Verified-zkEVM/evm-asm;