Login / Signup
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