SP1 Hypercube and the Jagged PCS

Channel:
United States Simons Institute for the Theory of Computing
Subscribers:
69,400
Published on ● Video Link: https://www.youtube.com/watch?v=FPOZ9P5MWyM


Duration: 0:00
120 views
0

Ron Rothblum (Succinct)
https://simons.berkeley.edu/talks/ron-rothblum-succinct-2025-07-15
Proofs

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.



Other Videos By Simons Institute for the Theory of Computing


2025-07-17Twist and Shout: Fast, Simple Memory Arguments
2025-07-16Incrementally Verifiable Computation for NP from Standard Assumptions
2025-07-16An introduction to lattice-based folding schemes
2025-07-16Tree PCPs
2025-07-16Hash-based Folding Schemes
2025-07-15Towards SNARGs for NP from Standard Assumptions
2025-07-15Towards a White-Box Secure Fiat-Shamir Transformation
2025-07-15Verifiable quantum advantage: old and new ideas
2025-07-15Batch Arguments and Their Applications
2025-07-15Succinct Non-interactive Arguments of Proximity
2025-07-14SP1 Hypercube and the Jagged PCS
2025-07-13Talk by Alex Lombardi (Princeton University)
2025-07-13An Introduction to Commitment-Based Succinct Arguments
2025-07-13Incremental proof systems
2025-07-13Functional Commitments
2025-07-10Few Single-Qubit Measurements Suffice to Certify Any Quantum State
2025-07-10Lightning Talks
2025-07-10Thermal metastability and area laws
2025-07-10Rapid quantum ground state preparation via dissipative dynamics
2025-07-09Computational quantum chemistry: Classical gaps, quantum opportunities, open questions Part 2
2025-07-09Computational quantum chemistry: Classical gaps, quantum opportunities, open questions