feat: Integrated gnark

[kbizikav]

No description provided.

[Copilot]

Pull Request Overview

This PR integrates gnark by refactoring the circuit verification system to remove circuit-specific configurations and unify the implementation. The changes consolidate multiple circuit data directories into a single configuration and introduce a new input digest calculation mechanism for enhanced verification.

• Consolidates circuit-specific data directories into a unified data structure
• Introduces input digest calculation for public inputs validation
• Removes circuit name parameters from initialization and execution flows

Reviewed Changes

Copilot reviewed 16 out of 25 changed files in this pull request and generated 3 comments.

Show a summary per file

File	Description
job-servers/gnark-server/utils/pis.go	Adds new CalculateInputDigest function for validating and computing digest of 8 public inputs
job-servers/gnark-server/setup/main.go	Removes circuit name parameter and updates paths to use unified data directory
job-servers/gnark-server/main.go	Removes circuit name flag and simplifies initialization
job-servers/gnark-server/handlers/prove.go	Updates prove handler to accept verifier data and use new input digest calculation
job-servers/gnark-server/circuit/verifierCircuit.go	Refactors circuit structure to use new digest validation and public input verification
job-servers/gnark-server/circuitData/circuitData.go	Simplifies circuit data loading by removing circuit-specific paths
Various data files	Removes circuit-specific directories and adds unified test data
Cargo.toml files	Updates dependency branch to "dev"

Comments suppressed due to low confidence (1)

job-servers/gnark-server/handlers/prove.go:68

• [nitpick] The parameter name vdRaw is unclear. Consider renaming it to verifierDataRaw for better readability.

func (s *State) prove(jobId string, proofRaw types.ProofWithPublicInputsRaw, vdRaw types.VerifierOnlyCircuitDataRaw) error {