Functional Commitments

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


Duration: 0:00
115 views
0

Pratyush Mishra (University of Pennsylvania)
https://simons.berkeley.edu/talks/pratyush-mishra-university-pennsylvania-2025-07-14
Proofs

Functional commitment (FC) schemes are a key primitive in the construction of efficient succinct argument systems. At a high level, FC schemes enable committing to a message, and then later proving the correctness of evaluations of functions over the committed message.

Popular examples include polynomial commitments, vector commitments, and linear-function commitments.

In this talk, I will introduce FC schemes, discuss recent progress on "correct" definitions for them, and provide representative constructions.



Other Videos By Simons Institute for the Theory of Computing


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-14A Zero-Knowledge PCP Theorem
2025-07-14SP1 Hypercube and the Jagged PCS
2025-07-14A New Approach for Non-Interactive Zero-Knowledge from Learning with Errors
2025-07-14SNARGs for P/poly from SIS
2025-07-14Error-Correcting Codes That Enable Efficient SNARKs
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
2025-07-09Panel Discussion
2025-07-09How Hamiltonian complexity differs from quantum chemistry
2025-07-09Sum of squares spectral amplification (SOSSA)
2025-07-08When do you need an inverse or controlled unitary oracle?