Login / Signup
Ouroboros Chronos: Permissionless Clock Synchronization via Proof-of-Stake.
Christian Badertscher
Peter Gazi
Aggelos Kiayias
Alexander Russell
Vassilis Zikas
Published in:
IACR Cryptol. ePrint Arch. (2019)
Keyphrases
</>
high speed
theorem prover
power consumption
social networks
linear logic
special case
theorem proving
mathematical proofs
neural network
image processing
case study
video sequences
user interface
proof theory
proof planning