v1.0.0
What's Changed
- Remove obsolete function
ceil_div_usizeby @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_lookupswith noctl_extra_looking_sumsby @matthiasgoergens in #1584 - update 2-adic generator to
0x64fdd1a46201e246by @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-continuationby @Daniel-Aaron-Bloom in #1594 - change
set_stark_proof_target's witness toWitnessWriteby @qope in #1592 - Fix CTL generation of last row by @matthiasgoergens in #1585
- Allow multiple
extra_looking_sumsfor the same looked table by @qope in #1591 - doc: clarify that
zkis disabled withstarkyby @Nashtare in #1596 - Add row index to constraint failure message by @hratoanina in #1598
- fix(field): Re-enable
allocfor tests by @Nashtare in #1601 - Add
Field::shifted_powersand 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 twiceorgenerator not runissues by @Nashtare in #1611 - chore: remove compressed StarkProof variant by @Nashtare in #1618
- Add
connect_arrayconvenience method inCircuitBuilderby @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
DummyProofGeneratorserialization 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