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

Roman Blum Thomas Bocek

Published in: IM (2019)

Keyphrases

client server
social networks
theorem prover
signature verification
central server
real time
data sets
machine learning
genetic algorithm
data structure
computational complexity
decision procedures
signature recognition
refractive index
formal proofs