Merge pull request #531 from zcash/release-0.1.0-beta.3

Release `halo2_proofs 0.1.0-beta.3`

halo2_gadgets/CHANGELOG.md

@@ -7,5 +7,9 @@ and this project adheres to Rust's notion of
 
 ## [Unreleased]
 
+## [0.1.0-beta.2] - 2022-03-22
+### Changed
+- Migrated to `halo2_proofs 0.1.0-beta.3`.
+
 ## [0.1.0-beta.1] - 2022-02-14
 Initial release!

halo2_gadgets/Cargo.toml

@@ -1,6 +1,6 @@
 [package]
 name = "halo2_gadgets"
-version = "0.1.0-beta.1"
+version = "0.1.0-beta.2"
 authors = [
     "Sean Bowe <[email protected]>",
     "Jack Grigg <[email protected]>",
@@ -25,7 +25,7 @@ arrayvec = "0.7.0"
 bitvec = "0.22"
 ff = "0.11"
 group = "0.11"
-halo2_proofs = { version = "=0.1.0-beta.2", path = "../halo2_proofs" }
+halo2_proofs = { version = "=0.1.0-beta.3", path = "../halo2_proofs" }
 lazy_static = "1"
 pasta_curves = "0.3"
 proptest = { version = "1.0.0", optional = true }

halo2_proofs/CHANGELOG.md

@@ -7,6 +7,22 @@ and this project adheres to Rust's notion of
 
 ## [Unreleased]
 
+## [0.1.0-beta.3] - 2022-03-22
+### Added
+- `halo2_proofs::circuit`:
+  - `AssignedCell::<Assigned<F>, F>::evaluate -> AssignedCell<F, F>`
+  - `Assigned::{is_zero_vartime, double, square, cube}`
+  - Various trait impls for `Assigned<F>`:
+    - `From<&Assigned<F>>`
+    - `PartialEq, Eq`
+    - `Add<&Assigned<F>>, AddAssign, AddAssign<&Assigned<F>>`
+    - `Sub<&Assigned<F>>, SubAssign, SubAssign<&Assigned<F>>`
+    - `Mul<&Assigned<F>>, MulAssign, MulAssign<&Assigned<F>>`
+
+### Removed
+- `halo2_proofs::plonk::VerifyingKey::{read, write}` (for details see
+  [issue 449](https://github.com/zcash/halo2/issues/449))
+
 ## [0.1.0-beta.2] - 2022-02-14
 (relative to `halo2 0.1.0-beta.1`)
 

halo2_proofs/Cargo.toml

@@ -1,6 +1,6 @@
 [package]
 name = "halo2_proofs"
-version = "0.1.0-beta.2"
+version = "0.1.0-beta.3"
 authors = [
     "Sean Bowe <[email protected]>",
     "Ying Tong Lai <[email protected]>",