Skip to content

feat(contract): add X-Ray verify_proof stub with SHA-256 commitment o… - #520

Merged
Viky207 merged 1 commit into
Viky207:mainfrom
prettyjune04-ops:feat/456-xray-zk-proof-verifier
Oct 26, 2026
Merged

Viky207 merged 1 commit into
Viky207:mainfrom
prettyjune04-ops:feat/456-xray-zk-proof-verifier

Conversation

@prettyjune04-ops

Copy link
Copy Markdown
Contributor

…pening

  • Add zk_verifier module with versioned proof envelope (0x01 = SHA-256 hash-commitment opening, 0x02 reserved for Groth16/BLS12-381)
  • Expose verify_proof(commitment: BytesN<32>, proof: Bytes) -> bool and create_xray_commitment reference helper
  • Add happy-path and negative unit tests
  • Document proof format in app/contract/docs/ZK-PROOF-SPEC.md
  • Update CAPABILITY-MAP.md (Experimental, not zero-knowledge)

Closes #456
Closes #453
Closes #459
Closes #460

…pening

- Add zk_verifier module with versioned proof envelope (0x01 = SHA-256
  hash-commitment opening, 0x02 reserved for Groth16/BLS12-381)
- Expose verify_proof(commitment: BytesN<32>, proof: Bytes) -> bool and
  create_xray_commitment reference helper
- Add happy-path and negative unit tests
- Document proof format in app/contract/docs/ZK-PROOF-SPEC.md
- Update CAPABILITY-MAP.md (Experimental, not zero-knowledge)

Closes Viky207#456
@Viky207
Viky207 merged commit e7e0642 into Viky207:main Oct 26, 2026
1 check passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

2 participants