About
Blog
Projects
Research
Grants
What Makes Fiat--Shamir zkSNARKs (Updatable SRS) Simulation Extractable?