lean Ethereum Part 2: PQ Signatures and Poseidon with Dmitry and Benedikt
Zero Knowledge
00:00
Standard-model reductions for hash properties
They prefer standard-model proofs reducing to specific hash properties rather than relying on random oracles.
Play episode from 25:14
Transcript
