fix: Align PdfVerifier contract with actual SP1 circuit output and add forge verify-contract docs

[Copilot]

PdfVerifier.sol was out of sync with the zkPDF circuit's actual public values struct, causing broken tests and an unusable contract. The plonk-fixture.json had been left as a Fibonacci example from a template.

Contract (PdfVerifier.sol)

• PublicValuesStruct: Replaced stub bool result with the correct fields matching circuits/lib/src/types.rs:

  struct PublicValuesStruct {
      bool substringMatches;
      bytes32 messageDigestHash;
      bytes32 signerKeyHash;
      bytes32 substringHash;
      bytes32 nullifier;
  }

• verifyPdfProof: Return type changed from bool to PublicValuesStruct memory, returning the full decoded public values instead of a single flag.

Fixtures

• plonk-fixture.json: Replaced Fibonacci template data with correct zkPDF public values (proper ABI-encoded PublicValuesStruct) and a plonk-specific vkey.

Docs (contracts/README.md)

• Added Step 4 covering post-deployment verification via forge verify-contract, including cast abi-encode for constructor args encoding.

---

🔒 GitHub Advanced Security automatically protects Copilot coding agent pull requests. You can protect all pull requests by enabling Advanced Security for your repositories. Learn more about Advanced Security.