A Verifiable Random Function with Short Proofs and Keys.

Yevgeniy Dodis Aleksandr Yampolskiy

Published in: Public Key Cryptography (2005)

Keyphrases

theorem proving
sufficient conditions
databases
neural network
real world
multiscale
theorem prover
secret key
formal proof
equational theories