Login / Signup
SNACKs: Leveraging Proofs of Sequential Work for Blockchain Light Clients.
Hamza Abusalah
Georg Fuchsbauer
Peter Gazi
Karen Klein
Published in:
IACR Cryptol. ePrint Arch. (2022)
Keyphrases
</>
web services
client server
light scattering
theorem prover
theorem proving
formal proof
information retrieval
artificial intelligence
knowledge base
decision procedures
client server architecture
parallel version
sequential search
equational theories