Asynchronous Proof-of-Stake.

Jakub Sliwinski Roger Wattenhofer

Published in: SSS (2021)

Keyphrases

theorem proving
decision making
case study
special case
theorem prover
proof planning
database
real time
neural network
information retrieval
computer vision
three dimensional
online discussion
linear logic
asynchronous communication