Illia Polosukhin
speaker
714 appearances
3 recordings
1 series
first heard Oct 2024
last heard Sep 2025
Illia Polosukhin’s voice in public audio — every appearance, attributed to the second.
Trend
recordings per month · last 12 monthsNo recordings in the last 12 months.Older appearances are listed below; set an alert to hear about the next one.
Appearances
But because it's so complicated.
Nobody actually doing it at the time of using services.
You may be doing it like for example when they were sending stuff to the Mars, right?
They actually had, I think, form verification of the code for the Mars rover.
But it was done once.
Like it's effectively like, okay, we wanna verify that it runs correctly.
Will run correctly given the specification.
But obviously if if anything gets updated, if the requirements change, et cetera, now it is not usable.
And it's because it's like it's so hard it requires a lot of manual labor.
Now the benefit is with AI now, right, that's getting it like really good even at winning gold at you know international mathematics on MPAD, we can actually simplify that process of proving itself.
And so what we believe is we actually will need to rewrite effectively every single line of code in such a way that it's formally verifiable at the execution time.
And with blockchain, this is a fur like this is a first step.
blockchain kinda because it's a root of trust, we wanna formally verify it so that you as a user, when you for example, sending money
uh or depositing money somewhere, you can say, Hey, I'm expecting to receive money back, uh at least as much money and the the chain needs to prove to you that this is actually gonna be correct and it's gonna happen.
But you can expand that to broader services, right?
Like if I'm using some service, I'm giving it my private data, I want it to prove to me that it's not gonna leak it, right?
Um
And so for that, this is where we're going into like verifiable compute in a broader sense.
We kind of need to both form verification and guarantees that this code is gonna be executed over your data.
So that's where trusted execution environments come in.
Showing 301–320 of 714 · page 16 of 36
← Previous
Next →