Artur Chmaro I Introducing vlayer, Super Powers For Solidity I ETHGlobal Prague 2025

[Music] Hi everyone, Arur from Vlayer here. I'm super excited to introduce you to Vlayer superpowers for solidity developers. So, first I will start with showing you what you can get out of Vlayer, what you can build with it. Um, then I will briefly explain how it works behind the scenes. Next, I will cover bounties for this hackathon.

And finally, I will show you how you can start building. So, long story short, we have four new superpowers for solidity developers. First, we have web proofs that allow you to bring any private web to data onchain. So, you can turn HTTP request into web proof using our browser extension or serverside proving. Then we have email proofs which allow you to turn email message into the zero knowledge proof that can be verified onchain.

And finally we have time travel and teleport. Time travel allow you to jump to the certain block number and restate the history. And teleport is quite the same thing but you can jump to some other chain and basically read crosschain data and again verify it in your smart contracts. And now I think it's perfect moment to talk how it's even possible. Well, Vlayer introduced a new execution model.

So we have two type of solidity smart contracts. Prover and verifier. Prover is something that is executed offchain. So you don't have to worry about gas fees or that your sensitive data will be read from uh public me. So all inputs are private by default.

And thanks to the pre-ompiles that are available in Vlayer ZK EVVM, you have access to superpowers so you can jump to some specific block numbers or you can deal with JSON or email messages inside your solidity um code. Here is example of the prover. We have board ape ownership checker which jumps to the if mainet to the specific block number with set chain ID function. then we are getting owner of not from the current block but from the specific block to we jumped before. So any invocations of other functions after the set chain ID would be executed in the context of this specific chain and this specific block number.

Finally we are returning a cryptographic uh proof plus variables that are becoming public inputs. So you have to use a specific proof with specific public inputs in our verifier and verifier is something that validates computations of prover. So we have only verified modifier. It's checked in regular uh EVM uh chain. You can use a regular solidity for that.

So for example here you have to pass a proof plus the public input which is the owner in that case. uh and then as long as the zero knowledge proof matches the public input the code would be executed otherwise only verified modifier will revert execution of that contract. So you may be wondering what kind of things you can build with that. Um so um with web proofs for example you can uh use some responses from Revolute or some other fintech or government services and turn this HTTP responses into the web proof that can be verified onchain. So for example you can mint tokens based on the data that is living in real world.

In terms of email proofs, you can for example use email as a some kind of form of resetting access to some account abstraction wallet. In terms of bounties, I think uh just head over to our official section and the EF global hackathon. We have four prizes most inspiring use of Vlayer superpowers. So um we would like you to build some c customerf facing uh crypto application that is using vlayer behind the scenes. So uh we don't limit you on uh any features that you have to use.

As long as you have prover and the verifier deployed, you are good to go. And then we have a best use case of web proofs, email proofs and time travel or teleport. If you are interested in some specific ideas, just uh let us know on our discord telegram or in person and we will try to help you out polishing um your idea. However, in terms of installation and how to start with V layer, I think the easiest way is just head over to book V layer XY Z. Here you have the installation section where just make sure that you have supported platform and all prerequisites uh installed in your system.

Then head over to the first steps with Vlayer and here I highly encourage you to start a new project using a new template. So for example, if you would like to build something with email proofs or teleport or time travel, just get the template because you will get a front end plus contracts plus scripts. So it's it's very easy to start with this templates and just modify them for your specific ideas. And that's all that I preferred for you. I wish you a happy hacking and see you on if global Prague.

[Music]