Separating Consensus and Execution
Proposals
Piperine
Jonathan Lee, Kirill Nikitin*, Srinath Setty (Microsoft Research, *EPFL)
S&P'20
Deletgation of state machine execution to prover
Primitive: SNARKs
Application to Ethereum
Flow
Hotstuff, PoS
Specialized Proof of Confidential Knowledge (SPoCK) to solve verifier's dillema
Nimble
LazyLedger
Coda
Joseph Bonneau (NYU), Izaak Meckler, Vanishree Rao, and Evan Shapiro (O(1) Labs)
Chain Summary: $ \mathcal{S_{i - 1}} := (\sigma_i, ~\mathrm{snark}_i)
$ \Sigma := \{\sigma_i\} = \{(\mathrm{ledgerHash_i}, \mathrm{consensusState}_i)\}
nrryuya.icon > $ S_i = C_i?
Modify the long-range fork-choice rule to make the summary of the history constant-sized
Consider a moving window of slots and only store the minimum of all the densities observed so far in that window
History
SOSP'03