~/talk

Web Proofs on Ethereum with vlayer

Talkat ETHGlobal Buenos Aires 2025 · 2025-11-21..11-23· [web3, security]
slides:none on file

vlayer notarizes HTTP responses using TLS Notary and a web prover server that runs an MPC with a notary, then exchanges the large web proof for a compressed ZK proof that an EVM contract verifies. Example fetches GitHub GraphQL, proves merged PR count for a repo, outputs repository, handle, contributions, extraction hash and notary fingerprint, and the contract checks query hash and image ID against risk zero proofs. Works in dev mode (real ZK needs GPU), needs good internet, and struggles with payloads > ~30 KB.

AI-written summary · about

  1. 0:00Web proofs on Ethereum
  2. 1:33Why Solidity devs need web proofs
  3. 3:25How web proofs work
  4. 4:08Demo: GitHub contributions proof
  5. 10:08Smart contract verification with ZK proofs
  6. 14:45Bounties and how to start
  7. 18:16Q&A: Private data & auth
~/search
type to search 6,249 conferences, 138,987 speakers and 185,172 talks
~/help
cmdctrl k
search every conference, speaker and series
/
focus the filter search
h
home
c
conferences
s
speakers
e
series
t
light / dark — the status bar button does the same
?
this help
esc
close this, then clear every filter — or just the search, while you are typing in it

Ignored while you are typing. Pages without a filter rail have no search to focus.