Все публикации

0:27:49

Jolt: SNARKs for virtual machines via lookups - Arasu Arun (NYU), Michael Zhu (a16z Crypto)

0:57:06

Conclusions of Standards Working Groups

0:31:21

The Nexus v1.0 zkVM - Daniel Marin (Nexus)

0:27:11

The Last Challenge Attack - Oana Ciobotaru (OpenZeppelin)

0:31:26

How to start proving on Gevulot Network - Norbert Vadas (Gevulot Network)

0:42:15

Ligetron and the llama2 inference - Muthu Venkitasubramaniam (Ligero)

0:26:46

zkSNARKs in the ROM with Unconditional UC-Security - Giacomo Fenzi (EPFL)

0:29:00

On the Security of Nova Recursive Proof System - Hyeonbum Lee (Hanyang University)

0:30:56

SoK: Understanding Security Vulnerabilities in SNARKs - Stefanos Chaliasos (Imperial College London)

0:40:00

Keynote: ZK for Modern Authentication - Kostas Chalkias (Mysten Labs)

0:16:35

PriDe CT: Using ZKP to Unlock Public Consensus with Forward Secrecy in Decentralized Payments

0:27:51

ZK in the wild: building private payments and beyond - Calum Moore (Payy)

0:27:58

Real-world Universal zkSNARKs are non-malleable - Luigi Russo (EURECOM)

0:38:16

On Comparing Proof Systems and their Implementations - Matteo Campanelli (Matter Labs)

0:52:21

Keynote: Memory checking in folding-based zkVMs - Jens Groth (Nexus)

0:33:21

Practical Formal Verification for Arithmetic Circuits - Marcin Kostrzewa (Reilabs)

0:36:51

Why Verifying the Verifier Opens Up Longer-Term ZK Innovation - Ben Livshits (Matter Labs)

0:31:21

SLAP: Succinct Lattice-Based Polynomial Commitments from Standard Assumptions - Giacomo Fenzi (EPFL)

0:22:26

A Time-Space Tradeoff for the Sumcheck Prover - Andrew Zitek-Estrada (EPFL)

0:33:05

BitVM: Smarter Bitcoin Contracts - Robin Linus (zerosync)

0:29:16

Why There’s No ZK in Bitcoin: The Missing Pieces - Jonas Nick (Blockstream)

0:14:56

Zk-ACTUS: Towards Verifiable Financial Contracts - Mark Greenslade (Casper)

0:31:01

Compliance for Digital Assets - Pablo Kogan (QEDIT)

0:41:01

ZKProof 6 in Berlin - Panel Discussion Day 1 - Moderator: Daniel Benarroch