v1.5

Halo2 verifier contract update corresponding to OpenVM STARK backend change to target 100 bits of provable security.

OpenVM Repo Consistency Check

What's Changed

• release: v1.5 by @jonathanpwang in #17

New Contributors

• @jonathanpwang made their first contribution in #17

Full Changelog: v1.4...v1.5