Enhance Groth16 verifier and part_stark_vk handling with versioning#396

Merged

eigmax merged 14 commits intoGOATNetwork:devfrom

blake-pro:feat/invariant-g16-2-pis-mulsig

Apr 19, 2026

Commits on Apr 17, 2026

feat: adapt to Ziren's new groth16 verifier and handle the upgrade issue.
Blake
committed
feat: introduce zkm-version crate for version encoding and decoding
Blake
committed
refactor: replace fixed-size zkm_version with String and simplify related handling
Blake
committed
feat: update dependencies to use pre-release-v1.2.5 version of Ziren and adapt Groth16 verifier updates
Blake
committed
feat: add part_stark_vk handling and attestation functionality
Blake
committed
feat: update zkm-verifier dependency to use v1.2.5 and refactor GOAT RPC client to use Alloy's reqwest client
Blake
committed
feat: enhance part_stark_vk handling with attestation and versioning improvements
Blake
committed
simplify part_stark_vk handling and attestation processes, improve witness verification logic
Blake
committed
remove zkm_version references and streamline version handling in the codebase
Blake
committed
remove zkm_version reference from localdb.rs and add proof_part_stark_vk file
Blake
committed
update part_stark_vk handling with version normalization and attestation improvements
Blake
committed
chore: update Ziren dependencies to v1.2.5 and clean up outdated patch references
Blake
committed
chore: update trusted Ziren version to v1.2.5, and add CLI guide for part_stark_vk attestation
Blake
committed
fix clippy
Blake
committed