lean Ethereum Part 3: Security of PQ SNARKs and an update about the Proximity Prize
Zero Knowledge
00:00
Multilinear SNARKs and Sumcheck Choice
Giacomo explains LeanVM's multilinear approach, use of sumcheck, LogUp Star lookups, and rationale for the design.
Play episode from 05:20
Transcript
