diff --git a/CHANGELOG.md b/CHANGELOG.md index 79a203f8fc..983f4ef9a9 100644 --- a/CHANGELOG.md +++ b/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)) diff --git a/field/Cargo.toml b/field/Cargo.toml index e61f4e8971..e13f49efd2 100644 --- a/field/Cargo.toml +++ b/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 ", "William Borgeaud ", "Jacqueline Nabaglo ", "Hamish Ivey-Law "] 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 diff --git a/maybe_rayon/Cargo.toml b/maybe_rayon/Cargo.toml index ec1987ed4b..76656325e5 100644 --- a/maybe_rayon/Cargo.toml +++ b/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 diff --git a/plonky2/Cargo.toml b/plonky2/Cargo.toml index 4a6790f856..90a1cadc5b 100644 --- a/plonky2/Cargo.toml +++ b/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 ", "William Borgeaud ", "Nicholas Ward "] 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] diff --git a/starky/Cargo.toml b/starky/Cargo.toml index 31bd5e6e9b..cd8b7d8fe7 100644 --- a/starky/Cargo.toml +++ b/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 ", "William Borgeaud "] 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 } diff --git a/util/Cargo.toml b/util/Cargo.toml index 441111afe6..67167977f0 100644 --- a/util/Cargo.toml +++ b/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"