mirror of https://github.com/zcash/halo2.git
1.9 KiB
1.9 KiB
Changelog
All notable changes to this project will be documented in this file.
The format is based on Keep a Changelog, and this project adheres to Rust's notion of Semantic Versioning.
[Unreleased]
Added
halo2::dev::LookupFailure
(used inVerifyFailure::Lookup
)
Changed
halo2::plonk::Error
has been overhauled:Error
now implementsstd::fmt::Display
andstd::error::Error
.Error
no longer implementsPartialEq
. Tests can check for specific error cases withassert!(matches!(..))
, or theassert_matches
crate.Error::IncompatibleParams
is nowError::InvalidInstances
.Error::NotEnoughRowsAvailable
now stores the current value ofk
.Error::OpeningError
is nowError::Opening
.Error::SynthesisError
is nowError::Synthesis
.Error::TranscriptError
is nowError::Transcript
, and stores the underlyingio::Error
.
halo2::dev::CircuitLayout::render
now takesk
as au32
, matching the regular parameter APIs.halo2::dev::VerifyFailure
has been overhauled:VerifyFailure::Cell
has been renamed toVerifyFailure::CellNotAssigned
.VerifyFailure::ConstraintNotSatisfied
now has acell_values
field, storing the values of the cells used in the unsatisfied constraint.- The
row
field ofVerifyFailure::Lookup
has been replaced by alocation
field, which can now indicate whether the location falls within an assigned region.
halo2::plonk::ConstraintSystem::enable_equality
andhalo2::plonk::ConstraintSystem::query_any
now takeInto<Column<Any>>
instead ofColumn<Any>
as a parameter to avoid excesive.into()
usage.
Removed
halo2::arithmetic::BatchInvert
(useff::BatchInvert
instead).impl Default for halo2::poly::Rotation
(useRotation::cur()
instead).
[0.1.0-beta.1] - 2021-09-24
Initial beta release!