- Added support for Randomized AIR (with example).
- Added support for custom number of transition constraint exemptions.
- Enabled transition constraints of degree n + 1 when blowup factor is n.
- Moved trace and constraint commitment construction into separate functions in the
Provertrait. - Introduced
Matrixstruct in the prover which is used as a backing type for trace and constraint evaluations. - Added
ExtensionOftrait and implemented it for all supported fields. - Sped up inversion in
f64field by using inversion method based on Fermat’s little theorem. - Implemented
Randomizabletrait foru32,u16, andu8types. - [BREAKING]
AirContext::new()now requiresnum_assertionsparameter. - [BREAKING] Various interface changes in the
Airtrait to support multi-segment traces. - Increased min version of
rustcto 1.60.
- Implemented into byte conversion for Rp64_256 digest.
- Moved capacity elements to the front of the state for Rp64_256.
- Implemented digest to array conversion for Rp64_256 digest.
- Exposed some internal functions of Rp64_256 publicly.
- Added
f64field. - Added support for cubic field extensions.
- Added an implementation of Rescue Prime hash function in
f64field. - Switched to Rust 2021 and increased min version of
rustcto 1.57. - [BREAKING] Renamed
Air::BaseElementtoAir::BaseField. - [BREAKING] Replaced
prover::prove()function withProvertrait. - [BREAKING] Split
ExecutionTracestruct intoTracetrait andTraceTablestruct.
- Added
Blake3_192as hash function option. - Implemented high-performance version of Rescue Prime hash function.
- Removed
allocfeature in favor of turning onno_stdvia--no-default-featuresflag only. - Moved
randdependency todev-dependenciesonly and removedhashbrowndependency. - Increased min version of
rustcto 1.54.
- Initial release