Skip to content

v0.4.0
Compare
Choose a tag to compare
@irakliyk irakliyk released this 29 Apr 21:58
· 341 commits to main since this release
v0.4.0
46dce1a
  • 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 Prover trait.
  • Introduced Matrix struct in the prover which is used as a backing type for trace and constraint evaluations.
  • Added ExtensionOf trait and implemented it for all supported fields.
  • Sped up inversion in f64 field by using inversion method based on Fermat’s little theorem.
  • Implemented Randomizable trait for u32, u16, and u8 types.
  • [BREAKING] AirContext::new() now requires num_assertions parameter.
  • [BREAKING] Various interface changes in the Air trait to support multi-segment traces.
  • Increased min version of rustc to 1.60.
Assets 2
Loading