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.
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
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.