ContextLab / ContextLab/world-compute

Rekor: full Merkle inclusion proof verification

Open
#29 2 comments 0 reactions 0 assignees View on GitHub
Dominant language
Rust
Stars
2
Forks
1
PR merge metrics
No merged PRs in 30d

Description

## Description

`src/ledger/transparency.rs` line ~109 has a TODO for full Merkle inclusion proof verification (T096). Currently, the code validates the format of Rekor responses but does not cryptographically verify the inclusion proof against the signed tree head.

## Requirements

- Implement RFC 6962-style Merkle inclusion proof verification
- Verify that the returned log entry hash matches the expected hash
- Verify the inclusion proof path from leaf to signed tree root
- Verify the signed tree head signature against Rekor's public key
- Handle proof verification failures gracefully (reject the entry, log the failure)

## Success Criteria

- [ ] Full Merkle inclusion proof verification implemented
- [ ] Rekor signed tree head signature verified against pinned public key
- [ ] Integration test submits entry to Rekor staging, retrieves inclusion proof, and verifies it
- [ ] Test with tampered proof data (must reject)
- [ ] `cargo test` passes with zero regressions

## Testing (Principle V)

- Submit real entries to Rekor public staging instance
- Retrieve and verify inclusion proofs
- Tamper with proof data and confirm rejection
- Test with valid Rekor production entries (read-only verification)

Contributor guide

No contributing guide indexed for this repository

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.