Permissionless Consensus based on Proof-of-Eligibility.

Geoffrey Saunois Frédérique Robin Emmanuelle Anceaume Bruno Sericola

Published in: NCA (2020)

Keyphrases

theorem prover
information retrieval
computational complexity
theorem proving
multimedia
mathematical proofs
databases
artificial intelligence
image processing
website
decision trees
multiscale
preprocessing
consensus clustering
proof planning