Intro: Folding Scheme Math Building Blocks

Name: Intro: Folding Scheme Math Building Blocks
Duration: 1 h 30 min
Description: Ying Tong introduces the core mathematical building blocks behind folding schemes at Zuzalu Montenegro 2023, a technique underlying recent incrementally verifiable computation systems like Nova. The talk breaks down the algebraic structures that let folding schemes combine multiple computation steps into a single proof more efficiently than repeated SNARK recursion.

Zuzalu Montenegro 2023 · 17 Apr 2023 · 1:30:00

Ying Tong introduces the core mathematical building blocks behind folding schemes at Zuzalu Montenegro 2023, a technique underlying recent incrementally verifiable computation systems like Nova. The talk breaks down the algebraic structures that let folding schemes combine multiple computation steps into a single proof more efficiently than repeated SNARK recursion.

Speakers

Ying Tong

From Zuzalu Montenegro 2023, hosted by Zuzalu.