v0.7.0

What's Changed

• Implement first iteration of continuations by @LindaGuiga in #69
• Add trimmed inputs to ExtraSegmentData by @hratoanina in #111
• Fix trace lengths by @hratoanina in #110
• Merge clock fix by @hratoanina in #114
• Update dependencies by @hratoanina in #120
• Add context pruning by @hratoanina in #112
• continuations: initial cleanup pass by @Nashtare in #181
• Generate all segments before proving. by @LindaGuiga in #135
• Put kernel code in first MemBefore by @hratoanina in #178
• continuations: Remove GenerationInputs cloning for segment generation by @Nashtare in #186
• Adapt the circuitry to zero-bin by @LindaGuiga in #184
• Add dummy segment to the left by @LindaGuiga in #185
• Add segment indexing by @Nashtare in #191
• Introduce verify_all_proofs and update integration tests by @LindaGuiga in #192
• New context pruning logic by @LindaGuiga in #170
• Merge with develop by @LindaGuiga in #195
• Add log for end of jumpdest analysis simulation. by @LindaGuiga in #201
• continuations: Remove redundant simulation by @Nashtare in #203
• feat(continuations): trim public values at block proof level by @Nashtare in #235
• Merge develop into feat/continuations by @LindaGuiga in #250
• Bring back support for multi-txn batches by @Nashtare in #227
• feat(continuations): reduce some memory overhead by @Nashtare in #260
• perf(continuations): Only copy non-stale contexts by @Nashtare in #264
• continuations: Remove the need for dummy segments by @LindaGuiga in #245
• Merge develop into feat/continuations by @LindaGuiga in #359
• Improve get_descriptor() by @LindaGuiga in #380
• feat: expand trace decoder tests by @atanmarko in #394
• refactor: use typed tries in trace_decoder by @0xaatif in #393
• Cleanup KeccakSpongeStark index accesses by @Nashtare in #418
• Serialize flaky inputs as 'json' files by @Nashtare in #420
• feat: Implement Columns view for MemoryStark by @Nashtare in #417
• Now warns if file descriptor limit is too small for native mode by @BGluth in #411
• chore(deps): bump openssl from 0.10.64 to 0.10.66 by @dependabot in #431
• Make prove_stdio.sh work on apple chips by @Nashtare in #430
• feat: add conditional feature support in the kernel assembly by @Nashtare in #416
• Reinitialize TO transaction field in main by @LindaGuiga in #440
• Add overflow check in codecopy by @Nashtare in #444
• Check for overflow in context_id increment by @Nashtare in #443
• fix: StorageTrie, ReceiptTrie and TransactionTrie shouldn't use TypedMpt by @0xaatif in #446
• fix: cleanup alloy dependencies by @atanmarko in #449
• Ensure proper offset + size bounds in wcopy by @Nashtare in #445
• fix: set min stack length for transient opcodes by @Nashtare in #450
• feat: test native tracer by @atanmarko in #423
• Increase MAXCODESIZE for Polygon PoS by @Nashtare in #419
• Fix jump_to by @LindaGuiga in #453
• Fix Arithmetic trace length by @hratoanina in #454
• Linked lists for the state trie by @LindaGuiga in #402
• Added derives to pub types where possible for mpt_trie by @BGluth in #456
• perf(continuations): Improve initializations and reduce redundant computations by @Nashtare in #429
• feat(continuations): write storage values directly in linked lists by @LindaGuiga in #433
• Remove self destructs from the native tracer by @4l0n50 in #461
• implement version command for all zero bin binaries by @temaniarpit27 in #451
• Preinitialize segments in all contexts by @hratoanina in #466
• Fix 2-to-1 test for Cancun by @Nashtare in #464
• Process state trie at the end by @LindaGuiga in #476
• bug(zero-bin): verifier binary not picking up pre-processed circuits by @temaniarpit27 in #474
• feat: Implement Columns view for BytePackingStark by @Nashtare in #422
• chore: flush logs upon success by @Nashtare in #481
• Fix account creation reversion in decoder processing by @Nashtare in #480
• Feat/237 mpt trie ext to branch collapse error by @BGluth in #455
• Fix SELFDESTRUCT by @Nashtare in #487
• Circuit cache dir now uses os cache dir by @BGluth in #405
• refactor: trace_decoder::decoding by @0xaatif in #469
• fix: do not force precompile address access in case of txn reversion by @Nashtare in #488
• chore: reorganize cli params and rename some types by @atanmarko in #485
• Fix txn indexing in error message by @Nashtare in #490
• Revert "Fix SELFDESTRUCT" by @Nashtare in #491
• Allow features with macros within macros by @LindaGuiga in #492
• Check the global variable GLOBAL_METADATA_TRIE_DATA_SIZE by @LindaGuiga in #483
• Update CODEOWNERS to add more folks by @muursh in #497
• Do not propagate zero values by @hratoanina in #484
• handle case when contract creation was reverted by @temaniarpit27 in #482
• refactor: use typed_mpt in the backend by @0xaatif in #494
• chore: add common crate for project wide definitions by @atanmarko in #500
• feat: Remove duplicate new_txn_trie_node_byte by @Nashtare in #477
• Parallelize test_only segment simulation by @hratoanina in #498
• Fix selfdestruct for EIP-6780 with non-empty balances by @Nashtare in #493
• Fix: zero-bin is now able again to accesses evm_arithmetization for circuit versions by @BGluth in #310
• Add collapse strategy to PartialTrie variants by @Nashtare in #501
• refactor: remove dead client_code_hash_resolve_f by @0xaatif in #514
• Update specs for continuation by @hratoanina in #489
• continuations: have segment iterator return a Result by @Nashtare in #509
• Make test-only a CLI argument by @hratoanina in #521
• feat: retrieve prover input per block by @atanmarko in #499
• refactor: Hash2Code by @0xaatif in #522
• Made sub-trie errors better by @BGluth in #520
• Feat/continuations by @Nashtare in #171
• add check for checkpoint block number by @temaniarpit27 in #517
• feat: add leader command to flush cache by @Nashtare in #527
• fix: output block proof to array format by @atanmarko in #536
• Ignore too_long_first_doc_paragraph lint by @LindaGuiga in #545
• Add txn parsing tests by @hratoanina in #540
• Check the keys in the state trie correspond to accounts and storage linked lists by @LindaGuiga in #502
• Reuse txn rlp by @hratoanina in #547
• refactor: StateTrie operations are keyed by Address where possible by @0xaatif in #537
• feat: use eth_call with sc to retrieve block hashes by @atanmarko in #519
• feat: extract decoded transaction from the block by @atanmarko in #504
• fix: limit number of connections by @atanmarko in #546
• fix: eth_call for previous block hashes by @atanmarko in #556
• refactor: trait StateTrie by @0xaatif in #542
• Move documentation to Github Pages by @Nashtare in #557
• Remove unnecessary global metadata by @hratoanina in #549
• fix: dockerhub access by @atanmarko in #486
• chore: move provider to the common crate by @atanmarko in #567
• refactor: trace_decoder input structures by @0xaatif in #558
• Reuse the same RLP blob by @hratoanina in #552
• Prune non-necessary values from PublicValues prior 2-to-1 aggregation by @Nashtare in #526
• Introduce a burn address for cdk_erigon by @LindaGuiga in #463
• chore: update alloy by @0xaatif in #573
• trace_decoder: Tweak batch size for small blocks by @Nashtare in #576
• chore: fix some variable names and comments by @Nashtare in #578
• Reduce overhead in storage reads and fix stack descriptions by @Nashtare in #572
• Fix pairing tests for null accumulated values by @Nashtare in #579
• Expand conditional blocks logic in Kernel parsing by @Nashtare in #574
• feat: follow from block interval by @atanmarko in #582
• Fix clean leader's command by @Nashtare in #586
• fix: disable dockerhub login in ci tests by @atanmarko in #588
• chore: Add additional people as code owners for CI related changes by @Nashtare in #589
• fix: Do not write proofs to disk in test only mode by @Nashtare in #592
• chore: cleanup rpc tool parameters by @atanmarko in #595
• refactor: trace decoder tests by @0xaatif in #596
• Mark constant functions with const by @julianbraha in #571
• chore: remove unused code by @Nashtare in #602
• Bring in Poseidon implementation under cdk_erigon feature flag by @Nashtare in #577
• feat: add pre-state execution for polygon-cdk by @Nashtare in #594
• feat: Add feature-gating in prover code based on target network by @Nashtare in #598
• optimize: limit number of blocks proving in parallel by @atanmarko in #600
• doc(book): Fill up empty sections and add table diagram by @Nashtare in #608
• Fix github pages deployment by @Nashtare in #616
• Enable withdrawals only for Eth mainnet by @Nashtare in #610
• Clarify eth_to_gwei helper name and move to common crate by @Nashtare in #619
• chore: move utility functions to common crate by @atanmarko in #615
• refactor: trace decoder backend by @0xaatif in #583
• feat: add consolidated block hashes across checkpoints by @Nashtare in #551
• Skip missing Cancun bits for non Eth mainnet chains by @Nashtare in #605
• Search in linked lists using a BTree by @4l0n50 in #603
• Small fixes to rpc and common modules by @Nashtare in #629
• refactor: one zero package by @0xaatif in #625
• feat(type2): Skip jumpdest analysis by @Nashtare in #631
• refactor: --version in the CLI by @0xaatif in #632
• Refactor linked lists initial hashing by @4l0n50 in #581
• Fix address masking in trace_decoder processing by @Nashtare in #639
• make pool size configurable by @temaniarpit27 in #644
• Check block_timestamp always increases. by @LindaGuiga in #638
• Remove unnecessary overhead in linked list preprocessing by @Nashtare in #642
• misc: Do not perform sanity check on test_only runs by @Nashtare in #635
• Refactor recursive circuit initialization and per table proving and verification with macros by @sai-deng in #647
• feat: add network-specific pre-state execution in decoder by @Nashtare in #633
• Hide associated types and remove types module in proof_gen by @Nashtare in #649
• Remove proof_gen crate by @Nashtare in #650
• feat: trie diff tool by @atanmarko in #630
• build: pin toolchain by @0xaatif in #665
• Fix misplaced overflow check in wcopy by @Nashtare in #661
• Refactor access list search by @4l0n50 in #637
• perf: Remove some binary ops & make KERNEL init section free of logic operations by @Nashtare in #658
• refactor: sort, merge, cleanup dependencies by @0xaatif in #677
• fix(ci): use install-action instead of cargo-binstall by @0xaatif in #679
• Refactor proof types and method outputs by @Nashtare in #672
• fix: add timeouts to ci tests by @atanmarko in #687
• misc: print script logs upon failure by @Nashtare in #686
• Fix flaky test when DEBUG logging is enabled by @Nashtare in #685
• Add Tests for Segment Proving Without Keccak Tables by @sai-deng in #648
• dev: syntax highlighting for EVM Assembly by @0xaatif in #674
• Expand error messages by @Nashtare in #689
• Fix decoder parsing with new storage tries by @Nashtare in #692
• Fix invalid blob_gas_fee burn by @Nashtare in #691
• Fix address marking for state reads by @Nashtare in #695
• fix: missing code read in state write by @Nashtare in #699
• feat: trie multi diff comparison by @atanmarko in #655
• Gate Code for Testing Purposes Under testing Modules by @sai-deng in #688
• perf: Improve PUSH checking in JDA by @hratoanina in #696
• Update the root circuit to conditionally verify Keccak proofs by @sai-deng in #652
• Enables optional verification of Keccak tables by @sai-deng in #657
• Fix zero_bin test by @sai-deng in #708
• Fix contract call reversion by @Nashtare in #709
• fix: Add jump DDOS protection by @Nashtare in #710
• fix: check for gas limit overflow by @Nashtare in #711
• perf: Inline some hot spots in witness generation by @Nashtare in #715
• perf: reduce MemBefore initial size by @Nashtare in #684
• Optimize code by using De Morgan laws by @einar-polygon in #670
• fix: reset global metadata fields in memory post txn processing by @Nashtare in #717
• Fix check against 0xEF byte in contract creation. by @LindaGuiga in #719
• Optimize zkVM Proving by Skipping Unused Keccak Tables by @sai-deng in #690
• Assign specific jobs to dedicated workers by @temaniarpit27 in #564
• feat: SMT support in trace_decoder ignores storage by @0xaatif in #693
• Bump plonky2 (serialization fix) by @Nashtare in #729
• Fix max_cpu_len_log by @sai-deng in #714
• feat: Enable more optional tables by @sai-deng in #724
• fix: unused MemAfter table by @sai-deng in #738
• fix: more robust SMT parsing by @0xaatif in #733
• Move opcode_count Under Test Configuration by @sai-deng in #736
• feat: trait World for trace_decoder by @0xaatif in #732
• BlockInterval support for hash ranges by @sergerad in #728
• chore: update codeowners by @atanmarko in #750
• ci: warn on outdated top level dependencies by @0xaatif in #757
• chore: remove conditional ci execution by @atanmarko in #754
• feat: add yaml linter by @atanmarko in #756
• Replace regex in trie diff main by @sergerad in #758
• feat: add ci shellcheck by @atanmarko in #753
• Add faster STARK configuration for testing purposes by @sai-deng in #739
• Add test config in zero bin by @sai-deng in #742
• ci: update actions/checkout@v3 -> v4 by @0xaatif in #771
• Prune child context in create and call faults by @LindaGuiga in #747
• Refactor recursion params by @sai-deng in #769
• feat: use abort signal for proving tasks by @atanmarko in #748
• feat: github proving benchmark by @atanmarko in #701
• feat: prove stdio using amqp docker compose setup by @atanmarko in #763
• Fix witness endpoint for cdk by @Nashtare in #773
• Use test config in CI by @sai-deng in #770
• Fix bytecode hashing for Type2 SMT by @Nashtare in #782
• feat: Add env support to all leader prog args by @BGluth in #786
• fix: follow from block interval by @atanmarko in #789
• Replace ethereum_types with alloy::primitives in smt_trie crate by @sergerad in #772
• refactor: remove the compat crate by @0xaatif in #795
• Oxidize prove_rpc.sh by @sergerad in #796
• feat: revamp zero prove function by @atanmarko in #793

New Contributors

• @dependabot made their first contribution in #431
• @temaniarpit27 made their first contribution in #451
• @julianbraha made their first contribution in #571
• @sai-deng made their first contribution in #647
• @sergerad made their first contribution in #728

Full Changelog: v0.6.0...v0.7.0

What's Changed

• Implement first iteration of continuations by @LindaGuiga in #69
• Add trimmed inputs to ExtraSegmentData by @hratoanina in #111
• Fix trace lengths by @hratoanina in #110
• Merge clock fix by @hratoanina in #114
• Update dependencies by @hratoanina in #120
• Add context pruning by @hratoanina in #112
• continuations: initial cleanup pass by @Nashtare in #181
• Generate all segments before proving. by @LindaGuiga in #135
• Put kernel code in first MemBefore by @hratoanina in #178
• continuations: Remove GenerationInputs cloning for segment generation by @Nashtare in #186
• Adapt the circuitry to zero-bin by @LindaGuiga in #184
• Add dummy segment to the left by @LindaGuiga in #185
• Add segment indexing by @Nashtare in #191
• Introduce verify_all_proofs and update integration tests by @LindaGuiga in #192
• New context pruning logic by @LindaGuiga in #170
• Merge with develop by @LindaGuiga in #195
• Add log for end of jumpdest analysis simulation. by @LindaGuiga in #201
• continuations: Remove redundant simulation by @Nashtare in #203
• feat(continuations): trim public values at block proof level by @Nashtare in #235
• Merge develop into feat/continuations by @LindaGuiga in #250
• Bring back support for multi-txn batches by @Nashtare in #227
• feat(continuations): reduce some memory overhead by @Nashtare in #260
• perf(continuations): Only copy non-stale contexts by @Nashtare in #264
• continuations: Remove the need for dummy segments by @LindaGuiga in #245
• Merge develop into feat/continuations by @LindaGuiga in #359
• Improve get_descriptor() by @LindaGuiga in #380
• feat: expand trace decoder tests by @atanmarko in #394
• refactor: use typed tries in trace_decoder by @0xaatif in #393
• Cleanup KeccakSpongeStark index accesses by @Nashtare in #418
• Serialize flaky inputs as 'json' files by @Nashtare in #420
• feat: Implement Columns view for MemoryStark by @Nashtare in #417
• Now warns if file descriptor limit is too small for native mode by @BGluth in #411
• chore(deps): bump openssl from 0.10.64 to 0.10.66 by @dependabot in #431
• Make prove_stdio.sh work on apple chips by @Nashtare in #430
• feat: add conditional feature support in the kernel assembly by @Nashtare in #416
• Reinitialize TO transaction field in main by @LindaGuiga in #440
• Add overflow check in codecopy by @Nashtare in #444
• Check for overflow in context_id increment by @Nashtare in #443
• fix: StorageTrie, ReceiptTrie and TransactionTrie shouldn't use TypedMpt by @0xaatif in #446
• fix: cleanup alloy dependencies by @atanmarko in #449
• Ensure proper offset + size bounds in wcopy by @Nashtare in #445
• fix: set min stack length for transient opcodes by @Nashtare in #450
• feat: test native tracer by @atanmarko in #423
• Increase MAXCODESIZE for Polygon PoS by @Nashtare in #419
• Fix jump_to by @LindaGuiga in #453
• Fix Arithmetic trace length by @hratoanina in #454
• Linked lists for the state trie by @LindaGuiga in #402
• Added derives to pub types where possible for mpt_trie by @BGluth in #456
• perf(continuations): Improve initializations and reduce redundant computations by @Nashtare in #429
• feat(continuations): write storage values directly in linked lists by @LindaGuiga in #433
• Remove self destructs from the native tracer by @4l0n50 in #461
• implement version command for all zero bin binaries by @temaniarpit27 in #451
• Preinitialize segments in all contexts by @hratoanina in #466
• Fix 2-to-1 test for Cancun by @Nashtare in #464
• Process state trie at the end by @LindaGuiga in #476
• bug(zero-bin): verifier binary not picking up pre-processed circuits by @temaniarpit27 in #474
• feat: Implement Columns view for BytePackingStark by @Nashtare in #422
• chore: flush logs upon success by @Nashtare in #481
• Fix account creation reversion in decoder processing by @Nashtare in #480
• Feat/237 mpt trie ext to branch collapse error by @BGluth in #455
• Fix SELFDESTRUCT by @Nashtare in #487
• Circuit cache dir now uses os cache dir by @BGluth in #405
• refactor: trace_decoder::decoding by @0xaatif in #469
• fix: do not force precompile address access in case of txn reversion by @Nashtare in #488
• chore: reorganize cli params and rename some types by @atanmarko in #485
• Fix txn indexing in error message by @Nashtare in #490
• Revert "Fix SELFDESTRUCT" by @Nashtare in #491
• Allow features with macros within macros by @LindaGuiga in #492
• Check the global variable GLOBAL_METADATA_TRIE_DATA_SIZE by @LindaGuiga in #483
• Update CODEOWNERS to add more folks by @muursh in #497
• Do not propagate zero values by @hratoanina in #484
• handle case when contract creation was reverted by @temaniarpit27 in #482
• refactor: use typed_mpt in the backend by @0xaatif in #494
• chore: add common crate for project wide definitions by @atanmarko in #500
• feat: Remove duplicate new_txn_trie_node_byte by @Nashtare in #477
• Parallelize test_only segment simulation by @hratoanina in #498
• Fix selfdestruct for EIP-6780 with non-empty balances by @Nashtare in #493
• Fix: zero-bin is now able again to accesses evm_arithmetization for circuit versions by @BGluth in #310
• Add collapse strategy to PartialTrie variants by @Nashtare in #501
• refactor: remove dead client_code_hash_resolve_f by @0xaatif in #514
• Update specs for continuation by @hratoanina in #489
• continuations: have segment iterator return a Result by @Nashtare in #509
• Make test-only a CLI argument by @hratoanina in #521
• feat: retrieve prover input per block by @atanmarko in #499
• refactor: Hash2Code by @0xaatif in #522
• Made sub-trie errors better by @BGluth in #520
• Feat/continuations by @Nashtare in #171
• add check for checkpoint block number by @temaniarpit27 in #517
• feat: add leader command to flush cache by @Nashtare in #527
• fix: output block proof to array format by @atanmarko in #536
• Ignore too_long_first_doc_paragraph lint by @LindaGuiga in #545
• Add txn parsing tests by @hratoanina in #540
• Check the keys in the state trie correspond to accounts and storage linked lists by @LindaGuiga in #502
• Reuse txn rlp by @hratoanina in #547
• refactor: StateTrie operations are keyed by Address where possible by @0xaatif in #537
• feat: use eth_call with sc to retrieve block hashes by @atanmarko in #519
• feat: extract decoded transaction from the block by @atanmarko in #504
• fix: limit number of connections by @atanmarko in #546
• fix: eth_call for previous block hashes by @atanmarko in #556
• refactor: trait StateTrie by @0xaatif in #542
• Move documentation to Github Pages by @Nashtare in #557
• Remove unnecessary global metadata by @hratoanina in #549
• fix: dockerhub access by @atanmarko in #486
• chore: move provider to the common crate by @atanmarko in #567
• refactor: trace_decoder input structures by @0xaatif in #558
• Reuse the same RLP blob by @hratoanina in #552
• Prune non-necessary values from PublicValues prior 2-to-1 aggregation by @Nashtare in #526
• Introduce a burn address for cdk_erigon by @LindaGuiga in #463
• chore: update alloy by @0xaatif in #573
• trace_decoder: Tweak batch size for small blocks by @Nashtare in #576
• chore: fix some variable names and comments by @Nashtare in #578
• Reduce overhead in storage reads and fix stack descriptions by @Nashtare in #572
• Fix pairing tests for null accumulated values by @Nashtare in #579
• Expand conditional blocks logic in Kernel parsing by @Nashtare in #574
• feat: follow from block interval by @atanmarko in #582
• Fix clean leader's command by @Nashtare in #586
• fix: disable dockerhub login in ci tests by @atanmarko in #588
• chore: Add additional people as code owners for CI related changes by @Nashtare in #589
• fix: Do not write proofs to disk in test only mode by @Nashtare in #592
• chore: cleanup rpc tool parameters by @atanmarko in #595
• refactor: trace decoder tests by @0xaatif in #596
• Mark constant functions with const by @julianbraha in #571
• chore: remove unused code by @Nashtare in #602
• Bring in Poseidon implementation under cdk_erigon feature flag by @Nashtare in #577
• feat: add pre-state execution for polygon-cdk by @Nashtare in #594
• feat: Add feature-gating in prover code based on target network by @Nashtare in #598
• optimize: limit number of blocks proving in parallel by @atanmarko in #600
• doc(book): Fill up empty sections and add table diagram by @Nashtare in #608
• Fix github pages deployment by @Nashtare in #616
• Enable withdrawals only for Eth mainnet by @Nashtare in #610
• Clarify eth_to_gwei helper name and move to common crate by @Nashtare in #619
• chore: move utility functions to common crate by @atanmarko in #615
• refactor: trace decoder backend by @0xaatif in #583
• feat: add consolidated block hashes across checkpoints by @Nashtare in #551
• Skip missing Cancun bits for non Eth mainnet chains by @Nashtare in #605
• Search in linked lists using a BTree by @4l0n50 in #603
• Small fixes to rpc and common modules by @Nashtare in #629
• refactor: one zero package by @0xaatif in #625
• feat(type2): Skip jumpdest analysis by @Nashtare in #631
• refactor: --version in the CLI by @0xaatif in #632
• Refactor linked lists initial hashing by @4l0n50 in #581
• Fix address masking in trace_decoder processing by @Nashtare in #639
• make pool size configurable by @temaniarpit27 in #644
• Check block_timestamp always increases. by @LindaGuiga in #638
• Remove unnecessary overhead in linked list preprocessing by @Nashtare in #642
• misc: Do not perform sanity check on test_only runs by @Nashtare in #635
• Refactor recursive circuit initialization and per table proving and verification with macros by @sai-deng in #647
• feat: add network-specific pre-state execution in decoder by @Nashtare in #633
• Hide associated types and remove types module in proof_gen by @Nashtare in #649
• Remove proof_gen crate by @Nashtare in #650
• feat: trie diff tool by @atanmarko in #630
• build: pin toolchain by @0xaatif in #665
• Fix misplaced overflow check in wcopy by @Nashtare in #661
• Refactor access list search by @4l0n50 in #637
• perf: Remove some binary ops & make KERNEL init section free of logic operations by @Nashtare in #658
• refactor: sort, merge, cleanup dependencies by @0xaatif in #677
• fix(ci): use install-action instead of cargo-binstall by @0xaatif in #679
• Refactor proof types and method outputs by @Nashtare in #672
• fix: add timeouts to ci tests by @atanmarko in #687
• misc: print script logs upon failure by @Nashtare in #686
• Fix flaky test when DEBUG logging is enabled by @Nashtare in #685
• Add Tests for Segment Proving Without Keccak Tables by @sai-deng in #648
• dev: syntax highlighting for EVM Assembly by @0xaatif in #674
• Expand error messages by @Nashtare in #689
• Fix decoder parsing with new storage tries by @Nashtare in #692
• Fix invalid blob_gas_fee burn by @Nashtare in #691
• Fix address marking for state reads by @Nashtare in #695
• fix: missing code read in state write by @Nashtare in #699
• feat: trie multi diff comparison by @atanmarko in #655
• Gate Code for Testing Purposes Under testing Modules by @sai-deng in #688
• perf: Improve PUSH checking in JDA by @hratoanina in #696
• Update the root circuit to conditionally verify Keccak proofs by @sai-deng in #652
• Enables optional verification of Keccak tables by @sai-deng in #657
• Fix zero_bin test by @sai-deng in #708
• Fix contract call reversion by @Nashtare in #709
• fix: Add jump DDOS protection by @Nashtare in #710
• fix: check for gas limit overflow by @Nashtare in #711
• perf: Inline some hot spots in witness generation by @Nashtare in #715
• perf: reduce MemBefore initial size by @Nashtare in #684
• Optimize code by using De Morgan laws by @einar-polygon in #670
• fix: reset global metadata fields in memory post txn processing by @Nashtare in #717
• Fix check against 0xEF byte in contract creation. by @LindaGuiga in #719
• Optimize zkVM Proving by Skipping Unused Keccak Tables by @sai-deng in #690
• Assign specific jobs to dedicated workers by @temaniarpit27 in #564
• feat: SMT support in trace_decoder ignores storage by @0xaatif in #693
• Bump plonky2 (serialization fix) by @Nashtare in #729
• Fix max_cpu_len_log by @sai-deng in #714
• feat: Enable more optional tables by @sai-deng in #724
• fix: unused MemAfter table by @sai-deng in #738
• fix: more robust SMT parsing by @0xaatif in #733
• Move opcode_count Under Test Configuration by @sai-deng in #736
• feat: trait World for trace_decoder by @0xaatif in #732
• BlockInterval support for hash ranges by @sergerad in #728
• chore: update codeowners by @atanmarko in #750
• ci: warn on outdated top level dependencies by @0xaatif in #757
• chore: remove conditional ci execution by @atanmarko in #754
• feat: add yaml linter by @atanmarko in #756
• Replace regex in trie diff main by @sergerad in #758
• feat: add ci shellcheck by @atanmarko in #753
• Add faster STARK configuration for testing purposes by @sai-deng in #739
• Add test config in zero bin by @sai-deng in #742
• ci: update actions/checkout@v3 -> v4 by @0xaatif in #771
• Prune child context in create and call faults by @LindaGuiga in #747
• Refactor recursion params by @sai-deng in #769
• feat: use abort signal for proving tasks by @atanmarko in #748
• feat: github proving benchmark by @atanmarko in #701
• feat: prove stdio using amqp docker compose setup by @atanmarko in #763
• Fix witness endpoint for cdk by @Nashtare in #773
• Use test config in CI by @sai-deng in #770
• Fix bytecode hashing for Type2 SMT by @Nashtare in #782
• feat: Add env support to all leader prog args by @BGluth in #786
• fix: follow from block interval by @atanmarko in #789
• Replace ethereum_types with alloy::primitives in smt_trie crate by @sergerad in #772
• refactor: remove the compat crate by @0xaatif in #795
• Oxidize prove_rpc.sh by @sergerad in #796
• feat: revamp zero prove function by @atanmarko in #793
• v0.7.0 release by @Nashtare in #808

New Contributors

• @dependabot made their first contribution in #431
• @temaniarpit27 made their first contribution in #451
• @julianbraha made their first contribution in #571
• @sai-deng made their first contribution in #647
• @sergerad made their first contribution in #728

Full Changelog: v0.6.0...v0.7.0