wborgeaud 1cc38bb032 Add Keccak input registers

2022-06-09 22:31:33 +02:00

..

cpu

EVM decode (#553)

2022-06-03 19:24:47 -07:00

keccak

Add Keccak input registers

2022-06-09 22:31:33 +02:00

all_stark.rs

moved back haha

2022-06-07 14:20:51 -07:00

config.rs

Rename starky2 -> evm (#547)

2022-05-18 10:32:14 -07:00

constraint_consumer.rs

Rename starky2 -> evm (#547)

2022-05-18 10:32:14 -07:00

cross_table_lookup.rs

added check on length of

2022-06-07 10:57:06 -07:00

get_challenges.rs

Fix bug. Recursive verifier test passes

2022-05-26 20:37:30 +02:00

lib.rs

moved back haha

2022-06-07 14:20:51 -07:00

permutation.rs

Change some fn to take iterators instead of slices

2022-06-03 19:20:19 +02:00

proof.rs

s/right/next

2022-06-02 23:55:56 +02:00

prover.rs

Minor

2022-06-01 20:17:21 +02:00

recursive_verifier.rs

s/right/next

2022-06-02 23:55:56 +02:00

stark_testing.rs

Finish test

2022-05-19 11:10:10 +02:00

stark.rs

s/right/next

2022-06-02 23:55:56 +02:00

util.rs

Rename starky2 -> evm (#547)

2022-05-18 10:32:14 -07:00

vanishing_poly.rs

Compiles

2022-05-24 16:24:52 +02:00

vars.rs

Rename starky2 -> evm (#547)

2022-05-18 10:32:14 -07:00

verifier.rs

s/right/next

2022-06-02 23:55:56 +02:00