23:28:01 <xmrack[m]> https://eprint.iacr.org/2023/494.pdf
23:28:15 <xmrack[m]> Spartan and Bulletproofs are simulation-extractable