Login / Signup
Proof-of-Stake Blockchain Protocols with Near-Optimal Throughput.
Matthias Fitzi
Peter Gazi
Aggelos Kiayias
Alexander Russell
Published in:
IACR Cryptol. ePrint Arch. (2020)
Keyphrases
</>
higher throughput
response time
medium access control
linear logic
communication protocols
medium access
theorem prover
theorem proving
data sets
cryptographic protocols
allocation scheme
congestion control
communication protocol
database
mathematical proofs
message overhead
provably near optimal