Validator election in nominated proof-of-stake.

Alfonso Cevallos Alistair Stewart

Published in: CoRR (2020)

Keyphrases

theorem proving
case study
theorem prover
linear logic
database
automated theorem proving
data sets
information systems
objective function
multi agent
proof theory