Round-optimal Black-box Commit-and-prove with Succinct Communication.

Susumu Kiyoshima

Published in: IACR Cryptol. ePrint Arch. (2020)

Keyphrases

black box
black boxes
white box
rule extraction
efficiently computable
integration testing
test cases
white box testing
state transition
dynamic programming
optimal solution
hybrid systems
constant factor
regret bounds
database systems
machine learning
database