Supports the native halo2 verifier

[guangyuz]

To reduce gas consumption, we introduce a verification method based on the native Halo2 verifier. Compared to the previous method based on BN254 algebra, the new method offers significantly higher performance.

[Copilot]

Pull request overview

This PR adds support for constraint system reconstruction from serialized circuit information. The main purpose is to enable reconstructing a Halo2 constraint system from its serialized CircuitInfo representation, which is useful for verifying proofs without needing the original circuit definition.

Changes:

• Refactored shape-generator crate by splitting large lib.rs into separate modules (circuit_info, expression, helpers)
• Added reconstruct_cs_from_circuit_info function to rebuild constraint systems from serialized data
• Renamed vk-gen-examples crate to functional-tests with comprehensive reconstruction tests
• Updated all references to the renamed crate across configuration files

Reviewed changes

Copilot reviewed 21 out of 29 changed files in this pull request and generated 13 comments.

Show a summary per file

File	Description
crates/verifier-sdk/shape-generator/src/lib.rs	Refactored to use modular structure; added constraint system reconstruction logic
crates/verifier-sdk/shape-generator/src/circuit_info.rs	New module containing CircuitInfo and related types with serialization
crates/verifier-sdk/shape-generator/src/expression.rs	New module for indexed expression handling and serialization
crates/verifier-sdk/shape-generator/src/helpers.rs	New module with helper functions for encoding/decoding fields and points
crates/functional-tests/src/tests.rs	New comprehensive tests for serialization and reconstruction
crates/functional-tests/src/proofs.rs	New helper module for proof generation and verification
crates/functional-tests/src/examples/*.rs	Updated example circuits with Clone derives for testing
packages/*/tests/*.move	Updated comments referencing renamed crate path
Various config files	Updated references from vk-gen-examples to functional-tests

---

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.