Release v0.5.0 (#395)

* Update changelog

* Bump versions

CHANGELOG.md

@@ -8,6 +8,55 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 
 ## [Unreleased]
 
+## [0.5.0] - 2024-07-15
+
+### Changed
+- fix: docker images (#108)
+- feat: add transaction hash to zero trace (#103)
+- perf: add benchmarks for different components (#273)
+- fix: add check on decoded versioned hashes (#278)
+- fix: discard intermediate proofs (#106)
+- feat: stdio parallel proving (#109)
+- Fixes related to nightly and alloy (#101)
+- Introduce native tracer support (#81)
+- chore: bump alloy to v0.1.1 (#111)
+- Migrate `zero-bin` into `zk-evm`
+- fix: Bring back Cargo.lock (#280)
+- ci: add labeler flag for new `zero-bin` crate + update `CODEOWNERS` (#281)
+- fix: only executables should choose a global allocator (#301)
+- doc: fix typos (#298)
+- misc: fix logging filename (#305)
+- refactor zero_bin leader cli (#317)
+- Removed non-existing dep public `__compat_primitive_types` (#321)
+- perf: Check for zero amount early in 'add_eth' (#322)
+- fix: interval (#324)
+- fix: optimize previous hashes retrieval (#316)
+- feat: add jerigon test workflow (#303)
+- fix: do not add selfdestruct journal entry for empty accounts (#328)
+- ci: add PR check job (#332)
+- Constrain FP254 operations and SUBMOD to be kernel-only (#333)
+- fix: add recipient to touched_addresses even when skipping empty transfer (#336)
+- Fixed leader crashing when `.env` not present (#335)
+- perf: reduce overhead in final iteration of memset (#339)
+- Make leader work no matter what the CWD is (#307)
+- Cleanup/clippy and update pass (#341)
+- Add `Columns` and `DerefColumns` derive macros (#315)
+- migrate compat to micro crate (#308)
+- fix: docker build for worker and leader (#329)
+- parse embedded short nodes (#345)
+- Add `LogicColumnsView` struct for `LogicStark` (#347)
+- fix: properly log final result when due (#352)
+- fix: Check valid range for s and add test (#363)
+- feat: add caching for `get_block` (#346)
+- refactor!: docker builds (#357)
+- fix: tweak fetching of previous block hashes (#370)
+- fix(evm_arithmetization): Adjust layout of `CpuGeneralColumnsView` (#355)
+- feat: skip range-checking `PUSH` operations in `KERNEL` mode (#373)
+- Fix iterator length when fetching block hashes (#374)
+- fix: scale withdrawals amount to gwei (#371)
+- refactor: frontend of `trace_decoder` (#309)
+
+
 ## [0.4.0] - 2024-06-12
 
 ### Changed

Cargo.toml

@@ -59,7 +59,7 @@ enumn = "0.1.13"
 env_logger = "0.11.3"
 eth_trie = "0.4.0"
 ethereum-types = "0.14.1"
-evm_arithmetization = { path = "evm_arithmetization", version = "0.2.0" }
+evm_arithmetization = { path = "evm_arithmetization", version = "0.3.0" }
 futures = "0.3.30"
 hashbrown = "0.14.5"
 hex = "0.4.3"
@@ -72,7 +72,7 @@ itertools = "0.13.0"
 keccak-hash = "0.10.0"
 log = "0.4.21"
 lru = "0.12.3"
-mpt_trie = { path = "mpt_trie", version = "0.3.0" }
+mpt_trie = { path = "mpt_trie", version = "0.4.0" }
 num = "0.4.3"
 num-bigint = "0.4.5"
 num-traits = "0.2.19"
@@ -84,7 +84,7 @@ paste = "1.0.15"
 pest = "2.7.10"
 pest_derive = "2.7.10"
 pretty_env_logger = "0.5.0"
-proof_gen = { path = "proof_gen", version = "0.2.0" }
+proof_gen = { path = "proof_gen", version = "0.3.0" }
 rand = "0.8.5"
 rand_chacha = "0.3.1"
 ripemd = "0.1.3"
@@ -103,7 +103,7 @@ tiny-keccak = "2.0.2"
 tokio = { version = "1.38.0", features = ["full"] }
 toml = "0.8.14"
 tower = "0.4"
-trace_decoder = { path = "trace_decoder", version = "0.4.0" }
+trace_decoder = { path = "trace_decoder", version = "0.5.0" }
 tracing = "0.1"
 tracing-subscriber = { version = "0.3", features = ["env-filter"] }
 u4 = "0.1.0"

evm_arithmetization/Cargo.toml

@@ -1,7 +1,7 @@
 [package]
 name = "evm_arithmetization"
 description = "Implementation of STARKs for the Ethereum Virtual Machine"
-version = "0.2.0"
+version = "0.3.0"
 authors = [
     "Daniel Lubarov <[email protected]>",
     "William Borgeaud <[email protected]>",

mpt_trie/Cargo.toml

@@ -1,7 +1,7 @@
 [package]
 name = "mpt_trie"
 description = "Types and utility functions for building/working with partial Ethereum tries."
-version = "0.3.0"
+version = "0.4.0"
 authors = ["Polygon Zero <[email protected]>"]
 readme = "README.md"
 edition.workspace = true

proof_gen/Cargo.toml

@@ -1,7 +1,7 @@
 [package]
 name = "proof_gen"
 description = "Generates block proofs from zero proof IR."
-version = "0.2.0"
+version = "0.3.0"
 authors = ["Polygon Zero <[email protected]>"]
 edition.workspace = true
 license.workspace = true

trace_decoder/Cargo.toml

@@ -2,7 +2,7 @@
 name = "trace_decoder"
 description = "Ethereum node witness -> Prover input"
 authors = ["Polygon Zero"]
-version = "0.4.0"
+version = "0.5.0"
 edition.workspace = true
 license.workspace = true
 repository.workspace = true