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 Semantic Versioning.
- Unified Recursion Circuit for Multi-Degree Starky Proof Verification (#1635)
- Fix
DummyProofGenerator
serialization (#1634) - Refactor CTL Handling (#1629)
- Added serialize and deserialize to starky proofs (#1630)
- changed to web-time in circuit_builder (#1624)
- Fix example and documentation rendering (#1614)
- Add
connect_array
convenience method inCircuitBuilder
(#1620) - chore: remove compressed StarkProof variant (#1618)
- Do not panic on
wire set twice
orgenerator not run
issues (#1611) - Add Support for Batch STARKs with Proving, Verification, and Recursion (#1600)
- chore: fix clippy (#1609)
- fix(starky): observe public inputs (#1607)
- ci: add PR check job (#1604)
- Add
Field::shifted_powers
and some iterator niceties (#1599) - fix(field): Re-enable
alloc
for tests (#1601) - Add row index to constraint failure message (#1598)
- doc: clarify that
zk
is disabled withstarky
(#1596) - Allow multiple
extra_looking_sums
for the same looked table (#1591) - Fix CTL generation of last row (#1585)
- change
set_stark_proof_target
's witness toWitnessWrite
(#1592) - doc+fix:
clippy::doc-lazy-continuation
(#1594) - fix: remove clippy unexpected_cfgs warning (#1588)
- Changes to prepare for dummy segment removal in zk_evm's continuations (#1587)
- update 2-adic generator to
0x64fdd1a46201e246
(#1579) - Fix
verify_cross_table_lookups
with noctl_extra_looking_sums
(#1584) - Remove restriction to binary-only multiplicities (#1577)
- Remove obsolete function
ceil_div_usize
(#1574)
- Code refactoring (#1558)
- Simplify types: remove option from CTL filters (#1567)
- Add stdarch_x86_avx512 feature (#1566)
- Always compile cross_table_lookups::debug_utils (#1540)
- Initial CHANGELOG tracking.