lean Ethereum Part 3: Security of PQ SNARKs and an update about the Proximity Prize
Zero Knowledge
00:00
SoundCalc Tool and Conservative Parameters
Antonio presents SoundCalc and the EF decision to stop relying on conjectural security in tooling and parameters.
Play episode from 31:01
Transcript
