No-Commit Proofs: Defeating Livelock in BFT.

Neil Giridharan Heidi Howard Ittai Abraham Natacha Crooks Alin Tomescu

Published in: IACR Cryptol. ePrint Arch. (2021)

Keyphrases

state machine
theorem proving
mathematical proofs
data sets
formal proofs
theorem prover
decision procedures
formal proof
equational theories
natural deduction
databases
multiscale
image retrieval
automated theorem provers