Robin Salen f01098a783

Constrain keccak general

2023-08-01 11:16:45 -04:00

..

columns

PUSH0

2023-06-13 13:29:30 -07:00

docs

Gas handling brain dump

2023-07-31 17:19:46 -07:00

kernel

Fix the memory CTL and implement the verifier memory bus

2023-07-27 18:20:03 -04:00

simple_logic

Compiler errors + refactor

2022-11-28 13:19:40 -08:00

bootstrap_kernel.rs

Fix the memory CTL and implement the verifier memory bus

2023-07-27 18:20:03 -04:00

contextops.rs

Basic smart contract test

2023-01-14 21:18:58 -08:00

control_flow.rs

PUSH0

2023-06-13 13:29:30 -07:00

cpu_stark.rs

Merge syscall and exceptions constraints.

2023-07-24 15:40:48 +01:00

decode.rs

PUSH0

2023-06-13 13:29:30 -07:00

dup_swap.rs

Constraints for dup/swap (#743)

2022-10-03 12:31:43 -07:00

gas.rs

Revert "clippy fixes"

2023-07-07 12:16:43 -07:00

jumps.rs

Simplify stack bounds constraints

2023-06-07 18:27:23 -07:00

membus.rs

Basic smart contract test

2023-01-14 21:18:58 -08:00

memio.rs

Revert "clippy fixes"

2023-07-07 12:16:43 -07:00

mod.rs

Merge syscall and exceptions constraints.

2023-07-24 15:40:48 +01:00

modfp254.rs

Add Fp254 ops to the CPU table (#779)

2022-10-13 14:02:19 -07:00

pc.rs

Implement PC instruction (#847)

2022-12-11 10:41:32 -08:00

push0.rs

William comments

2023-06-14 20:47:15 -07:00

shift.rs

Misc witness generation fixes

2022-12-03 21:09:57 -08:00

stack_bounds.rs

Minor: William comment

2023-06-13 10:39:11 -07:00

stack.rs

Constrain keccak general

2023-08-01 11:16:45 -04:00

syscalls_exceptions.rs

Merge syscall and exceptions constraints.

2023-07-24 15:40:48 +01:00