What's Changed
- Remove obsolete function
ceil_div_usize
by @matthiasgoergens in #1574 - Fix typo in unconstrained_stark.rs by @AdventureSeeker987 in #1578
- chore: remove repetitive words by @AdventureSeeker987 in #1580
- Remove restriction to binary-only multiplicities by @matthiasgoergens in #1577
- Fix
verify_cross_table_lookups
with noctl_extra_looking_sums
by @matthiasgoergens in #1584 - update 2-adic generator to
0x64fdd1a46201e246
by @benediamond in #1579 - Changes to prepare for dummy segment removal in zk_evm's continuations by @LindaGuiga in #1587
- fix: remove clippy unexpected_cfgs warning by @Daniel-Aaron-Bloom in #1588
- doc+fix:
clippy::doc-lazy-continuation
by @Daniel-Aaron-Bloom in #1594 - change
set_stark_proof_target
's witness toWitnessWrite
by @qope in #1592 - Fix CTL generation of last row by @matthiasgoergens in #1585
- Allow multiple
extra_looking_sums
for the same looked table by @qope in #1591 - doc: clarify that
zk
is disabled withstarky
by @Nashtare in #1596 - Add row index to constraint failure message by @hratoanina in #1598
- fix(field): Re-enable
alloc
for tests by @Nashtare in #1601 - Add
Field::shifted_powers
and some iterator niceties by @gio256 in #1599 - Replace stale link by @gio256 in #1602
- ci: add PR check job by @Nashtare in #1604
- fix(starky): observe public inputs by @Nashtare in #1607
- chore: fix clippy by @Nashtare in #1609
- Add Support for Batch STARKs with Proving, Verification, and Recursion by @sai-deng in #1600
- Do not panic on
wire set twice
orgenerator not run
issues by @Nashtare in #1611 - chore: remove compressed StarkProof variant by @Nashtare in #1618
- Add
connect_array
convenience method inCircuitBuilder
by @Nashtare in #1620 - Fix example and documentation rendering by @simon-perriard in #1614
- changed to web-time in circuit_builder by @armanthepythonguy in #1624
- Added serialize and deserialize to starky proofs by @armanthepythonguy in #1630
- Refactor CTL Handling by @sai-deng in #1629
- Fix
DummyProofGenerator
serialization by @Nashtare in #1634 - Unified Recursion Circuit for Multi-Degree Starky Proof Verification by @sai-deng in #1635
- v1.0.0 release by @Nashtare in #1637
New Contributors
- @benediamond made their first contribution in #1579
- @gio256 made their first contribution in #1599
- @sai-deng made their first contribution in #1600
- @simon-perriard made their first contribution in #1614
- @armanthepythonguy made their first contribution in #1624
Full Changelog: v0.2.3...v1.0.0