Spock aggregation

[franklywatson]

Why

SPoCK proofs is how Flow mitigates the Verifiers Dilemma and is required for a mature network. SPoCK security has been already proved in a research paper.
SPoCK aggregation is a way to compress many proofs in one in order to scale the verification nodes and keeping a reasonable block size. This is a long duration research project (12+ months), the result of which will be a security proof and a paper which demonstrates the provability of the approach.

How will we measure success

This is a long duration research project (12+ months), the result of which will be a security proof and a paper which demonstrates the provability of the approach

• Tech lead, Alex and Dete are happy with the progress
• More specifics TBD as time permits

DACI

D: Tarak
A: Alex
C: Dete
I: N/A

Problem definition

SPoCK aggregation is important for verification node scaling and keeping a reasonable block size.