• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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

Hamza AbusalahGeorg FuchsbauerPeter GaziKaren 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