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

Suyash Gupta Jelle Hellings Sajjad Rahnama Mohammad Sadoghi

Published in: CoRR (2019)

Keyphrases

fault tolerant
fault tolerance
distributed systems
state machine
load balancing
high availability
theorem proving
theorem prover
safety critical
mobile agent system
databases
multimedia
access control
code generation