Search results

Investigate high maxHeartbeats in Shift composition files

questionFurther information is requestedFurther information is requested

Status: Open.

#76 In zksecurity/evm-asm;

· pirapira opened on Mar 21, 2026

Split EvmAsm/Evm64/EvmWordArith.lean

enhancementNew feature or requestNew feature or request

Status: Open.

#73 In zksecurity/evm-asm;

· pirapira opened on Mar 21, 2026

Add evmWordIs stack-level spec for DIV/MOD

enhancementNew feature or requestNew feature or request

Status: Open.

#61 In zksecurity/evm-asm;

· pirapira opened on Mar 20, 2026

Missing topmost theorem for MUL instructions

enhancementNew feature or requestNew feature or request

Status: Open.

#55 In zksecurity/evm-asm;

· pirapira opened on Mar 19, 2026

Make sure each EVM instruction has a topmost spec

enhancementNew feature or requestNew feature or request

Status: Open.

#53 In zksecurity/evm-asm;

· pirapira opened on Mar 19, 2026

Consider calling convention of C

questionFurther information is requestedFurther information is requested

Status: Open.

#49 In zksecurity/evm-asm;

· pirapira opened on Mar 19, 2026

Nondeterminism?

questionFurther information is requestedFurther information is requested

Status: Open.

#31 In zksecurity/evm-asm;

· pirapira opened on Mar 8, 2026

consider byte-addressible memory

questionFurther information is requestedFurther information is requested

Status: Open.

#22 In zksecurity/evm-asm;

· pirapira opened on Feb 8, 2026

Compare the implementation with risc-v lean spec

enhancementNew feature or requestNew feature or request

Status: Open.

#14 In zksecurity/evm-asm;

· pirapira opened on Feb 7, 2026