EPIC: Partial Set Security

[mpoke]

Problem

This is a meta issue to track the work on opt-in security. With opt in security, validators will be able to decide which consumer chains they would like to validate on, and will only receive rewards for those that they are active on.

EDIT: Renamed to Partial Set Security. See this doc for a high level design.

Closing criteria

Partial Set Security is implemented.

Task list

Must have

Beta Give feedback

1. Analysis of whether "governance fraud proofs" are Ok
2. Opt-in security rough design #788
   S: NewThings type: protocol-change +2
3. Write an ADR for Partial Set Security #1571
   C:ADR +1
   
4. Partial Set Security: Enable opt-in chains through gov proposals #1587
   C:x/provider S: NewThings +2
   
5. Partial Set Security: Add MsgOptIn & MsgOptOut #1586
   C:x/provider S: NewThings +2
   
6. Spike: Prototype Partial Set Security in Quint #1574
   S: Productivity scope: MBT scope: testing +3
   
7. Partial Set Security: Construct and send the partial sets to the consumers #1606
   S: NewThings +1
   
8. Partial Set Security: Compute the Top N validators and opt them in #1607
   S: NewThings status: waiting-triage +2
   
9. Spike: Only opted-in validators should get consumer rewards #1588
   C:x/provider S: NewThings +2
   
10. Partial Set Security: Distribute rewards only to opted-in validators #1610
    C:x/provider S: NewThings +2
    
11. Partial Set Security: Adapt downtime jailing #1611
    C:x/provider S: NewThings +2
    
12. Partial Set Security: Introduce queries #1609
    S: NewThings +1
    
13. Partial Set Security: Test on a testnet #1608
    S: NewThings +1
14. Partial Set Security: Introduce integration & E2E tests #1630
    S: NewThings +1
    
15. Partial Set Security: Update integration testing suite to support the PSS reward distribution #1633
    status: waiting-triage +1
    
16. Partial Set Security: Allow validators to set per-consumer chain commission #1658
    status: waiting-triage +1
    
17. Migrate Neutron and Stride to Top N with N = 95 or N = 100? When we build gaia v17
18. Partial Set Security: Finalize the CLI #1707
    status: waiting-triage +1
    
19. Set up a testnet for PSS/Epochs #1697
    scope: testing +1
    
20. Partial Set Security: Introduce new filters for validators #1781
    needs-triage +1
    
21. Partial Set Security: review the standalone to consumer changeover #1772
    scope: consumer scope: docs +2
    
22. Partial Set Security: Write documentation #1785
    scope: docs scope: provider +2
    

    
23. Jailed governors cannot unjail for previously standalone chains #1245
    S: ImprovingThings type: bug +2
24. Partial Set Security: Apply audit suggestions #1926
    C:x/provider source: audit +2
    

Nice to have

Beta Give feedback

1. Partial Set Security: investigate the PFM issue for the reward distribution #1634
   status: waiting-triage +1
2. Partial Set Security: Add time condition for reward distribution #1635
   status: waiting-triage +1
   
3. consumer GenesisState.preCCV is hardcoded #894
   S: NewThings scope: UI type: tech-debt +3
   
4. Enable fraud votes

[mpoke]

Putting this work on hold as the following tasks are very likely needed to enable opt-in security:

• cryptographic equivocation EPIC: Cryptographic verification of equivocation #732
• redesigning ICS as a read-only protocol EPIC: Read-only protocol #1293