lean Ethereum Part 2: PQ Signatures and Poseidon with Dmitry and Benedikt
Zero Knowledge
00:00
Aborting Random Oracles model
They explain a new formal model to analyze encodings and securely prove novel algorithms that may abort.
Play episode from 19:40
Transcript
