v1.0.0

OpenVM Stark Backend v1.0.0: Production Ready

What's Changed

• feat: observe AIR IDs in Fiat-Shamir transcript by @jonathanpwang in #56
• fix: verifier should check proof shape by @jonathanpwang in #57
• chore: Make SymbolicExpressionDag fields public by @gaxiom in #58
• chore(sdk): add example with interactions by @jonathanpwang in #55
• chore: update to rust stable 1.85 by @jonathanpwang in #59
• fix(ci): use +nightly for docs build by @jonathanpwang in #60
• fix(plonky3): update plonky3 commit by @jonathanpwang in #62
• feat: update security for v1 release by @yi-sun in #61
• release: v1.0.0 by @jonathanpwang in #63

New Contributors

• @gaxiom made their first contribution in #58

Full Changelog: v1.0.0-rc.2...v1.0.0

v1.0.0-rc.2

This release candidate focuses on security fixes and improved documentation and specifications of the system.

What's Changed

• prover: some perf improvement by limiting iterators by @tcoratger in #38
• example: profiling prove keccak-air using SDK by @jonathanpwang in #36
• small touchups by @tcoratger in #42
• single iter over mpk.per_air for poly opening proofs by @tcoratger in #40
• Feat: require dag.constraint_idx is sorted by @kunxian-xia in #43
• chore: remove Stateful trait by @jonathanpwang in #45
• chore: add repr(C) to SymbolicVariable by @jonathanpwang in #46
• chore: add cargo-audit to CI by @jonathanpwang in #47
• V1 Cantina Audit Fixes by @jonathanpwang in #48
• chore: use zip_eq in testing function by @jonathanpwang in #49
• chore: delete unused instrumentation code by @jonathanpwang in #50
• chore: add more logging related to trace matrices by @jonathanpwang in #51
• feat: Tweak LogUpSecurity parameters by @zlangley in #52
• chore: Fix typos in docs by @nyunyunyunyu in #53
• fix: protect against weak Fiat-Shamir by @jonathanpwang in #54

New Contributors

• @tcoratger made their first contribution in #38
• @kunxian-xia made their first contribution in #43
• @zlangley made their first contribution in #52

Full Changelog: v1.0.0-rc.0...v1.0.0-rc.2

v1.0.0-rc.0

What's Changed

• feat(perf): greedy logup chunking by @jonathanpwang in #31
• chore: cleanup TODO comments by @jonathanpwang in #32
• perf: better interaction chunking by sorting second by count degree by @jonathanpwang in #33
• chore: cleanup StarkEngine by @jonathanpwang in #34
• chore: workspace version v1.0.0-rc.0 by @jonathanpwang in #35

Full Changelog: v0.3.0-alpha...v1.0.0-rc.0

v0.3.0-alpha

What's Changed

• feat: simplify QuotientCommitter trait for performance by @jonathanpwang in #30

Full Changelog: v0.2.0-alpha...v0.3.0-alpha

v0.2.0-alpha

What's Changed

• chore: update plonky3 commit by @OsamaAlkhodairy in #15
• feat: quotient polynomial evaluation from serialized constraints by @jonathanpwang in #19
• chore: mark unchecked functions unsafe by @jonathanpwang in #22
• [fix] calling run_with_metric_collection multiple times fails by @Avaneesh-axiom in #25
• [feat] Add Stateful trait by @nyunyunyunyu in #20
• [fix] metrics collection by @luffykai in #26
• chore: reduce default plonky3 logging by @jonathanpwang in #27
• feat: hardware abstraction layer by @jonathanpwang in #23

New Contributors

• @OsamaAlkhodairy made their first contribution in #15
• @Avaneesh-axiom made their first contribution in #25
• @luffykai made their first contribution in #26

Full Changelog: v0.1.3-alpha...v0.2.0-alpha

v0.1.3-alpha

What's Changed

• chore: add git-blame-ignore-revs by @jonathanpwang in #16
• feat: add granular prove metrics and docs by @jonathanpwang in #17
• chore: bump version to v0.1.3-alpha by @jonathanpwang in #18

Full Changelog: v0.1.2-alpha...v0.1.3-alpha

v0.1.2-alpha

This release focuses on better serialization of circuit constraints and greatly improving efficiency of verifier evaluation of symbolic constraints.
This will be the last v0.1.* release before breaking interface changes to be introduced in v0.2.*.

What's Changed

• [feat] Add cache for SymbolicEvaluator by @nyunyunyunyu in #11
• [feat] SymbolicConstraints as DAG by @nyunyunyunyu in #13
• feat: serialize SymbolicConstraints as DAG by @jonathanpwang in #14

New Contributors

• @nyunyunyunyu made their first contribution in #11

Full Changelog: v0.1.0-alpha...v0.1.2-alpha

v0.1.0-alpha

Initial v0.1.0-alpha release.

New Contributors

• @jonathanpwang made their first contribution in #1
• @yi-sun made their first contribution in #4
• @zlangley
• @nyunyunyunyu
• @OsamaAlkhodairy
• @MonkeyKing-1

Full Changelog: https://github.com/openvm-org/stark-backend/commits/v0.1.0-alpha