Superlight - A Permissionless, Light-client Only Blockchain with Self-Contained Proofs and BLS Signatures.

Roman Blum Thomas Bocek

Published in: CoRR (2019)

Keyphrases

theorem prover
client server
machine learning
multiresolution
digital signature
signature recognition
neural network
data mining
information retrieval
learning algorithm
decision trees
formal proof
mathematical proofs