Skip to content

Fix ZK verification from shared receipts#214

Merged
kojibai merged 5 commits intocodex/update-shared-url-to-show-verification-statusfrom
codex/fix-zk-proof-verification-issue
Jan 11, 2026
Merged

Fix ZK verification from shared receipts#214
kojibai merged 5 commits intocodex/update-shared-url-to-show-verification-statusfrom
codex/fix-zk-proof-verification-issue

Conversation

@kojibai
Copy link
Copy Markdown
Owner

@kojibai kojibai commented Jan 11, 2026

Motivation

  • Shared receipts sometimes embed zkProof or zkPublicInputs as JSON strings which the verifier did not parse, causing valid proofs to be reported as failed.
  • The Groth16 verification could run before a verifying key was loaded, resulting in spurious verification failures.
  • Normalize incoming ZK fields and ensure the verifier waits for the verifying key to avoid false negatives.

Description

  • Added a parseJsonString helper to safely parse JSON-encoded string fields into native objects in src/pages/VerifyPage.tsx.
  • Parse zkProof and zkPublicInputs via parseJsonString and normalize publicSignals into an array/object before calling tryVerifyGroth16.
  • Delay verification after fetching the verifying key by returning early once the key is loaded and using the parsed proof/inputs for verification.
  • All changes are localized to src/pages/VerifyPage.tsx and use existing tryVerifyGroth16 for the actual Groth16 check.

Testing

  • No automated tests were run.

Codex Task

@vercel
Copy link
Copy Markdown

vercel bot commented Jan 11, 2026

The latest updates on your projects. Learn more about Vercel for GitHub.

Project Deployment Review Updated (UTC)
phi-network-5aii Ready Ready Preview, Comment Jan 11, 2026 5:19pm

…ating-status

Include KAS and ZK fields from shared receipt into embedded proof
@kojibai kojibai merged commit fd47e32 into codex/update-shared-url-to-show-verification-status Jan 11, 2026
1 of 2 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant