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