Proof-of-Execution: Reaching Consensus through Fault-Tolerant Speculation.

Suyash Gupta Jelle Hellings Sajjad Rahnama Mohammad Sadoghi

Published in: EDBT (2021)

Keyphrases

fault tolerant
fault tolerance
distributed systems
load balancing
high availability
theorem proving
safety critical
state machine
theorem prover
databases
database systems
software engineering
low cost