v1.0.0 release (#1637)

* Update CHANGELOG

* Bump versions

Author: Nashtare

CHANGELOG.md

@@ -7,8 +7,41 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 
 ## [Unreleased]
 
+## [1.0.0] - 2024-11-25
+
+### Changed
+- Unified Recursion Circuit for Multi-Degree Starky Proof Verification ([#1635](https://github.com/0xPolygonZero/plonky2/pull/1635))
+- Fix `DummyProofGenerator` serialization ([#1634](https://github.com/0xPolygonZero/plonky2/pull/1634))
+- Refactor CTL Handling ([#1629](https://github.com/0xPolygonZero/plonky2/pull/1629))
+- Added serialize and deserialize to starky proofs ([#1630](https://github.com/0xPolygonZero/plonky2/pull/1630))
+- changed to web-time in circuit_builder ([#1624](https://github.com/0xPolygonZero/plonky2/pull/1624))
+- Fix example and documentation rendering ([#1614](https://github.com/0xPolygonZero/plonky2/pull/1614))
+- Add `connect_array` convenience method in `CircuitBuilder` ([#1620](https://github.com/0xPolygonZero/plonky2/pull/1620))
+- chore: remove compressed StarkProof variant ([#1618](https://github.com/0xPolygonZero/plonky2/pull/1618))
+- Do not panic on `wire set twice` or `generator not run` issues ([#1611](https://github.com/0xPolygonZero/plonky2/pull/1611))
+- Add Support for Batch STARKs with Proving, Verification, and Recursion ([#1600](https://github.com/0xPolygonZero/plonky2/pull/1600))
+- chore: fix clippy ([#1609](https://github.com/0xPolygonZero/plonky2/pull/1609))
+- fix(starky): observe public inputs ([#1607](https://github.com/0xPolygonZero/plonky2/pull/1607))
+- ci: add PR check job ([#1604](https://github.com/0xPolygonZero/plonky2/pull/1604))
+- Add `Field::shifted_powers` and some iterator niceties ([#1599](https://github.com/0xPolygonZero/plonky2/pull/1599))
+- fix(field): Re-enable `alloc` for tests ([#1601](https://github.com/0xPolygonZero/plonky2/pull/1601))
+- Add row index to constraint failure message ([#1598](https://github.com/0xPolygonZero/plonky2/pull/1598))
+- doc: clarify that `zk` is disabled with `starky` ([#1596](https://github.com/0xPolygonZero/plonky2/pull/1596))
+- Allow multiple `extra_looking_sums` for the same looked table ([#1591](https://github.com/0xPolygonZero/plonky2/pull/1591))
+- Fix CTL generation of last row ([#1585](https://github.com/0xPolygonZero/plonky2/pull/1585))
+- change `set_stark_proof_target`'s witness to `WitnessWrite` ([#1592](https://github.com/0xPolygonZero/plonky2/pull/1592))
+- doc+fix: `clippy::doc-lazy-continuation` ([#1594](https://github.com/0xPolygonZero/plonky2/pull/1594))
+- fix: remove clippy unexpected_cfgs warning ([#1588](https://github.com/0xPolygonZero/plonky2/pull/1588))
+- Changes to prepare for dummy segment removal in zk_evm's continuations ([#1587](https://github.com/0xPolygonZero/plonky2/pull/1587))
+- update 2-adic generator to `0x64fdd1a46201e246` ([#1579](https://github.com/0xPolygonZero/plonky2/pull/1579))
+- Fix `verify_cross_table_lookups` with no `ctl_extra_looking_sums` ([#1584](https://github.com/0xPolygonZero/plonky2/pull/1584))
+- Remove restriction to binary-only multiplicities ([#1577](https://github.com/0xPolygonZero/plonky2/pull/1577))
+- Remove obsolete function `ceil_div_usize` ([#1574](https://github.com/0xPolygonZero/plonky2/pull/1574))
+
+
 ## [0.2.3] - 2024-04-16
 
+### Changed
 - Code refactoring ([#1558](https://github.com/0xPolygonZero/plonky2/pull/1558))
 - Simplify types: remove option from CTL filters ([#1567](https://github.com/0xPolygonZero/plonky2/pull/1567))
 - Add stdarch_x86_avx512 feature ([#1566](https://github.com/0xPolygonZero/plonky2/pull/1566))

field/Cargo.toml

@@ -1,7 +1,7 @@
 [package]
 name = "plonky2_field"
 description = "Finite field arithmetic"
-version = "0.2.2"
+version = "1.0.0"
 authors = ["Daniel Lubarov <[email protected]>", "William Borgeaud <[email protected]>", "Jacqueline Nabaglo <[email protected]>", "Hamish Ivey-Law <[email protected]>"]
 edition.workspace = true
 license.workspace = true
@@ -20,7 +20,7 @@ static_assertions = { workspace = true }
 unroll = { workspace = true }
 
 # Local dependencies
-plonky2_util = { version = "0.2.0", path = "../util", default-features = false }
+plonky2_util = { version = "1.0.0", path = "../util", default-features = false }
 
 
 # Display math equations properly in documentation

maybe_rayon/Cargo.toml

@@ -1,7 +1,7 @@
 [package]
 name = "plonky2_maybe_rayon"
 description = "Feature-gated wrapper around rayon"
-version = "0.2.0"
+version = "1.0.0"
 edition.workspace = true
 license.workspace = true
 homepage.workspace = true

plonky2/Cargo.toml

@@ -1,7 +1,7 @@
 [package]
 name = "plonky2"
 description = "Recursive SNARKs based on PLONK and FRI"
-version = "0.2.2"
+version = "1.0.0"
 authors = ["Daniel Lubarov <[email protected]>", "William Borgeaud <[email protected]>", "Nicholas Ward <[email protected]>"]
 readme = "README.md"
 edition.workspace = true
@@ -34,9 +34,9 @@ unroll = { workspace = true }
 web-time = { version = "1.0.0", optional = true }
 
 # Local dependencies
-plonky2_field = { version = "0.2.2", path = "../field", default-features = false }
-plonky2_maybe_rayon = { version = "0.2.0", path = "../maybe_rayon", default-features = false }
-plonky2_util = { version = "0.2.0", path = "../util", default-features = false }
+plonky2_field = { version = "1.0.0", path = "../field", default-features = false }
+plonky2_maybe_rayon = { version = "1.0.0", path = "../maybe_rayon", default-features = false }
+plonky2_util = { version = "1.0.0", path = "../util", default-features = false }
 
 
 [target.'cfg(all(target_arch = "wasm32", target_os = "unknown"))'.dependencies]

starky/Cargo.toml

@@ -1,7 +1,7 @@
 [package]
 name = "starky"
 description = "Implementation of STARKs"
-version = "0.4.0"
+version = "1.0.0"
 authors = ["Daniel Lubarov <[email protected]>", "William Borgeaud <[email protected]>"]
 readme = "README.md"
 edition.workspace = true
@@ -27,9 +27,9 @@ serde = { workspace = true, features = ["rc"] }
 num-bigint = { version = "0.4.3", default-features = false }
 
 # Local dependencies
-plonky2 = { version = "0.2.2", path = "../plonky2", default-features = false }
-plonky2_maybe_rayon = { version = "0.2.0", path = "../maybe_rayon", default-features = false }
-plonky2_util = { version = "0.2.0", path = "../util", default-features = false }
+plonky2 = { version = "1.0.0", path = "../plonky2", default-features = false }
+plonky2_maybe_rayon = { version = "1.0.0", path = "../maybe_rayon", default-features = false }
+plonky2_util = { version = "1.0.0", path = "../util", default-features = false }
 
 [dev-dependencies]
 env_logger = { version = "0.9.0", default-features = false }

util/Cargo.toml

@@ -1,7 +1,7 @@
 [package]
 name = "plonky2_util"
 description = "Utilities used by Plonky2"
-version = "0.2.0"
+version = "1.0.0"
 license = "MIT OR Apache-2.0"
 edition = "2021"