SNACKs: Leveraging Proofs of Sequential Work for Blockchain Light Clients.

Hamza Abusalah Georg Fuchsbauer Peter Gazi Karen Klein

Published in: ASIACRYPT (1) (2022)

Keyphrases

client server
theorem prover
central server
sequential search
formal proof
equational theories
mathematical proofs
data mining
three dimensional
search algorithm
decision procedures
light scattering
formal proofs