Formal Analysis Improves Avalanche Consensus Latency and Security Trade-Off
Rigorous analysis of Snow consensus exposes an unfavorable latency-security trade-off, resolved by a protocol modification for superior performance.
