Foundations of Blockchains (Lecture 2.5: Analysis of the Dolev-Strong Protocol)
Tim Roughgarden Lectures · 18:18
Der Dolev-Strong-Protokoll-Beweis zeigt, dass unter den Annahmen "permissioned setting + PKI + Synchronität + idealen Signaturen" sowohl Validity als auch Agreement erfüllt sind — und zwar bemerkenswerterweise ohne je...