Tiramisu: Black-Box Simulation Extractable NIZKs in the Updatable CRS Model.

Karim Baghery Mahdi Sedaghat

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

Keyphrases

black box
mathematical model
simulation model
probabilistic model
analytical model
computational model
experimental data
simulation study
metamodel
databases
learning algorithm
objective function
numerical simulations
finite state machines