Proof of Necessary Work: Succinct State Verification with Fairness Guarantees.

Assimakis Kattis Joseph Bonneau

Published in: FC (2023)

Keyphrases

data sets
website
model checking
real world
search engine
theorem proving
finite state machines
formal verification