Fix genesis block number in prove_block bug Something isn't working
#1382 by Nashtare was merged Nov 27, 2023 Loading…
@Nashtare
8
Add range check constraints for the looked table soundness Soundness related changes
#1380 by LindaGuiga was merged Nov 22, 2023 Loading…
2
Check is_kernel_mode when halting soundness Soundness related changes
#1369 by hratoanina was merged Nov 22, 2023 Loading…
2
Initialize blockhashes bug Something isn't working
#1370 by LindaGuiga was merged Nov 22, 2023 Loading…
@LindaGuiga
5
Revert "Make gas fit in 2 limbs (#1261)"
#1361 by Nashtare was merged Nov 17, 2023 Loading…
@Nashtare
5
Constrain is_keccak_sponge soundness Soundness related changes
#1357 by hratoanina was merged Nov 15, 2023 Loading…
2
Combine mload_32bytes and mstore_32bytes flags optimization Performance related changes
#1252 by LindaGuiga was closed Nov 15, 2023 Loading…
6
Contract using only native instructions can cause infinite loop bug Something isn't working
#1298 by wborgeaud was closed Nov 15, 2023
1
6
Implement out of gas exception
#1328 by hratoanina was merged Nov 15, 2023 Loading…
1
8
The top of the stack isn't always range-checked soundness Soundness related changes
#1325 by Nashtare was closed Nov 15, 2023
1
1
Add missing constraints soundness Soundness related changes
#1150 by nbgl was closed Nov 15, 2023
4 of 5 tasks
1
9
Add push constraints soundness Soundness related changes
#1352 by Nashtare was merged Nov 15, 2023 Loading…
2
@Nashtare
6
Remove values of last memory channel optimization Performance related changes
#1291 by hratoanina was merged Nov 13, 2023 Loading…
27
Reduce visibility for a bunch of structs and methods in EVM crate
#1289 by Nashtare was merged Nov 13, 2023 Loading…
@Nashtare
2
Range-check keccak sponge inputs to bytes soundness Soundness related changes
#1342 by Nashtare was merged Nov 10, 2023 Loading…
@Nashtare
12
Constrain clock soundness Soundness related changes
#1343 by hratoanina was merged Nov 9, 2023 Loading…
4
Add memory checks for prover_input, as well as range_checks for prover_input, syscalls/exceptions soundness Soundness related changes
#1168 by LindaGuiga was merged Nov 7, 2023 Loading…
@LindaGuiga
18
Add withdrawals
#1322 by wborgeaud was merged Nov 7, 2023 Loading…
6
Remove len column in KeccakSpongeStark optimization Performance related changes
#1334 by LindaGuiga was merged Nov 6, 2023 Loading…
3
Add test for ERC20 transfer
#1331 by wborgeaud was merged Nov 6, 2023 Loading…
1
Constrain uninitialized memory to 0 bug Something isn't working soundness Soundness related changes
#1318 by hratoanina was merged Nov 3, 2023 Loading…
@hratoanina
3
Add test for selfdestruct
#1321 by wborgeaud was merged Nov 2, 2023 Loading…
2
Combine JUMPDEST and KECCAK_GENERAL flags. optimization Performance related changes
#1259 by LindaGuiga was merged Nov 1, 2023 Loading…
7
Add context constraints soundness Soundness related changes
#1260 by hratoanina was merged Nov 1, 2023 Loading…
@nbgl
11
Use memcpy_bytes whenever possible optimization Performance related changes
#1317 by Nashtare was merged Oct 31, 2023 Loading…
@Nashtare
2
Loading