You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
This ticket aims to track the design of the Starknet light client protocol and draft its specifications in English (and potentially Quint). The first phase involves studying the Starknet architecture in depth and engaging with Starknet experts to address key design and implementation questions outlined below. Insights from this research will inform the design of an initial light client architecture, which will serve as the foundation for the final specification. It would be great if findings be documented as ADRs or concise markdown docs, providing valuable references for the later implementation phase.
Phases
Research Starknet architecture
Design protocol, and draft initial architecture
Write specifications
Tasks List
1. Research
The content you are editing has changed. Please copy your edits and refresh the page.
Overview
This ticket aims to track the design of the Starknet light client protocol and draft its specifications in English (and potentially Quint). The first phase involves studying the Starknet architecture in depth and engaging with Starknet experts to address key design and implementation questions outlined below. Insights from this research will inform the design of an initial light client architecture, which will serve as the foundation for the final specification. It would be great if findings be documented as ADRs or concise markdown docs, providing valuable references for the later implementation phase.
Phases
Tasks List
1. Research
Research (L2 Security Model)
Research (ZK Prover)
Research (Membership Proofs)
Research (Beerus light client)
2. Protocol Design
Protocol (Properties and Core Logic)
Protocol (Threat Modeling)
Protocol (Compatibility)
3. Specifications
Specs (English)
Deliverables
The text was updated successfully, but these errors were encountered: