Hamy Ratoanina 1d60431992

Store top of the stack in memory channel 0 (#1215) ...

* Store top of the stack in memory channel 0

* Fix interpreter

* Apply comments

* Remove debugging code

* Merge commit

* Remove debugging comments

* Apply comments

* Fix witness generation for exceptions

* Fix witness generation for exceptions (again)

* Fix modfp254 constraint

2023-10-11 16:28:49 -04:00

..

arithmetic

Remove extra SHL/SHR CTL. (#1270)

2023-10-05 09:56:56 -04:00

bin

fix: remove unstable features from plonky2

2022-11-02 17:50:31 -07:00

byte_packing

Fix description of Range-Check columns in STARK modules

2023-09-29 11:24:36 -04:00

cpu

Store top of the stack in memory channel 0 (#1215)

2023-10-11 16:28:49 -04:00

generation

Fix encoding for empty recipient

2023-10-03 20:21:21 -04:00

keccak

Remove reg_preimage columns in KeccakStark (#1279)

2023-10-06 15:49:57 -04:00

keccak_sponge

Remove reg_preimage columns in KeccakStark (#1279)

2023-10-06 15:49:57 -04:00

memory

Fix description of Range-Check columns in STARK modules

2023-09-29 11:24:36 -04:00

witness

Store top of the stack in memory channel 0 (#1215)

2023-10-11 16:28:49 -04:00

all_stark.rs

Remove reg_preimage columns in KeccakStark (#1279)

2023-10-06 15:49:57 -04:00

config.rs

Keccak benchmark

2022-09-23 10:54:17 -07:00

constraint_consumer.rs

add fix to evm

2022-08-19 17:53:12 -04:00

cross_table_lookup.rs

Merge branch 'main' into 'new-logup'

2023-09-25 11:42:11 -04:00

curve_pairings.rs

merge successful

2023-05-16 15:02:01 +02:00

evaluation_frame.rs

Remove generic_const_exprs feature from EVM crate (#1246)

2023-09-22 09:19:13 -04:00

extension_tower.rs

merge successful

2023-05-16 15:02:01 +02:00

fixed_recursive_verifier.rs

Fix genesis state trie root when calling prove_root (#1271)

2023-10-03 17:47:10 +02:00

get_challenges.rs

Remove some dead_code in EVM crate (#1281)

2023-10-09 09:07:01 -04:00

lib.rs

Merge branch 'main' into 'new-logup'

2023-09-25 11:42:11 -04:00

logic.rs

Remove generic_const_exprs feature from EVM crate (#1246)

2023-09-22 09:19:13 -04:00

lookup.rs

Merge branch 'main' into 'new-logup'

2023-09-25 11:42:11 -04:00

proof.rs

Remove some dead_code in EVM crate (#1281)

2023-10-09 09:07:01 -04:00

prover.rs

Merge branch 'main' into 'new-logup'

2023-09-25 11:42:11 -04:00

recursive_verifier.rs

Remove some dead_code in EVM crate (#1281)

2023-10-09 09:07:01 -04:00

stark_testing.rs

Remove generic_const_exprs feature from EVM crate (#1246)

2023-09-22 09:19:13 -04:00

stark.rs

Merge branch 'main' into 'new-logup'

2023-09-25 11:42:11 -04:00

util.rs

Handle additional panics (#1250)

2023-09-26 11:13:57 -04:00

vanishing_poly.rs

Merge branch 'main' into 'new-logup'

2023-09-25 11:42:11 -04:00

verifier.rs

Merge pull request #1235 from topos-protocol/new-logup

2023-09-27 15:02:21 +01:00