Avalanche
Protocol
Team Rocket, Maofan Yin, Kevin Sekniqi, Robbert van Renesse, and Emin Gun Sirer
Model
Probabilistic safety in exponential distribution of message delay
This is used for epidemic networks Ref, Ref, Ref Probabilistic liveness in full synchrony
Adaptive adversary
DAG-based
Only for the purpose of batching queries in the underlying Snowball instances (the score "confidence" is cumulative along with the DAG)
Do not use graph vertices directly as votes (like IOTA)
Avalanche is different in that the voting result is a one-time chit that is determined by a query, while the votes in PHANTOM are purely determined by transaction structure
No liveness for conflicting blocks
Other contents in the paper
Performance comparison to Algorand and Conflux Formal model with continuous-time Markov processes (CTMC)
Variants
Wavelet
A malicious actor with ~10% of stake can stall @PerlinNetwork Wavelet indefinitely.
The Coordicide
Coordicide Team, IOTA Foundation May 2019
Remove the so-called IOTA Coordinator, a centralized service that finalizes transactions on IOTA
Similar to Snowball but randomize the threshold (after the query of beliefs for other nodes)
Rebuttals
By NEAR
By Nintemoto Labs
Ash Ketchum, Misty Williams
Related: herding
T-H. Hubert Chan Rafael Pass Elaine Shi
Goal:
Communication-efficiency: polylogarithmically many rounds & honest messages to be multicast
Adaptive security without assuming erasures or PoW
Batch agreement: Multi-valued agreement on batch of transactions, with quality metrics (against censorship)
Herding
Initial (subjective) score is quality i.e. how much does the block contains transactions which has been outstanding for a sufficiently long time
VRF-based "mining": vote-specific election unlike Algorand, Ouroboros (Praos), Dfinity The VRF inputs are (secret_key, batch, round_number)
Adaptive corruption to vote for a different batch doesn't make sense
Assumptions: PKI model, synchronous network, and standard cryptographic assumptions
Proof: based on convergence opportunity
Others
Avalanche for conflict resolusion in zero conf transaction
we show that Avalanche, a protocol that uses multiple rounds of MPC
nrryuya.icon > ???