Sometimes You Can't Distribute Random-Oracle-Based Proofs.

Jack Doerner Yashvanth Kondi Leah Namisa Rosenbloom

Published in: CRYPTO (5) (2024)

Keyphrases

theorem proving
formal proof
theorem prover
artificial intelligence
search algorithm
decision procedures
real time
data sets
databases
learning algorithm
image processing
multi agent
data structure
digital libraries