Skip to content

[Medium] Add zero-knowledge proof validation #90

Closed

Description

@Josie123-Dev

Task Description

Implement zero-knowledge proof validation in contracts:

  • Validate ZK-proofs
  • Check proof integrity
  • Verify proof correctness
  • Return validation result
  • Emit validation events

Requirements

  • Proof validation
  • Integrity check
  • Correctness verification
  • Result return
  • Event emission

Acceptance Criteria

  • Proofs are validated
  • Integrity is checked
  • Correctness is verified
  • Result is returned
  • Events are emitted

Activity

  1. GBOYEE commented on Jul 16, 2026

    @GBOYEE

    Hi — ZK-proof validation is core to ValidFi's trust model, so getting this right matters. I can implement the validation flow (integrity check, correctness verification, result return, and event emission) in the contracts following the acceptance criteria, and add a small test harness to prove each path. Would love to pick this up if it's available.

  2. added
    GrantFox OSSIssue tracked in GrantFox OSS
    Maybe RewardedIssue may be eligible for a GrantFox reward
    and removed
    Maybe RewardedIssue may be eligible for a GrantFox reward
    GrantFox OSSIssue tracked in GrantFox OSS
    on Aug 21, 2026
  3. bbkenny commented on Aug 22, 2026

    @bbkenny
    Contributor

    Hi team, I'm bbkenny. I'd like to work on adding zero-knowledge proof validation to the ValidFi contract. My approach: review the current contract structure and identify integration points for ZKP validation, implement ZKP verification logic following Soroban best practices, write comprehensive tests for valid proofs, invalid proofs, and edge cases, ensure gas-efficient verification to minimize transaction costs, and document the ZKP validation flow and security assumptions. I prioritize secure, well-tested code. Happy to discuss the ZKP scheme you prefer before implementing.

  4. grantfox-oss commented on Aug 23, 2026

    @grantfox-oss

    🦊 GrantFox — @bbkenny has been assigned to this issue as part of the Third Campaign campaign!

    Next steps:

    1. Open a Pull Request referencing this issue (e.g., Closes #90)
    2. Your PR will be reviewed by the GuardZero144 maintainers

    Good luck! Track your progress on GrantFox.

  5. grantfox-oss commented on Aug 24, 2026

    @grantfox-oss

    🎉 This issue has been marked as completed on GrantFox as part of the Third Campaign campaign!

    @bbkenny's PR #171 was approved and merged by @Josie123-Dev.

    🏆 @bbkenny: You earned 35 FoxPoints for this contribution! Your current tier: Explorer (672 total points). Track your full progress on GrantFox.

    👏 Great work, @bbkenny! Keep contributing to GuardZero144.

  6. added a commit that references this issue on Aug 24, 2026
    095a863
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

Labels

GrantFox OSSIssue tracked in GrantFox OSSMaybe RewardedIssue may be eligible for a GrantFox rewardThird CampaignCampaign: Third CampaigncontractSmart contract related issuesdifficulty:mediumMedium difficulty issuespriority:highHigh priority issues

Type

No type

Projects

No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions