This directory contains the technical specifications for the Kleros V2 protocol. Each document details a specific component of the system, its functionality, and interactions with other components.
The core arbitration logic of Kleros V2, handling dispute creation, appeals, and evidence submission. This component orchestrates the entire dispute resolution process.
The interface and reference implementation for contracts that can create disputes and receive rulings from Kleros courts. Includes the DisputeResolver contract as a standard implementation.
The standard implementation for handling dispute rounds, vote aggregation, and incentive calculations. This is the primary dispute resolution logic used by courts.
The juror selection mechanism using weighted random draws based on staked PNK tokens. Manages the phase system, stake updates, and the drawing process.
The hierarchical court system specification, detailing court creation, configuration, and the appeals process.
The format specification for court policies, which define the rules, guidelines, and procedures for each court.
The standardized format for submitting and organizing evidence in disputes, ensuring consistent presentation to jurors.
graph TB
Arbitrator[Arbitrator] -->|Resolves Dispute| DisputeKit[Dispute Kit]
Arbitrable[Arbitrable] -->|Creates Dispute| Arbitrator
Arbitrator -..->|Ruling| Arbitrable
Arbitrator -->|Draw| SortitionModule[Sortition Module]
SortitionModule -..->|Juror| Arbitrator
DisputeKit -..->|Decision,<br/>Coherence| Arbitrator
Policy[Policy] -->|Describes| Courts[Courts]
Courts -->|Configures| Arbitrator
Governor[Governor] -->|governs| Arbitrator
Arbitrable -->|Template|DisputeTemplateRegistry[Dispute Template Registry]
DisputeTemplateRegistry -..->|TemplateID|Arbitrable
EvidenceModule[Evidence Module]
These specifications serve as the primary reference for implementing and interacting with the Kleros V2 protocol. Each document follows a consistent structure:
- Overview of the component
- Detailed technical specifications
- Interaction patterns with other components
- Implementation considerations
- Security considerations
- Start with the core components (Arbitrator, Arbitrable) to understand the basic flow
- Review the Sortition Module for juror selection mechanics
- Study the Dispute Kit for detailed dispute resolution logic
- Reference the data formats when implementing evidence submission or court policies
- Use the component interaction diagram to understand system integration points
The Kleros V2 protocol's security relies on several key principles:
- Cryptoeconomic Security: Jurors stake PNK tokens as collateral
- Random Selection: Robust juror selection through the Sortition Module
- Incentive Alignment: Rewards and penalties encourage honest behavior
- Appeal System: Multiple rounds of review for important cases
- Transparent Process: All dispute data and evidence is public