Round-Optimal Black-Box Commit-and-Prove with Succinct Communication.

Susumu Kiyoshima

Published in: CRYPTO (2) (2020)

Keyphrases

black box
black boxes
white box
dynamic programming
white box testing
test cases
hybrid systems
machine learning
efficiently computable
rule extraction
neural network
asymptotically optimal
state transition
lower bound
integration testing
optimal solution
artificial intelligence