Hamy Ratoanina 01bbf1a058

Constrain clock (#1343)

2023-11-09 16:42:18 -05:00

..

columns

Fix merging of jumpdest and keccak_general.

2023-11-01 11:08:57 -04:00

docs

Fix typos in comments

2023-11-04 23:07:36 +08:00

kernel

Remove logic for multiple txns at once (#1341)

2023-11-09 09:34:12 -05:00

simple_logic

Add some documentation in EVM crate (#1295)

2023-10-30 14:28:24 -04:00

bootstrap_kernel.rs

Add some documentation in EVM crate (#1295)

2023-10-30 14:28:24 -04:00

clock.rs

Constrain clock (#1343)

2023-11-09 16:42:18 -05:00

contextops.rs

Fix merging of jumpdest and keccak_general.

2023-11-01 11:08:57 -04:00

control_flow.rs

Combine JUMPDEST and KECCAK_GENERAL flags. (#1259)

2023-11-01 10:43:09 -04:00

cpu_stark.rs

Constrain clock (#1343)

2023-11-09 16:42:18 -05:00

decode.rs

Combine JUMPDEST and KECCAK_GENERAL flags. (#1259)

2023-11-01 10:43:09 -04:00

dup_swap.rs

Add some documentation in EVM crate (#1295)

2023-10-30 14:28:24 -04:00

gas.rs

Combine JUMPDEST and KECCAK_GENERAL flags. (#1259)

2023-11-01 10:43:09 -04:00

halt.rs

Add some documentation in EVM crate (#1295)

2023-10-30 14:28:24 -04:00

jumps.rs

Add some documentation in EVM crate (#1295)

2023-10-30 14:28:24 -04:00

membus.rs

Add some documentation in EVM crate (#1295)

2023-10-30 14:28:24 -04:00

memio.rs

Add some documentation in EVM crate (#1295)

2023-10-30 14:28:24 -04:00

mod.rs

Constrain clock (#1343)

2023-11-09 16:42:18 -05:00

modfp254.rs

Fix typos in comments

2023-11-04 23:07:36 +08:00

pc.rs

Combine PUSH0 and PC flags. (#1256)

2023-10-30 15:43:06 -04:00

push0.rs

Combine PUSH0 and PC flags. (#1256)

2023-10-30 15:43:06 -04:00

shift.rs

Add some documentation in EVM crate (#1295)

2023-10-30 14:28:24 -04:00

stack_bounds.rs

Add some documentation in EVM crate (#1295)

2023-10-30 14:28:24 -04:00

stack.rs

Add memory checks for prover_input, as well as range_checks for prover_input, syscalls/exceptions (#1168)

2023-11-07 15:52:00 -05:00

syscalls_exceptions.rs

Add some documentation in EVM crate (#1295)

2023-10-30 14:28:24 -04:00