Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Conversation

@enitrat
Copy link
Contributor

@enitrat enitrat commented Dec 17, 2025

Summary

  • Remove misplaced paragraph about input ciphertext verification from KMSVerifier section
  • Update InputVerifier section with accurate description of the input verification flow

Context

The KMSVerifier section in coprocessor/docs/fundamentals/fhevm/contracts.md contained a paragraph that incorrectly described InputVerifier functionality:

"The KMSVerifier contract is also responsible for checking the signatures of KMS signers when a user is inputing a new ciphertext..."

This was incorrect because:

  1. Input ciphertext verification is handled by InputVerifier, not KMSVerifier
  2. The signatures come from coprocessor signers, not KMS signers
  3. The function verifyInputEIP712KMSSignatures referenced in the docs doesn't exist in KMSVerifier

Actual responsibilities:

  • KMSVerifier: Verifies decryption results via verifyDecryptionEIP712KMSSignatures with KMS signer signatures
  • InputVerifier: Verifies input ciphertexts via verifyInput with coprocessor signer signatures

Identified during PR review: #1597 (comment)

Test plan

  • Verify documentation accurately reflects contract implementations
  • Review KMSVerifier.sol to confirm only decryption verification
  • Review InputVerifier.sol to confirm input verification with coprocessor signers

Closes zama-ai/fhevm-internal#797

@enitrat enitrat requested review from a team as code owners December 17, 2025 20:18
@cla-bot cla-bot bot added the cla-signed label Dec 17, 2025
@mergify
Copy link

mergify bot commented Dec 17, 2025

🧪 CI Insights

Here's what we observed from your CI run for 08caed3.

🟢 All jobs passed!

But CI Insights is watching 👀

@enitrat enitrat force-pushed the docs/fix-kmsverifier-content-797 branch from abffb70 to abee8e4 Compare December 17, 2025 20:26
@enitrat enitrat changed the title docs: fix incorrect content in KMSVerifier section of contracts.md docs(coprocessor): fix incorrect content in KMSVerifier section of contracts.md Dec 17, 2025
Copy link
Contributor

@melanciani melanciani left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

thanks !

@enitrat
Copy link
Contributor Author

enitrat commented Dec 18, 2025

@Mergifyio queue

@mergify
Copy link

mergify bot commented Dec 18, 2025

queue

✅ The pull request has been merged automatically

Details

The pull request has been merged automatically at 8ee9f43

@mergify
Copy link

mergify bot commented Dec 18, 2025

Merge Queue Status

✅ The pull request has been merged at 08caed3

This pull request spent 13 minutes 2 seconds in the queue, including 11 minutes 7 seconds running CI.
The checks were run on draft #1633.

Required conditions to merge
  • #approved-reviews-by >= 1 [🛡 GitHub branch protection]
  • #changes-requested-reviews-by = 0 [🛡 GitHub branch protection]
  • #review-threads-unresolved = 0 [🛡 GitHub branch protection]
  • branch-protection-review-decision = APPROVED [🛡 GitHub branch protection]
  • check-success = run-e2e-tests / fhevm-e2e-test
  • any of [🛡 GitHub branch protection]:
    • check-success = common-pull-request/lint (bpr)
    • check-neutral = common-pull-request/lint (bpr)
    • check-skipped = common-pull-request/lint (bpr)
  • any of [🛡 GitHub branch protection]:
    • check-skipped = coprocessor-cargo-listener-tests/cargo-tests (bpr)
    • check-neutral = coprocessor-cargo-listener-tests/cargo-tests (bpr)
    • check-success = coprocessor-cargo-listener-tests/cargo-tests (bpr)
  • any of [🛡 GitHub branch protection]:
    • check-skipped = coprocessor-cargo-test/cargo-tests (bpr)
    • check-neutral = coprocessor-cargo-test/cargo-tests (bpr)
    • check-success = coprocessor-cargo-test/cargo-tests (bpr)
  • any of [🛡 GitHub branch protection]:
    • check-skipped = coprocessor-dependency-analysis/dependencies-check (bpr)
    • check-neutral = coprocessor-dependency-analysis/dependencies-check (bpr)
    • check-success = coprocessor-dependency-analysis/dependencies-check (bpr)
  • any of [🛡 GitHub branch protection]:
    • check-skipped = gateway-contracts-deployment-tests/sc-deploy (bpr)
    • check-neutral = gateway-contracts-deployment-tests/sc-deploy (bpr)
    • check-success = gateway-contracts-deployment-tests/sc-deploy (bpr)
  • any of [🛡 GitHub branch protection]:
    • check-skipped = kms-connector-tests/test-connector (bpr)
    • check-neutral = kms-connector-tests/test-connector (bpr)
    • check-success = kms-connector-tests/test-connector (bpr)

Remove misplaced paragraph about input ciphertext verification from
KMSVerifier section. That content incorrectly described InputVerifier
functionality and referenced a non-existent function.

Update InputVerifier section with accurate description of the input
verification flow using coprocessor signers.

Fixes zama-ai/fhevm-internal#797
@enitrat enitrat force-pushed the docs/fix-kmsverifier-content-797 branch from abee8e4 to 08caed3 Compare December 22, 2025 10:30
mergify bot added a commit that referenced this pull request Dec 22, 2025
@mergify mergify bot removed the merge-queued label Dec 22, 2025
@mergify mergify bot merged commit 8ee9f43 into main Dec 22, 2025
67 checks passed
@mergify mergify bot deleted the docs/fix-kmsverifier-content-797 branch December 22, 2025 11:17
@mergify mergify bot removed the queued label Dec 22, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants