A Survey of Two Verifiable Delay Functions Using Proof of Exponentiation.

Dan Boneh Benedikt Bünz Ben Fisch

Published in: IACR Commun. Cryptol. (2024)

Keyphrases

sufficient conditions
neural network
image processing
database
artificial intelligence
search engine
information systems
knowledge base
search algorithm
control system
theorem proving
linear logic
functional language