argumentcomputer / argumentcomputer/zk-light-clients
Tracking issue: more test cases
- Dominant language
- Rust
- Stars
- 70
- Forks
- 12
- PR merge metrics
- No merged PRs in 30d
Description
We iterated over the light client on happy path and testing over valid data. We now need to add more test cases to our code to ensure it's proper behavior in all cases.
_To evolve along development_
- [ ] Emulate state transition from genesis to epoch 4 with data being valid
- [ ] Receiving a dishonest proof of epoch transition (eg: wrong signature, past epoch ...)
- [ ] Receiving a dishonest sparse merkle proof
- [ ] `EpochChangeProof` and `LedgerInfoWithSignatures` that skip an epoch
Contributor guide
No contributing guide indexed for this repository
Research direction
Start by locating the existing Rust light-client tests for the happy path and valid data, then run them to understand the current coverage. Add focused cases for genesis-to-epoch-4 transitions, dishonest epoch-transition and sparse-Merkle proofs, and skipped epochs in EpochChangeProof and LedgerInfoWithSignatures; done means these scenarios are covered and pass.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- rust
- Domain
- blockchain, testing
- Issue type
- Feature
- Difficulty
- 4/5
- Estimated time
- 3-5 days
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 35/100