Zero-Knowledge Proofs Courses and Certifications

ETHTaipei

Building Lightning Fast SNARKs with gnark - Workshop

Dive into building high-performance SNARKs using gnark framework on Linea, exploring advanced zero-knowledge proof implementations and optimization techniques for blockchain applications.

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

ETHTaipei

Challenges of Building an EVM Equivalent ZK Rollup on the OP-Stack

Dive into the technical complexities and architectural challenges of implementing EVM-compatible ZK rollups using OP-Stack, exploring advanced scaling solutions for Ethereum.

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

ETHTaipei

Secure Interoperability with Zero-Knowledge Proofs

Dive into zero-knowledge proofs and their role in securing blockchain interoperability, exploring practical applications and implementation strategies for cross-chain communication.

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

ETHTaipei

A Typhon That Hides in the Taiga

Dive into Anoma's innovative blockchain architecture and privacy features with Vasily Sidorov's exploration of the Typhon protocol and its implementation in decentralized systems.

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

Ethereum Engineering Group

Security Vulnerabilities in ZK-SNARKs and Their Application in ZK-Rollups

Explore critical security vulnerabilities in zk SNARK systems and their implications for zk rollups, focusing on systematic analysis and potential mitigation strategies in blockchain scaling solutions.

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

USENIX

DIZK: A Distributed Zero Knowledge Proof System

Discover how DIZK revolutionizes zero knowledge proof systems through distributed computing, enabling 100x larger computations and faster processing for enhanced blockchain security and privacy applications.

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

Cybersecurity in the Modern Era - Zero Knowledge Proofs Explained

Unravel zero-knowledge proofs and post-quantum signatures with cryptography expert Dan Boneh. Gain insights into cutting-edge cybersecurity technologies shaping data protection and future cryptographic challenges.

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

SkillUp EdTech

Cutting-Edge Blockchain Security Mechanisms

Explore advanced blockchain security, from cryptographic principles to smart contract vulnerabilities. Learn to identify and mitigate threats like reentrancy, denial-of-service, and front-running attacks in blockchain systems.

• Coursera
• 7 hours 43 minutes
• On-Demand
• Free Online Course (Audit)

Strange Loop Conference

Rhapsody in Zero Knowledge - Proving Without Revealing

Explore zero-knowledge proofs: a cryptographic technique enabling proof verification without revealing sensitive information, balancing security and privacy in modern computing.

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

Association for Computing Machinery (ACM)

Shafi Goldwasser: Journey from Israel to Turing Award - A Life in Computer Science

Explore Shafi Goldwasser's journey from childhood in Israel to becoming a pioneering computer scientist, covering her education, influences, and experiences that shaped her career.

• YouTube
• 3 hours 7 minutes
• On-Demand
• Free Video

IEEE

ZeeStar - Private Smart Contracts by Homomorphic Encryption and Zero-Knowledge Proofs

Explore innovative privacy techniques for smart contracts using homomorphic encryption and zero-knowledge proofs, enhancing security and confidentiality in blockchain applications.

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

IEEE

Wolverine - Fast, Scalable, and Communication-Efficient Zero-Knowledge Proofs for Boolean and Arithmetic Circuits

Explore fast, scalable zero-knowledge proofs for Boolean and arithmetic circuits, covering applications, existing systems, tradeoffs, and innovative protocols like SVLE and Cotton Bucketing.

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

USENIX Enigma Conference

Trustworthy Elections - Joey Dodds, Galois and Free & Fair - USENIX Enigma Conference - 2020

Exploring challenges in US election systems and innovative solutions for trustworthy voting technology, including ElectionGuard and SSITH projects.

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

Simons Institute

Efficient Zero Knowledge Proof from Interactive Proofs

Explore efficient zero-knowledge proofs derived from interactive proofs, focusing on new algorithms, performance improvements, and comparisons to existing systems.

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

Simons Institute

Berkeley in the 80s - Episode 1- Shafi Goldwasser

Insightful interview with Turing Laureate Shafi Goldwasser, exploring her groundbreaking research in theoretical computer science, interactive proofs, and zero-knowledge protocols at UC Berkeley in the 1980s.

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