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 | Defined |
| F-AC — Δ-delayed authenticated channel | Canonical | Defined |
| F-BA — Byzantine agreement | Canonical | Defined |
| F-BC — Broadcast | Canonical | Defined |
| F-Net — Δ-delayed diffusion network | Canonical | Defined |
| F-RBC — Relaxed broadcast | Canonical | Defined |
| F-SA — Split authentication, unauthenticated channels | Canonical | Defined |
| F-SC — Session secure channel, strong | Canonical | Defined |
| F-auth — Authenticated transmission | Canonical | Defined |
| F-certmail — Certified mail | Emerging | No canonical definition |
| F-dauth — Key exchange with incriminating abort | Canonical | Defined |
| F-diffuse — Multicast network, bounded delay | Canonical | Defined |
| F-ledger — Account-balance ledger | Canonical | Defined |
| F-smt — Secure message transmission | Canonical | Defined |
| G-ledger — Global transaction ledger, sliding window | Canonical | Defined |
No matching items