Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Implement header verifications for Comet contract #18

Open
4 tasks
Tracked by #215
soareschen opened this issue Jul 16, 2024 · 0 comments
Open
4 tasks
Tracked by #215

Implement header verifications for Comet contract #18

soareschen opened this issue Jul 16, 2024 · 0 comments
Labels
after mvp Will only work on this at Q2 2025 onward, after the MVP demo is done cairo comet light client epic
Milestone
Comet Light Clien...

Comments

@soareschen
Copy link
Collaborator

soareschen commented Jul 16, 2024 •
edited by Farhad-Shabani
Loading

Overview

Here we record the progress of implementing the header verification logic of Comet light client in Cairo, including the misbehavior checks similar to those live in the tendermint-light-client-verifier crate, and integrating the verifiers into the Comet Cairo contracts as part of the verify_client_message implementation.

Task List

Update Header
Preview Give feedback
  1. Implement Comet header verifier in Cairo #211
    cairo comet light client
  2. Implement header verification part of verify_client_message method #213
    blocked cairo comet light client

Misbehavior Header
Preview Give feedback
  1. Implement Comet misbehaviour verifier in Cairo #212
    blocked cairo comet light client
  2. Implement misbehaviour verification part of verify_client_message method #214
    blocked cairo comet light client
@soareschen soareschen added this to the Phase 3+ milestone Jul 16, 2024
@soareschen soareschen added comet light client epic after mvp Will only work on this at Q2 2025 onward, after the MVP demo is done labels Dec 6, 2024
@Farhad-Shabani Farhad-Shabani changed the title Implement in Cairo full Comet light client verification Full implementation of Comet header verification in Cairo Jan 20, 2025
@Farhad-Shabani Farhad-Shabani mentioned this issue Jan 20, 2025
Open
@Farhad-Shabani Farhad-Shabani changed the title Full implementation of Comet header verification in Cairo Implement Comet header verifications for Comet contract Jan 20, 2025
@Farhad-Shabani Farhad-Shabani changed the title Implement Comet header verifications for Comet contract Implement header verifications for Comet contract Jan 20, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
after mvp Will only work on this at Q2 2025 onward, after the MVP demo is done cairo comet light client epic
Projects
None yet
Milestone
Comet Light Client on Starknet
Development

No branches or pull requests
1 participant
@soareschen