Channels, Agreement, Ledgers

Ideal functionalities for point-to-point channels, broadcast, Byzantine agreement, and distributed ledgers.

Functionality Status Definition
F-ABA — Asynchronous Byzantine agreement Canonical Not yet written
F-AC — Δ-delayed authenticated channel Canonical Defined
F-BA — Byzantine agreement Canonical Not yet written
F-BC — Broadcast Canonical Defined
F-Net — Δ-delayed diffusion network Canonical Defined
F-auth — Authenticated transmission Canonical Defined
F-certmail — Certified mail Emerging Not yet written
F-dauth — On-line deniable authentication Canonical Not yet written
F-diffuse — Diffusion, gossip channel Canonical Not yet written
F-ledger — Transaction ledger Canonical Not yet written
F-rbc — Reliable broadcast Canonical Not yet written
F-sc — Session secure channel Canonical Not yet written
F-smt — Secure message transmission Canonical Defined
F-split — Unauthenticated channels, split adversary Canonical Not yet written
G-ledger — Global ledger, irreplaceability Canonical Not yet written
No matching items