Skip to content

Update gnark recursive verifier for new whir API #289

@Bisht13

Description

@Bisht13

The whir dependency was updated in #288 to support the new transcript API (PR #215) and weights trait API (PR #217).

The Go gnark recursive verifier (tooling/provekit-gnark/) still references the old whir config struct fields and needs to be updated to match.

What needs updating

  • tooling/provekit-gnark/src/gnark_config.rs — reads whir config fields for the Go side
  • Go verifier circuit logic to match any protocol-level changes in proof serialization

Context

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions