Abstract

SP1 Hypercube is a new multilinear based proof-system for proving correctness of programs written in a high level programming language. In the talk I will give an overview of how such real-world proof-systems work, while focusing on a key novel component in Hypercube: the jagged polynomial commitment scheme.

Attachment

Video Recording