Skip to content

Home

Simons Institute for the Theory of Computing

Search form

  • Home
  • About
    • Overview
    • Contact
    • Calvin Lab
    • Our 10th Anniversary
  • People
    • Overview
    • Scientific Leadership
    • Staff
    • Current Long-Term Visitors
    • Research Fellows
    • Postdoctoral Researchers
    • Scientific Advisory Board
    • Governance Board
    • Industry Advisory Council
    • Affiliated Faculty
    • Science Communicator in Residence
    • Law and Society Fellow
  • Programs & Events
    • Overview
    • Programs
    • Workshops & Symposia
    • Research Pods
    • Internal Program Activities
    • Public Lectures
    • Participate
    • 10th Anniversary Symposium
  • Visiting
    • Overview
    • Directions
    • Berkeley & the Bay Area
    • Accommodation
    • Visas
    • Families
    • Visitor Guide
    • IT Guide
    • Bicycle Loans
    • Room Reservations
    • Code of Conduct
  • Support
    • Overview
    • Simons Foundation
    • Industrial Partnership
    • Academic Partners
    • Donate
    • Richard M. Karp Fund
  • Watch / Read
    • SimonsTV
    • Program Reports
    • News Stories
    • Calvin Café (blog)
  • Calendar

You are here

  1. ‹ Home
  2. ‹ Programs & Events
  3. ‹ Workshops & Symposia
  4. ‹ Probabilistically Checkable and Interactive Proof Systems
Talks
Fall 2019

Sonic: zk-SNARKs from Linear Sized Universal and Updatable SRS's

Monday, Sep. 23, 2019 2:00 pm – 2:30 pm PDT

Add to Calendar

  • iCalendar
  • Outlook
  • Google
Event: 
Probabilistically Checkable and Interactive Proof Systems
Speaker: 

Mary Maller (University College London)

No abstract available.

  • Overview
  • Programs
  • Workshops & Symposia
    • Upcoming Workshops & Symposia
    • Past Workshops & Symposia
  • Research Pods
  • Internal Program Activities
  • Public Lectures
  • Participate
  • 10th Anniversary Symposium

Privacy Terms of Use Contact Subscribe

© 2013–2020 Simons Institute for the Theory of Computing. All Rights Reserved. ^ top