Lazarus Fault Tolerance: The Hyper-Deterministic Ledger | Synapse