How to Compile Polynomial IOP into Simulation-Extractable SNARKs: A Modular Approach.

Markulf Kohlweiss Mahak Pancholi Akira Takahashi

Published in: TCC (3) (2023)

Keyphrases

mathematical model
simulation model
neural network
artificial intelligence
optimal solution
simulation study
database
real time
case study
multiresolution
mathematical models
simulation environment
simulation models
low order
discrete event simulation