ZK Recursion, Aggregation, and Composition

Proof system for zkRollups by Ye Zhang

• Slides

  rec_0xparc.pdf

• Link to Recording

PARC (Proof Aggregation, Recursion, Composition) by Ying Tong and Nalin Bhardwaj

• Slides
• Link to Recording

Proving Stack Workshops

Intro to Nova by Nalin Bhardwaj

• Slides
• Link to Recording

Intro to Gnark by John Guibas

• Slides
• Link to Recording

Intro to Kimchi by David Wong