Introducing vlayer, Super Powers For Solidity
summary
vlayer provides four concrete Solidity features: Web Proofs turn HTTP responses into ZK proofs, Email Proofs convert email content into verifiable proofs, Time Travel re-executes state at a specific block number and Teleport reads another chain’s state. A new prover-verifier model runs provers off-chain (private inputs) producing a cryptographic proof plus public inputs; verifier contracts use a verified modifier to validate proofs on any EVM chain. Example: an off-chain prover proves Bored Ape ownership at block X and the on-chain verifier accepts or reverts.
AI-written summary · about
chapters (11)
- 0:00Intro to vlayer superpowers at ETHGlobal Prague
- 0:32Overview of four new Solidity superpowers
- 1:03Web Proofs and Email Proofs explained
- 1:29Time Travel and Teleport for cross-chain data
- 1:55New prover-verifier Solidity execution model
- 2:33Example: Board Ape ownership check using Time Travel
- 2:58How verifier contracts validate prover logic
- 3:22Web2 data onchain: Use cases for Web and Email Proofs
- 3:53vlayer bounty categories and ideas for hackers
- 4:42Getting started: Docs, templates, and setup
- 5:29Closing remarks and happy hacking at ETHGlobal Prague
related talks
24mZK: Accelerating DA Interop
23mYour Game Will Suck Without Zero Knowledge Proofs
33mEducational Challenges in the Ever-Evolving Space of Zero-Knowledge
15mCompositional Verification of Smart Contracts Through Communication Abstraction
13mUnveiling the Future of Zero-Knowledge Proofs
53mProofs Without Evidence: Assurance on the Blockchain and Other Applications
44mTooling for building zkEVM: PIL and Circom
12mEconomic security behind ZK proof generation