Spartan and Bulletproofs are simulation-extractable (for free!).

Quang Dao Paul Grubbs

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

Keyphrases

simulation study
simulation model
simulation models
simulation software
learning algorithm
relational databases
simulation environment
analytical model
high fidelity
collision detection