Skip to main content

Utility navigation

  • Calendar
  • Contact
  • Login
  • MAKE A GIFT
Berkeley University of California
Home Home

Main navigation

  • Programs & Events
    • Research Programs
    • Workshops & Symposia
    • Public Lectures
    • Research Pods
    • Internal Program Activities
    • Algorithms, Society, and the Law
  • Participate
    • Apply to Participate
    • Propose a Program
    • Postdoctoral Research Fellowships
    • Law and Society Fellowships
    • Science Communicator in Residence Program
    • Circles
    • Breakthroughs Workshops and Goldwasser Exploratory Workshops
  • People
    • Scientific Leadership
    • Staff
    • Current Long-Term Visitors
    • Research Fellows
    • Postdoctoral Researchers
    • Scientific Advisory Board
    • Governance Board
    • Industry Advisory Council
    • Affiliated Faculty
    • Science Communicators in Residence
    • Law and Society Fellows
  • News & Videos
    • News
    • Videos
  • Support for the Institute
    • Annual Fund
    • All Funders
    • Institutional Partnerships
  • For Visitors
    • Visitor Guide
    • Plan Your Visit
    • Location & Directions
    • Accessibility
    • Building Access
    • IT Guide
  • About
Image
Cryptography 10 Years Later - Program Logo

Proofs

Program
Cryptography 10 Years Later: Obfuscation, Proof Systems, and Secure Computation
Location

Calvin Lab auditorium

Date
Monday, July 14 – Friday, July 18, 2025
Back to calendar

Breadcrumb

  1. Home
  2. Workshop & Symposia
  3. Videos | Proofs

Secondary tabs

  • The Workshop
  • Schedule
  • Videos
Remote video URL

An Introduction to Commitment-Based Succinct Arguments

Visit talk page
Remote video URL

Fiat-Shamir in the standard model: Current state-of-the-art and future challenges

Visit talk page
Remote video URL
Workshops

Functional Commitments

Visit talk page
Remote video URL
Workshops

Incremental proof systems

Visit talk page
Remote video URL
Workshops

Error-Correcting Codes That Enable Efficient SNARKs

Visit talk page
Remote video URL
Workshops

SP1 Hypercube and the Jagged PCS

Visit talk page
Remote video URL
Workshops

SNARGs for P/poly from SIS

Visit talk page
Remote video URL
Workshops

A New Approach for Non-Interactive Zero-Knowledge from Learning with Errors

Visit talk page
Remote video URL
Workshops

A Zero-Knowledge PCP Theorem

Visit talk page
Remote video URL
Workshops

Towards a White-Box Secure Fiat-Shamir Transformation

Visit talk page

Pagination

  • Current page 1
  • Page 2
  • Next page Next
Home
The Simons Institute for the Theory of Computing is the world's leading venue for collaborative research in theoretical computer science.

Footer

  • Programs & Events
  • Participate
  • Workshops & Symposia
  • Contact Us
  • Calendar
  • Accessibility

Footer social media

  • Twitter
  • Facebook
  • Youtube
© 2013–2025 Simons Institute for the Theory of Computing. All Rights Reserved.
link to homepage

Main navigation

  • Programs & Events
    • Research Programs
    • Workshops & Symposia
    • Public Lectures
    • Research Pods
    • Internal Program Activities
    • Algorithms, Society, and the Law
  • Participate
    • Apply to Participate
    • Propose a Program
    • Postdoctoral Research Fellowships
    • Law and Society Fellowships
    • Science Communicator in Residence Program
    • Circles
    • Breakthroughs Workshops and Goldwasser Exploratory Workshops
  • People
    • Scientific Leadership
    • Staff
    • Current Long-Term Visitors
    • Research Fellows
    • Postdoctoral Researchers
    • Scientific Advisory Board
    • Governance Board
    • Industry Advisory Council
    • Affiliated Faculty
    • Science Communicators in Residence
    • Law and Society Fellows
  • News & Videos
    • News
    • Videos
  • Support for the Institute
    • Annual Fund
    • All Funders
    • Institutional Partnerships
  • For Visitors
    • Visitor Guide
    • Plan Your Visit
    • Location & Directions
    • Accessibility
    • Building Access
    • IT Guide
  • About

Utility navigation

  • Calendar
  • Contact
  • Login
  • MAKE A GIFT
link to homepage