Verifiable Computation Courses and Certifications

Zero Knowledge Proofs for Verifiable Computation on Blockchain Systems - Panel Discussion

Expert panel explores zero knowledge proofs for verifiable computation on blockchain systems, discussing applications, challenges, and future potential in Web3 technologies.

• YouTube
• 51 minutes
• On-Demand
• Free Video

TheIACR

Verifier-on-a-Leash - New Schemes for Verifiable Delegated Quantum Computation, with Quasilinear Resources

Explore new schemes for verifiable delegated quantum computation, featuring quasilinear resources and enhanced security in this cutting-edge cryptography research presentation.

• YouTube
• 21 minutes
• On-Demand
• Conference Talk

TheIACR

Verifiable Delegation of Computation over Large Datasets - Crypto 2011

Explore efficient verification of computations on large datasets, including high-degree polynomial functions, verifiable keyword search, and proofs of retrievability, based on cryptographic assumptions.

• YouTube
• 21 minutes
• On-Demand
• Free Video

IEEE

Cinderella - Turning Shabby X.509 Certificates into Elegant Anonymous Credentials with the Magic of Verifiable Computation

Transforming X.509 certificates into anonymous credentials using verifiable computation, enhancing privacy and integrity in authentication for applications like TLS and e-voting.

• YouTube
• 20 minutes
• On-Demand
• Conference Talk

IEEE

XJsnark - A Framework for Efficient Verifiable Computation

Explore efficient verifiable computation with xJsnark framework. Learn circuit-friendly algorithms, optimizations for integer arithmetic, and techniques to minimize redundant computations in cloud and cryptocurrency applications.

• YouTube
• 19 minutes
• On-Demand
• Free Video

TheIACR

Boosting Verifiable Computation on Encrypted Data

Explore verifiable computation on encrypted data, covering homomorphic encryption, SNARKs, and polynomial commitments for secure and private delegation of computation.

• YouTube
• 21 minutes
• On-Demand
• Free Video

Simons Institute

Incremental Verifiable Computation and Proof-Carrying Data

Explore incremental verifiable computation and proof-carrying data, covering definitions, low-memory distributed provers, SNARK constructions, and open research problems.

• YouTube
• 1 hour 2 minutes
• On-Demand
• Free Video

IEEE

Multi-Server Verifiable Computation of Low-Degree Polynomials

Explore efficient multi-server verifiable computation techniques for low-degree polynomials, including interpolation, curve intersecting, and surface translating methods, with performance analysis and experimental results.

• YouTube
• 17 minutes
• On-Demand
• Free Video

Simons Institute

Incrementally Verifiable Computation for NP from Standard Assumptions

Discover how to construct incrementally verifiable computation for NP problems using standard cryptographic assumptions, overcoming previous barriers in proof systems.

• YouTube
• 1 hour 8 minutes
• On-Demand
• Free Video

IEEE

Verifiable ASICs

Explore verifiable computation for untrusted ASICs, enabling high-assurance execution without compromising performance. Learn about the Zebra system's implementation and its potential to match trusted platform performance.

• YouTube
• 20 minutes
• On-Demand
• Conference Talk

IEEE

VRAM: Faster Verifiable RAM With Program-Independent Preprocessing

Explore faster verifiable RAM with program-independent preprocessing, reducing prover's memory and time while scaling to larger computations. Optimal prover overhead and comparable performance to program-specific schemes.

• YouTube
• 20 minutes
• On-Demand
• Free Video

Fission

Seamless Services for an Open World

Explore the next generation of open services with verifiable data and computation, enabling seamless, location-free, and privacy-respecting systems that scale superlinearly and interoperate without pre-negotiation.

• YouTube
• 57 minutes
• On-Demand
• Free Video

TheIACR

SNARKs - Introduction and Fundamentals

Explore cutting-edge developments in SNARKs (Succinct Non-Interactive Arguments of Knowledge) at this Crypto 2024 session, chaired by Nir Bitansky.

• YouTube
• 1 hour 1 minute
• On-Demand
• Free Video

TheIACR

SNARKs 2 - Advanced Cryptographic Protocols

Explore advanced cryptographic concepts and latest developments in SNARKs at this Crypto 2024 session, chaired by Jonathan Bootle.

• YouTube
• 1 hour 17 minutes
• On-Demand
• Free Video

TheIACR

Polynomial Commitments and SNARKs

Explore advanced cryptographic concepts like polynomial commitments and SNARKs in this comprehensive session from Crypto 2024, chaired by Yupeng Zhang.

• YouTube
• 1 hour 16 minutes
• On-Demand
• Free Video