Skip to content

Latest commit

 

History

History
62 lines (50 loc) · 3.59 KB

panel.md

File metadata and controls

62 lines (50 loc) · 3.59 KB
Raw
layout
default

ZKP Panel Series

ZKP Panel Series invite speakers from different ecosystems who are taking different methodologies and exploring different constructions to come together and discuss the possibilities of a more compatible, unified, and standardized framework

Table of Content

Programming Languages in ZKP

  • Daniel Lubarov (Co-founder of Mir Protocol)
  • Howard Wu (Founder of Aleo)
  • guiltygyoza (Founder of Topology) & Shahar Papini (Co-creator of Cairo)
    • Application Development & Cairo [Slides]
  • Gautam Botrel (Lead R&D Engineer at ConsenSys)
    • gnark (API vs Domain Specific Language) [Slides]
  • Joshua Fitzgerald (Cryptographer at Anoma)

Compiler and Composability in ZKP

  • Bobbin Threadbare (Founder of Polygon Miden)
    • Feeding Program Source Code to ZK VMs [Slides]
  • Brian Retford (Co-founder & CEO of RiscZero)
    • Towards a Unified Compilation Framework for Zero Knowledge [Slides]
  • Albert Rubio (Professor at UCM, Circom Development Leader)
    • Circom 2.0: A Scalable Circuit Compiler [Slides]
  • Izzy Meckler (Co-founder & CTO of Mina)
    • Composability via Typescript and Recursion [Slides]

Applications of ZKP

  • Ferdinand Sauer (Development Lead on Triton VM)
    • Can Machines Learn with Zero Knowledge? [Slides]
  • Ago Lajko (Co-founder of SlushSDK)
    • ZK Rollups for App Specific Scaling [Slides]
  • Michael Connor (Cryptography Engineering Lead at Aztec)
  • Phil Kelly & Brandon Kase (Head of BD & Architect Engineer at o(1) Labs)

Security of ZK Systems

  • David Wong (Cryptography Engineer at Mina, Former Security Head at Libra)
    • ZK Security - A Whole New Layer to Worry About [Slides]
  • Eli Ben-Sasson (Co-founder of Starkware)
    • Securing STARKs - theory and practice [Slides]
  • Christopher Goes (Co-founder of Heliax, Anoma)
    • Defensive ZKP Compiler Pipeline Design [Slides]
  • Morgan Thomas (CTO of Orbis Labs)
    • Formally Verified Circuit Programming Made Easy [Slides]
  • Yu Feng (Professor at UCSB & Founder of Verdise)
    • Hardening ZK Circuits with Formal Methods [Slides]