Simple and Efficient Batch Verification Techniques for Verifiable Delay Functions.

Published in: TCC (3) (2021)

Keyphrases

straight forward
databases
lightweight
model checking
data sets
genetic algorithm
neural network
real world
search engine
sufficient conditions
cost effective