back to index

Vitalik Buterin: Ethereum, Cryptocurrency, and the Future of Money | Lex Fridman Podcast #80


small model | large model

link |
00:00:00.000
The following is a conversation with Vitalik Buterin, co creator of an author of the white
link |
00:00:05.900
paper that launched Ethereum and Ether, which is a cryptocurrency that is currently the
link |
00:00:11.940
second largest digital currency after Bitcoin.
link |
00:00:16.100
Ethereum has a lot of interesting technical ideas that are defining the future of blockchain
link |
00:00:20.300
technology and Vitalik is one of the most brilliant people innovating in the space today.
link |
00:00:27.260
Like Satoshi Nakamoto, the unknown person or group that created Bitcoin, Vitalik is
link |
00:00:34.840
very well known and at a young age is thrust into the limelight as one of the main faces
link |
00:00:41.480
of the technology that may redefine the nature of money and all forms of digital transactions
link |
00:00:47.760
in the 21st century.
link |
00:00:50.280
This is the Artificial Intelligence Podcast.
link |
00:00:52.360
If you enjoy it, subscribe on YouTube, review it with 5 stars on Apple Podcast, support
link |
00:00:58.480
it on Patreon, or simply connect with me on Twitter at Lex Freedman, spelled F R I D M
link |
00:01:04.960
A N.
link |
00:01:06.680
As usual, I'll do one or two minutes of ads now and never any ads in the middle that
link |
00:01:11.240
can break the flow of the conversation.
link |
00:01:13.200
I hope that works for you and doesn't hurt the listening experience.
link |
00:01:17.760
Next summary of the ads, two sponsors, Masterclass and ExpressVPN.
link |
00:01:24.200
Please consider supporting the podcast by signing up to masterclass at masterclass.com
link |
00:01:29.000
slash lex and getting expressvpn at expressvpn.com slash lex pod.
link |
00:01:39.200
This show is sponsored by masterclass.
link |
00:01:41.720
Sign up at masterclass.com slash lex to get a discount and to support this podcast.
link |
00:01:48.440
When I first heard about Masterclass, I honestly thought it was too good to be true.
link |
00:01:53.160
For $180 a year, you get an all access pass to watch courses from experts at the top of
link |
00:01:59.680
their field.
link |
00:02:01.000
To list some of my favorites, Chris Hadfield on Space Exploration, Neil deGrasse Tyson on
link |
00:02:06.560
Scientific Thinking and Communication, Will Wright, the creator of SimCity and Sims on
link |
00:02:12.940
Game Design.
link |
00:02:14.440
I love that game.
link |
00:02:16.080
Jane Goodall on Conservation, Carlos Santana, one of my favorite guitarists on guitar.
link |
00:02:21.720
Gary Kasparov on Chess, obviously I'm Russian.
link |
00:02:25.440
I love Gary.
link |
00:02:27.000
Daniel Negrano on poker, one of my favorite poker players, also Phil Ivy, gives a course
link |
00:02:32.880
as well and many, many more.
link |
00:02:35.640
Chris Hadfield explaining how rockets work and the experience of being launched into
link |
00:02:39.860
space alone is worth the money.
link |
00:02:43.280
By way of advice for me, the key is not to be overwhelmed by the abundance of choice.
link |
00:02:48.600
Pick three courses you want to complete.
link |
00:02:50.680
Watch each all the way through from start to finish.
link |
00:02:52.640
It's not that long, but it's an experience that will stick with you for a long time,
link |
00:02:56.760
I promise.
link |
00:02:58.360
It's easily worth the money.
link |
00:02:59.840
You can watch it on basically any device.
link |
00:03:02.480
Once again, sign up at masterclass.com slash lex to get a discount and to support this
link |
00:03:08.600
podcast.
link |
00:03:10.100
This show is sponsored by ExpressVPN, download it at expressvpn.com slash lexpod to get a
link |
00:03:17.880
discount and to support this podcast.
link |
00:03:20.920
I've been using ExpressVPN for many years.
link |
00:03:23.840
I honestly love it.
link |
00:03:25.960
It's easy to use, press the big power on button and your privacy is protected.
link |
00:03:31.240
And if you like, you can make it look like your location is anywhere else in the world.
link |
00:03:35.800
I might be in Boston now, but I can make it look like I'm in New York, London, Paris or
link |
00:03:41.080
anywhere else.
link |
00:03:42.920
This has a large number of obvious benefits.
link |
00:03:45.560
For example, certainly it allows you to access international versions of streaming websites
link |
00:03:50.400
like the Japanese version of Netflix or the UK version of Hulu.
link |
00:03:55.640
As you probably know, I was born in the Soviet Union, so sadly, given my roots and appreciation
link |
00:04:00.720
of Russian history and culture, my website and the website for this podcast is blocked
link |
00:04:06.760
in Russia.
link |
00:04:08.560
So this is another example of where you can use ExpressVPN to access sites like the podcast
link |
00:04:16.120
that are not accessible in your country.
link |
00:04:19.120
ExpressVPN works on any device you can imagine.
link |
00:04:21.920
I use it on Linux, shout out to Ubuntu, Windows, Android, but it's available everywhere else
link |
00:04:28.120
too.
link |
00:04:29.360
Once again, download it at expressvpn.com slash lexpod to get a discount and to support
link |
00:04:37.200
this podcast.
link |
00:04:38.800
And now here's my conversation with Vitalik Buterin.
link |
00:04:44.080
So before we talk about the fundamental ideas behind Ethereum and cryptocurrency, perhaps
link |
00:04:50.160
it'd be nice to talk about the origin story of Bitcoin and the mystery of Satoshi Nakamoto.
link |
00:04:58.480
You gave a talk that started with asking the question, what did Satoshi Nakamoto actually
link |
00:05:04.440
invent?
link |
00:05:05.440
Maybe you could say, who is Satoshi Nakamoto and what did he invent?
link |
00:05:10.400
Sure.
link |
00:05:11.400
So Satoshi Nakamoto is the name by which we know the person who originally came up with
link |
00:05:18.880
Bitcoin.
link |
00:05:19.880
So the reason why I say the name by which we know is that this is a anonymous fellow
link |
00:05:25.440
who has shown himself to us only over the internet just by first publishing the white
link |
00:05:33.640
paper for Bitcoin, then releasing the original source code for Bitcoin, and then talking
link |
00:05:39.440
to the very early Bitcoin community on Bitcoin forums and interacting with them and helping
link |
00:05:46.680
the project along for a couple of years.
link |
00:05:49.640
And then at some point in late 2010 to early 2011, he disappeared.
link |
00:05:55.800
So Bitcoin is a fairly unique project in how it has this kind of mythical kind of quasi
link |
00:06:05.160
godlike founder who just kind of popped in, did the thing and disappeared and we've somehow
link |
00:06:11.080
just never heard from him again.
link |
00:06:13.120
So in 2008, so the white paper was the first, do you know the white paper was the first
link |
00:06:18.360
time the name would actually appear Satoshi Nakamoto?
link |
00:06:22.320
I believe so.
link |
00:06:23.720
So how is it possible that the creator of such an impactful project remains anonymous?
link |
00:06:31.560
That's a tough question.
link |
00:06:34.280
There's no similarity to it in the history of technology as far as I'm aware.
link |
00:06:39.280
So one possibility is that it's Healthini because Healthini was also active in the Bitcoin
link |
00:06:46.760
community and as Healthini in those two beginning years and Healthini, maybe he is one of the
link |
00:06:57.520
people in the early Cypherpunk community.
link |
00:07:00.760
He was a computer scientist, just computer scientists, cryptographers, people interested
link |
00:07:08.120
in like technology, internet freedom, like those kinds of topics.
link |
00:07:14.840
Was it correct that I read that he seemed to have been involved in either the earliest
link |
00:07:19.040
or the first transaction of Bitcoin?
link |
00:07:21.920
Yes.
link |
00:07:22.920
The first transaction of Bitcoin was between Satoshi and Healthini.
link |
00:07:26.440
Do you think he knew who Satoshi was?
link |
00:07:28.560
If he wasn't Satoshi, you probably know.
link |
00:07:31.400
How is it possible to work so closely with people and nevertheless not know anything
link |
00:07:36.920
about their fundamental identity?
link |
00:07:39.880
Is this like a natural sort of characteristic of the internet?
link |
00:07:43.840
If we were to think about it, because you and I just met now, there's a depth of knowledge
link |
00:07:52.120
that we now have about each other that's like physical.
link |
00:07:55.680
My vision system is able to recognize you.
link |
00:07:58.200
I can also verify your identity of uniqueness, like it's very hard to fake you being you.
link |
00:08:05.920
So the internet has a fundamentally different quality to it, which is just fascinating.
link |
00:08:11.440
Yeah, this is definitely interesting as I definitely just know a lot of people just
link |
00:08:19.360
by their internet handles.
link |
00:08:21.760
To me, when I think of them, I see their internet handles and one of them has a profile picture
link |
00:08:27.880
as this face that's not quite human with a bunch of psychedelic colors in it.
link |
00:08:34.600
When I visualize him, I just visualize that.
link |
00:08:37.960
Not an actual face.
link |
00:08:40.880
You are the creator of the second most popular cryptocurrency, Ethereum.
link |
00:08:48.440
On this topic, if we just stick on Satoshi Nakamoto for a little bit longer, you may
link |
00:08:53.000
be the most qualified person to speak to the psychology of this anonymity that we're talking
link |
00:08:58.200
about.
link |
00:09:00.480
Your identity is known, I've just verified it, but from your perspective, what are the
link |
00:09:05.400
benefits in creating a cryptocurrency and then remaining anonymous?
link |
00:09:11.320
If it can psychoanalyze Satoshi Nakamoto, is there something interesting there?
link |
00:09:17.160
Or is it just a peculiar quirk of him?
link |
00:09:20.360
It definitely helps create this image of a neutral thing that doesn't belong to anyone.
link |
00:09:29.760
You created a project and because you're anonymous and because you also have disappeared or,
link |
00:09:37.640
as unfortunately happened to Helfini, if that is him, he ended up dying of Lou Gehrig's
link |
00:09:42.320
disease and he's in a cryogenic freezer now.
link |
00:09:46.520
If you pop in and you created and you're gone and all that's remaining of that whole
link |
00:09:55.800
process is the thing itself, then no one can go and try to interpret any of your other
link |
00:10:03.920
behavior and try to understand, oh, this person wrote this thing in some essay at age 16 where
link |
00:10:13.840
he expressed particular opinions about democracy.
link |
00:10:17.440
Because of that, this project is a statement that's trying to do this specific thing.
link |
00:10:22.720
That it creates this environment where the thing is what you make of it.
link |
00:10:30.640
It doesn't have the burden of your other ideas, political thought and so on.
link |
00:10:36.000
So now that we're sitting with you, do you feel the burden of being kind of the face
link |
00:10:43.120
of Ethereum?
link |
00:10:44.120
I mean, there's a very large community of developers, but nevertheless, is there like
link |
00:10:49.840
a burden associated with that?
link |
00:10:52.160
There definitely is.
link |
00:10:53.480
This is definitely a big reason why I've been trying to push for the Ethereum ecosystem
link |
00:11:00.240
to become more decentralized in many ways, just encouraging a lot of Ethereum work to
link |
00:11:06.840
happen outside of the Ethereum foundation and of expanding the number of people that
link |
00:11:11.840
are making different kinds of decisions, having multiple software limitations instead of one
link |
00:11:17.080
and all of these things.
link |
00:11:18.600
There's a lot of things that I've tried to do to remove myself as a single point of failure
link |
00:11:25.400
because that is something that a lot of people criticize me for.
link |
00:11:31.840
So if you look at like the most fundamentally successful open source projects, it seems
link |
00:11:37.600
that it's like a sad reality when I think about it is it seems to be that one person
link |
00:11:43.440
is a crucial contributor often if you look at Linus for Linux, for the kernel.
link |
00:11:51.760
That is possible and I'm definitely not planning to disappear.
link |
00:11:56.640
That's an interesting tension that projects like this kind of desire a single entity and
link |
00:12:04.320
yet they're fundamentally distributed.
link |
00:12:08.760
I don't know if there's something interesting to say about that kind of structure and thinking
link |
00:12:12.920
about the future of cryptocurrency, does there need to be a leader?
link |
00:12:17.600
There's different kinds of leaders.
link |
00:12:20.760
There's dictators who control all the money.
link |
00:12:22.880
There's people who control organizations.
link |
00:12:25.080
There's high priests that just have themselves as their Twitter followers.
link |
00:12:30.520
What kind of leader are you, would you say?
link |
00:12:33.120
In these days, actually a bit more in the high priest direction than before.
link |
00:12:42.680
I definitely actually don't do all that much of kind of going around and ordering Ethereum
link |
00:12:47.880
Foundation people to do things because I think those things are important.
link |
00:12:52.680
If there's something that I do think is important, I do just usually kind of say it publicly
link |
00:12:58.120
or just kind of say it to people and quite often projects just kind of start doing it.
link |
00:13:05.120
So let's ask the high philosophical question about money.
link |
00:13:10.360
What at the highest level is money?
link |
00:13:13.120
What is money?
link |
00:13:15.360
It's a kind of game and it's a game where we have points and if you have points, there's
link |
00:13:21.080
this one move where you can reduce your points by a number and increase someone else's points
link |
00:13:24.520
by the same number.
link |
00:13:26.520
So it's a fair game, hopefully.
link |
00:13:29.840
Well, it's one kind of fair game.
link |
00:13:32.400
For example, you can have other kinds of fair games like you're going to have a game where
link |
00:13:35.960
if I give someone a point and you give someone a point instead of that person getting two
link |
00:13:39.600
points that person gets four points and that's also fair.
link |
00:13:44.200
But money is easy to set up and it serves a lot of useful functions and so it kind of
link |
00:13:52.720
just survives in society as a meme for thousands of years.
link |
00:13:57.800
It's useful for the storage of wealth.
link |
00:14:00.600
It's useful for the exchange of value.
link |
00:14:04.080
And it's also useful for denominating future payments, a unit of account.
link |
00:14:10.080
A unit of account.
link |
00:14:11.400
So if you look at the history of money in human civilization, just if you're a student
link |
00:14:18.640
of history, how has its role or just the mechanisms of money changed over time in your view?
link |
00:14:25.960
Even if we just look at the 20th century before and then leading up to cryptocurrencies, that's
link |
00:14:30.640
something you think about?
link |
00:14:32.160
And I think the big thing in the 20th century is we saw a lot more intermediation, I guess.
link |
00:14:41.520
The first part is the move from adding more of different kinds of banking and then we
link |
00:14:50.800
saw the move from dollars being backed by gold to dollars being backed by gold that's
link |
00:14:57.640
only redeemable by certain people to dollars not being backed by anything and if you have
link |
00:15:05.880
a bunch of free floating currencies and then people getting bank accounts and then those
link |
00:15:13.160
things becoming electronic, people getting accounts with payment processors that have
link |
00:15:17.960
bank accounts.
link |
00:15:20.360
So what do you make of that?
link |
00:15:22.400
That's such a fascinating philosophical idea that money might not be backed by anything.
link |
00:15:30.000
Is that fascinating to you that money can exist without being backed by something physical?
link |
00:15:35.520
It definitely is.
link |
00:15:36.520
What do you make of that?
link |
00:15:39.480
How is that possible?
link |
00:15:40.480
Is that stable?
link |
00:15:41.480
If we look at the future of human civilization, is it possible to have money at the large
link |
00:15:45.800
scale at such a hugely productive and rich societies be able to operate successfully
link |
00:15:52.480
without money being backed by anything physical?
link |
00:15:55.000
I feel like the interesting thing about the 21st century especially is that a lot of the
link |
00:16:01.240
important valuable things are not backed by anything.
link |
00:16:04.400
If you look at tech companies, for example, like something like Twitter, you could theoretically
link |
00:16:10.640
imagine that if all of the employees wanted to, they could have come together, they would
link |
00:16:16.080
quit and start working on Twitter 2.0 and then they have value and just build the exact
link |
00:16:28.160
same product or, of course, possibly build a better product and then just continue on
link |
00:16:32.720
from there and the original Twitter would not have people left anymore.
link |
00:16:40.400
There is theoretically code and IP that's owned by the company, but in reality, good
link |
00:16:45.440
programmers could probably rewrite all that stuff in three months.
link |
00:16:51.480
The reason why the thing has value is just network effects and coordination problems.
link |
00:16:57.280
These employees in reality aren't going to switch all at once and also the users aren't
link |
00:17:02.880
all going to switch at once because it's just difficult for them to switch at once.
link |
00:17:08.440
There's these metastable and equilibrium interactions between thousands of millions of people that
link |
00:17:16.360
are actually quite sticky even though if you try to assume that everyone's a perfectly
link |
00:17:22.400
rational and perfectly soliparist, spherical cow, they don't seem to exist at all.
link |
00:17:28.200
That stickiness.
link |
00:17:29.200
Do you have a sense, a grasp of the fundamental dynamics, like the physics of that stickiness?
link |
00:17:36.360
It seems to work, and I think some of the cryptocurrency ideas kind of rely on it working.
link |
00:17:45.040
It's the sort of thing that's definitely been economically modeled a lot.
link |
00:17:51.000
One of the analogy of something similar that you often see in textbooks is what is a government,
link |
00:18:01.040
if 80% of people in a country just tomorrow suddenly had the idea that the laws that are
link |
00:18:09.720
currently the laws in the government are just people and some other thing is the government
link |
00:18:15.520
and they just start acting like it, then that would become the new reality.
link |
00:18:19.920
The question is, well, what happens if between zero and 80% of people start believing that?
link |
00:18:30.440
Another thing you see is that if there is one of these kind of switches happening, this
link |
00:18:35.560
kind of revolution, then if you're the first person to join, then you probably don't have
link |
00:18:42.880
the incentive to do that, but then if you're the 55th percentile person to join, then suddenly
link |
00:18:47.760
becomes quite safe too.
link |
00:18:51.080
This definitely is the sort of thing that you can try to analyze and understand mathematically.
link |
00:18:58.360
One of the results is that the sort of when the switch happens definitely can be chaotic
link |
00:19:08.080
sometimes.
link |
00:19:09.080
Yeah, but still, to me, the idea that the network affects the fact that human beings
link |
00:19:14.360
at a scale like millions, billions can share even the idea of currency, all agree.
link |
00:19:23.640
I know economists can model it, I'm a skeptic on the economic, so my favorite sort of field,
link |
00:19:31.000
maybe recreational, these psychology is trying to understand human behavior and I think sometimes
link |
00:19:36.240
people just kind of pretend that they can have a grasp on human behavior even though
link |
00:19:41.200
it's such a messy space that all the models that psychology or economics, those are different
link |
00:19:45.720
perspectives on human behavior, can have are difficult, is difficult to know how much that's
link |
00:19:52.640
wishful thinking and how much it is actually getting to the core of understanding human
link |
00:19:57.160
behavior, but on that idea, what do you think is the role of money in human motivation?
link |
00:20:05.960
So do you think money from an economics perspective, from a psychology perspective is core to like
link |
00:20:15.680
human desires?
link |
00:20:18.480
Money is definitely very far from the only motivator.
link |
00:20:22.000
It is a big motivator, and that's one of the closest things you have to a universal motivator.
link |
00:20:30.160
Because ultimately, almost any person in the world, if you ask them to do something, they'll
link |
00:20:36.120
be more inclined to do it if you also offer them money.
link |
00:20:43.400
There's definitely many cases where people will do things other than things that maximize
link |
00:20:47.880
how much money they have and that happens all the time, but a lot of those other things
link |
00:20:53.040
are kind of much more specific to and of who that person is and of what their situation
link |
00:20:58.440
is, the relationship between the motive and the action and these other things.
link |
00:21:02.440
What do you think is the interplay of the other motivator from like Nietzsche in respect
link |
00:21:06.120
to his power?
link |
00:21:07.920
Do you think money equals power?
link |
00:21:09.840
Do you think those are conflicting ideas?
link |
00:21:11.960
I mean, that's one of the ideas that decentralized currency, decentralized applications are looking
link |
00:21:17.680
at is who holds the power?
link |
00:21:21.880
Money is definitely a kind of power, and there's definitely people who want money because it
link |
00:21:28.400
gives them power, and then even if money doesn't seem to explicitly be about money, a lot of
link |
00:21:37.000
things that people spend money on are ultimately about social status of some kind.
link |
00:21:44.360
I definitely view those two things as interplaying, and then there's also money as just a way
link |
00:21:50.480
of measuring how successful you are as a scoreboard, so this kind of gets back to the game.
link |
00:21:59.320
If you have $4 billion, then one of the big benefits you get from going up to $6 million
link |
00:22:08.080
is that now instead of being below the guy who has five, you're above the guy who has
link |
00:22:12.200
five.
link |
00:22:13.200
So you think money could be kind of in the game of life, it's also a measure of self
link |
00:22:19.440
worth.
link |
00:22:20.440
It's like how we...
link |
00:22:21.840
It's definitely how a lot of people perceive it.
link |
00:22:25.640
Define ourselves in the hierarchy of society.
link |
00:22:29.120
Not saying it's a healthy thing that people define their self worth as money because it's
link |
00:22:34.720
definitely far from a perfect indicator of how much value you provide to society or anything
link |
00:22:43.880
like this, but I definitely think that as a matter of current practice, so much of people
link |
00:22:50.040
do feel that way.
link |
00:22:51.440
So what does utopia from an economic perspective look like to you?
link |
00:22:57.200
What does the perfect world look like?
link |
00:23:00.280
I guess the economists say utopia would be one where kind of everything is an incentive
link |
00:23:09.920
aligned in the sense that there aren't kind of conflicts between what satisfies your goals
link |
00:23:16.040
and kind of what is good for everyone in the world as a whole.
link |
00:23:22.320
What do you think that would look like?
link |
00:23:26.800
Does that mean there's still poor people and rich people?
link |
00:23:29.880
There's still income inequality?
link |
00:23:32.400
Do you think sort of Marxist ideas are strong?
link |
00:23:35.400
Do you think sort of ideas of objectivism, like where the market rules is strong?
link |
00:23:44.840
Is there different economic philosophies that just seem to be reflective of what utopia
link |
00:23:50.320
would be?
link |
00:23:51.320
So I definitely think that existing economic philosophies do end up systematically deviating
link |
00:24:01.000
from the utopia in a lot of ways.
link |
00:24:04.560
One of the big things I talk about, for example, is public goods, and public goods are especially
link |
00:24:09.840
important on the internet.
link |
00:24:13.040
The idea is with money as this game where I lose a few coins and you gain the same number
link |
00:24:19.680
of coins, is that this usually happens in a trade where I lose some money, you gain
link |
00:24:23.720
some money, you lose a sandwich and I gain a sandwich.
link |
00:24:29.440
This kind of model works really well when the thing that we're using money to incentivize
link |
00:24:35.800
this kind of private goods, things that you provide to one person or the benefit comes
link |
00:24:39.840
to one person.
link |
00:24:43.600
On the internet especially, but also many, many contexts off the internet, there's actions
link |
00:24:49.120
that individuals or groups can take where instead of the benefit going to one person,
link |
00:24:56.400
the benefit just goes to many people at the same time and you can't control who the benefit
link |
00:25:01.080
goes to.
link |
00:25:02.080
For example, this podcast, we publish it and when it's published, you don't have any fine
link |
00:25:08.680
grains control over these 38,000 people can watch it and then these other 29,000 people
link |
00:25:15.400
can't.
link |
00:25:16.400
Once the number goes high enough, then people will just copy it and then when I write articles
link |
00:25:21.380
on a blog, then they're just free for everyone and that stuff's even harder to prevent anyone
link |
00:25:27.240
from copying.
link |
00:25:29.800
Aside from that, things like scientific research, for example, and even taking more pedestrian
link |
00:25:36.720
examples like climate change mitigation would be a big one.
link |
00:25:42.920
There's a lot of things in the world where you have these individual actions with concentrated
link |
00:25:48.880
costs and distributed benefits and money as a point system does not do a good job of encouraging
link |
00:25:55.560
these things.
link |
00:25:57.800
One of the other things even, tangentially connected to crypto but theoretically outside
link |
00:26:05.280
of it that I work on is this mechanism called quadratic funding and the way to think about
link |
00:26:10.680
it is imagine a point system where if one person gives coins to one other person, then
link |
00:26:22.040
it works the same way as money.
link |
00:26:23.720
But if multiple people give coins to one person and they do so anonymously, so it's not in
link |
00:26:31.320
consideration for a specific service to that person themselves, then the number of coins
link |
00:26:37.360
that are received by that person is greater than just the sum of the number of coins that
link |
00:26:42.560
are given by those different people.
link |
00:26:45.440
So the actual formula is you take the square root of the amount that each person gave,
link |
00:26:49.640
then you add all the square roots and then you end up square the sum and then you give
link |
00:26:53.760
that.
link |
00:26:54.760
And the idea here would basically be that if, let's say for example, you would just start
link |
00:27:01.760
going off and kind of planting a lot of trees and there's a bunch of people that are really
link |
00:27:06.400
happy that you're planting trees and then so they go and all kind of throw a coin your
link |
00:27:11.280
way, then there is basically the fact that you get more than the sum, you get this kind
link |
00:27:18.640
of square root of these tiny amounts, that this actually kind of compensates for the
link |
00:27:26.400
tragedy of the commons.
link |
00:27:28.400
There's even this kind of mathematical proof that it sort of optimally compensates for
link |
00:27:31.680
it.
link |
00:27:32.680
What is the tragedy of the commons?
link |
00:27:34.080
This is just this idea that if there is this situation where there's some public good that
link |
00:27:42.840
lots of people benefit from, then no individual person wants to contribute to it because if
link |
00:27:47.360
they contribute, they only get a small part of the benefit from their contribution, but
link |
00:27:52.240
they pay the full cost of their contribution.
link |
00:27:54.840
In which context is this, sorry, what is the term quadratic?
link |
00:27:58.840
Quadratic funding.
link |
00:27:59.840
Quadratic funding.
link |
00:28:01.840
In which context is this mechanism useful?
link |
00:28:05.600
Obviously, you said to combat the tragedy of the commons, but in which context do you
link |
00:28:11.480
see it as useful actually to practice speaking?
link |
00:28:13.600
Yeah, theoretically, public good is in general, right?
link |
00:28:17.040
Like services, what are we talking about?
link |
00:28:19.160
What's the public good?
link |
00:28:21.600
Within the Ethereum ecosystem, for example, we've actually tried using this mechanism.
link |
00:28:26.680
I wrote a couple of articles about this on Vitalik.ca where I go through some of the
link |
00:28:32.040
most recent rounds and it's been really interesting.
link |
00:28:35.240
Some of the top ones that people supported, there were things like just online user interfaces
link |
00:28:44.320
that make it easier for people to interact with Ethereum.
link |
00:28:48.600
There was documentation, there were podcasts, there were software clients, implementations
link |
00:28:59.920
of the Ethereum protocol of privacy tools, just lots of things that are useful to lots
link |
00:29:08.160
of people.
link |
00:29:09.160
When a lot of people are contributing, funding a particular entity, that's really interesting.
link |
00:29:16.400
There's something special about the quadratic, the summing of the square roots and the taken
link |
00:29:21.920
square.
link |
00:29:22.920
Another way to think about it is imagine if N people each give a dollar, then the person
link |
00:29:27.760
gets N squared.
link |
00:29:31.680
Each individual person's contribution gets multiplied by N because you have N people.
link |
00:29:37.200
That perfectly compensates for the N to 1 tragedy of the commons.
link |
00:29:41.920
I just wonder if the squared part is fundamental.
link |
00:29:45.840
It is.
link |
00:29:47.560
I'd recommend you go on Vitalik.ca, I have this article called Quadratic Payments a Primer
link |
00:29:54.880
and I highly recommend it, at least my attempt so far of explaining the intuition behind
link |
00:30:01.080
this.
link |
00:30:02.080
The intuition.
link |
00:30:03.080
If we could, can we go to the very basic, what is the blockchain or perhaps we might
link |
00:30:11.520
even start at the Byzantine generals problem, the Byzantine fault tolerance in general,
link |
00:30:18.360
that Bitcoin was taking steps to providing a solution for it.
link |
00:30:26.480
The Byzantine generals problem, it's this paper that Leslie Lamport published in 1982
link |
00:30:33.520
where he has this thought experiment where if you have two generals that are camped out
link |
00:30:38.760
on opposite sides of a city and they're planning when to attack the city, then the question
link |
00:30:47.000
is how could those generals coordinate with each other and they could send messengers
link |
00:30:52.240
between each other, but those messengers could get sniped by the enemy on the road.
link |
00:30:59.520
Some of those messengers could end up being traitors and if things could end up happening.
link |
00:31:06.000
With just two mess generals, it turns out that there's no solution in a finite number
link |
00:31:13.960
of rounds that guarantees that they will be able to coordinate on the same answer.
link |
00:31:20.240
But then in the case where you have more than two generals that then Leslie analyzes cases,
link |
00:31:26.120
are the messengers just oral messengers, are the messengers signed messengers so I could
link |
00:31:32.760
give you a signed message and you can pass along that signed message and the third party
link |
00:31:37.520
can still verify that I originally made that message.
link |
00:31:42.360
Depending on those different cases, there's different bounds on given how many generals
link |
00:31:48.240
and how many traitors among those generals and under what conditions you actually can
link |
00:31:55.040
agree on to launch an attack.
link |
00:31:59.120
It's actually a big misconception that the business in general's problem was unsolved,
link |
00:32:03.960
so Leslie Lamport solved it.
link |
00:32:05.560
The thing that was unsolved though is that all of these solutions assume that you've
link |
00:32:10.120
already agreed on a fixed list of who the generals are.
link |
00:32:14.760
These generals have to be semi trusted to some extent.
link |
00:32:17.560
They can't just be anonymous people because if they're anonymous, then the enemy could
link |
00:32:21.360
just be 99% of the generals.
link |
00:32:28.480
Among the 1980s and the 1990s, the general use case for distributed system stuff was
link |
00:32:35.000
more enterprisey stuff where you could assume that you know who the nodes are that are running
link |
00:32:44.520
these kind of computer networks.
link |
00:32:46.480
If you want to have some decentralized computer network that pretends to be a single computer
link |
00:32:51.200
and that you can do operations on, then it's made out of these 15 specific computers.
link |
00:32:58.440
We know who and where they are, so we have a good reason to believe that at least 11
link |
00:33:03.640
of them would be fine.
link |
00:33:04.640
It could also be within a single system, almost a network of devices, sensors, so on like
link |
00:33:11.800
in airplanes and I think flight systems in general still use these kinds of ideas.
link |
00:33:19.240
That's the 80s.
link |
00:33:20.240
That's the 80s and 90s.
link |
00:33:21.920
The Cypherpunks had a different use case in mind, which is that they wanted to create
link |
00:33:25.880
a fully decentralized global permissionless currency.
link |
00:33:31.320
The problem here is that they didn't want any authorities and they didn't even want
link |
00:33:35.600
any kind of privileged list of people.
link |
00:33:38.760
Now the question is, well, how do you use these techniques to create consensus when
link |
00:33:45.480
you have no way of measuring identities?
link |
00:33:48.160
You have no way of determining whether or not some 99% of participants aren't actually
link |
00:33:54.920
all the same guy.
link |
00:33:56.920
The clever solution that Satoshi had, this is kind of going back to that presentation
link |
00:34:02.640
I made at DEF CON a few months ago where I said that the thing Satoshi invented was
link |
00:34:06.800
crypto economics, is this really neat idea that you can use economic resources to kind
link |
00:34:14.800
of limit how many identities you can get.
link |
00:34:20.840
If there isn't any existing decentralized digital currency, then the only way to do this is
link |
00:34:25.560
with proof of work.
link |
00:34:27.160
With proof of work, the solution is just you publish a solution to a hard mathematical
link |
00:34:36.400
puzzle that takes some kind of clearly calculable amount of computational power to solve, you
link |
00:34:42.840
get an identity.
link |
00:34:44.440
You solve five of those puzzles, you get five identities.
link |
00:34:48.440
These are the identities that we run the consensus algorithm between.
link |
00:34:52.240
So the proof of work mechanism you just described is the fundamental idea proposed in the white
link |
00:34:58.800
paper that defines Bitcoin.
link |
00:35:02.280
What's the idea of consensus that we wish to reach?
link |
00:35:07.240
Why is consensus important here?
link |
00:35:10.160
What is consensus?
link |
00:35:12.160
So the goal here in just simple technical terms is to basically kind of wire together
link |
00:35:21.120
a set of a large number of computers in such a way that they kind of pretends to the outside
link |
00:35:26.480
world to be a single computer where that single computer keeps working even if a large portion
link |
00:35:31.920
of the kind of constituents, the computers that make it up break in kind of break in
link |
00:35:35.920
arbitrary ways.
link |
00:35:36.920
Like they could shut off, they could try to actively break a system, they could do lots
link |
00:35:41.520
of mean things.
link |
00:35:43.200
So the reason why the cypherpunks wanted to do this is because they wanted to run one
link |
00:35:50.360
particular program on this virtual computer and the one particular program that they
link |
00:35:54.360
wanted to run is just a currency system, right?
link |
00:35:56.720
It's a system that just processes a series of transactions and for every transaction
link |
00:36:02.560
it verifies that the sender has enough coins to pay for the transaction, it verifies that
link |
00:36:07.840
the digital signature is correct and if the check's passed then it subtracts the coins
link |
00:36:12.520
from one account and adds the coins to the other account roughly.
link |
00:36:17.000
So first of all, the proof of work idea is kind of, I mean, at least to me, seems pretty
link |
00:36:22.800
fascinating.
link |
00:36:23.800
It is.
link |
00:36:24.800
I mean, that's a kind of revolutionary idea.
link |
00:36:28.520
Is it obvious to come up with that you can use, you can exchange basically computational
link |
00:36:34.640
resources for identity?
link |
00:36:40.080
It actually has a pretty long history.
link |
00:36:41.800
It was first proposed in a paper by McSinthea Dwork in 1994, I believe.
link |
00:36:51.320
And the original use case was combating email spam.
link |
00:36:54.840
So the idea is that if you send an email you have to send it with a proof of work attached
link |
00:36:58.240
and this makes it reasonably cheap to send emails to your friends but it makes it really
link |
00:37:02.760
expensive to send spam to a million people.
link |
00:37:05.280
Yeah.
link |
00:37:06.280
That's a simple, brilliant idea.
link |
00:37:08.640
So maybe also taking a step back, so what is the role of blockchain in this?
link |
00:37:14.600
What is the blockchain?
link |
00:37:15.600
Sure.
link |
00:37:16.600
So the blockchain, my way of thinking about it is that it is this kind of system where
link |
00:37:23.400
you have this kind of one virtual computer created by a bunch of these nodes in the network.
link |
00:37:31.080
And the reason why the term blockchain is used is because the data structure that these
link |
00:37:36.280
systems use at least so far is one where they have different nodes in the network periodically
link |
00:37:45.320
publish blocks and a block is a kind of list of transactions together with a pointer, like
link |
00:37:51.480
a hash of a previous block that it builds on top of.
link |
00:37:56.640
And so you have a series of blocks that nodes in the network create where each block points
link |
00:38:03.000
to the previous block and so you have this chain of them.
link |
00:38:05.920
Is a fault tolerance mechanism built into the idea of blockchain or is there a lot of
link |
00:38:10.920
possibilities of different ways to make sure there's no funny stuff going on?
link |
00:38:16.400
There are indeed a lot of possibilities.
link |
00:38:19.600
So in a kind of just simple architecture as I just described, the way the fault tolerance
link |
00:38:24.080
happens is like this, right?
link |
00:38:25.400
So you have a bunch of nodes and they're just happily occasionally creating blocks, building
link |
00:38:30.240
on top of each other's blocks.
link |
00:38:33.080
And let's say you have one block, we'll call it block one, and then someone else builds
link |
00:38:39.360
another block, honestly, we'll call it block two, then we have an attacker.
link |
00:38:44.080
And what the attacker tries to do is the attacker tries to revert block two.
link |
00:38:47.880
And the way they revert block two is instead of doing the thing they're supposed to do,
link |
00:38:51.400
which is build a block on top of block two, they're going to build another block on top
link |
00:38:55.920
of block one.
link |
00:38:57.760
So you have block one, which has two children, block two, and then block two prime.
link |
00:39:01.840
Now this might sometimes even happen by random chance if two nodes in the network just happen
link |
00:39:08.240
to create blocks at the same time and they don't hear about each other's things before
link |
00:39:11.920
they create their own.
link |
00:39:13.480
But this also could happen because of an attack.
link |
00:39:16.160
Now if this happens, you have an attack, then in the Bitcoin system, the nodes follow the
link |
00:39:23.600
longest chain.
link |
00:39:25.120
So if this attack had happened when the original chain had more than two blocks on it, so if
link |
00:39:33.920
it was trying to revert more than two blocks, then everyone would just ignore it and everyone
link |
00:39:41.040
would just keep following the regular chain.
link |
00:39:43.040
But here we have block two and we have block two prime, and so the two are kind of even.
link |
00:39:47.560
And then whatever block, the next block is created on top of.
link |
00:39:52.080
So say block three is now created on top of block two prime, then everyone agrees that
link |
00:39:58.360
block three is the new head, and block two prime is just kind of forgotten, and then
link |
00:40:04.520
everyone just kind of peacefully builds on top of block three and the thing continues.
link |
00:40:08.080
So how difficult is it to mess with the system?
link |
00:40:12.080
So if we look at the general problem, what fraction of people who participate in the
link |
00:40:19.120
system have to be bad players in order to mess with it truly?
link |
00:40:26.400
Is there a good number?
link |
00:40:27.400
There is.
link |
00:40:28.400
Well, depending on kind of what your model of the participants is and what kind of attack
link |
00:40:33.640
we're talking about, it's anywhere between 23.2 and 50%.
link |
00:40:40.920
Of what?
link |
00:40:41.920
Of all of the computing power in the network.
link |
00:40:44.800
Sorry.
link |
00:40:45.800
So between 23.2 and 50%.
link |
00:40:49.840
And 50% can be compromised.
link |
00:40:53.920
So like once your portion of the total computing power in the network goes above the 23.2 level,
link |
00:41:02.880
then there's kind of things that you can mean things that you can potentially do.
link |
00:41:07.600
And as your percentage of the network kind of keeps going up, then your abilities as
link |
00:41:12.000
you mean things kind of goes higher, and then if you have above 50%, then you can just break
link |
00:41:16.120
everything.
link |
00:41:17.120
So how hard is it to achieve that level?
link |
00:41:19.880
Like it seems that so far historically speaking, it's been exceptionally difficult.
link |
00:41:26.120
This is a challenging question.
link |
00:41:28.720
So the economic cost of acquiring that level of stuff from scratch is fairly high.
link |
00:41:34.520
I think it's somewhere in the low billions of dollars.
link |
00:41:38.640
And when you say that stuff, you mean computational resources?
link |
00:41:41.880
Yeah.
link |
00:41:42.880
So specifically specialized hardware and of ASICs that people use to solve these puzzles
link |
00:41:48.720
to do the mining business.
link |
00:41:50.720
Small tangent.
link |
00:41:52.440
So obviously I work a lot in deep learning with GPUs and ASICs for that application.
link |
00:41:57.720
And I tangentially kind of hear that so many of these, you know, sometimes NVIDIA GPUs
link |
00:42:03.400
are sold out because of this other application.
link |
00:42:07.240
Like what do, if you can comment, I don't know if you're familiar or interested in the
link |
00:42:12.160
space, what kind of ASICs, what kind of hardware is generally used these days for to do the
link |
00:42:18.240
actual computation for the proof of work?
link |
00:42:20.800
Sure.
link |
00:42:21.800
So in the case, in Bitcoin and Ethereum are a bit different.
link |
00:42:24.280
So in the case of Bitcoin, there is an algorithm called SHA256, it's just a hash function.
link |
00:42:30.200
And so the puzzle is just coming up with a number where the hash of the number is below
link |
00:42:34.320
some threshold.
link |
00:42:35.600
And so because the hashes are designed to be random, you just have to keep on trying
link |
00:42:39.960
different numbers until one works.
link |
00:42:42.440
And the ASICs are just like specialized circuits that contain and circuits for evaluating this
link |
00:42:49.920
hash over and over again, and you have kind of like millions or billions of these hash
link |
00:42:53.480
evaluators and just stacked on top of each other inside of a box, and you just keep on
link |
00:42:58.320
running the box 24x7.
link |
00:43:00.200
In the ASICs, there's literally specialized hardware designed for this.
link |
00:43:03.400
Yes.
link |
00:43:04.400
This is living in an amazing world.
link |
00:43:06.840
Another tangent, I'll come back to the basics, but does quantum computing throw a wrench
link |
00:43:12.000
into any of this?
link |
00:43:14.320
Very good question.
link |
00:43:15.440
So quantum computers have two main families of algorithms that are relevant to cryptography.
link |
00:43:22.520
One is Shor's algorithm, and Shor's algorithm is one that kind of completely breaks the
link |
00:43:28.640
hardness of some specific kinds of mathematical problems.
link |
00:43:33.200
So the one that you've probably heard of is it makes it very easy to factor in numbers.
link |
00:43:37.480
So figure out kind of what prime factors are that you need to multiply together to get
link |
00:43:42.360
some number, even if that number is extremely big.
link |
00:43:46.000
Shor's algorithm can also be used to break elliptic curve cryptography.
link |
00:43:53.360
It breaks a lot of cryptographic nice things that we're used to.
link |
00:43:59.880
But the good news is that for every major use of things that Shor's algorithm breaks,
link |
00:44:07.360
we already know of quantum proof alternatives.
link |
00:44:11.200
We don't use these quantum proof alternatives yet because in many cases, they're five to
link |
00:44:14.560
10 times more efficient, but the crypto industry in general kind of knows that this is coming
link |
00:44:22.280
eventually and it's ready to take the hit and switch to that stuff when we have to.
link |
00:44:28.960
The second algorithm that is relevant to cryptography is Grover's algorithm.
link |
00:44:34.360
And Grover's algorithm might even be more familiar to AI people that's basically usually
link |
00:44:41.680
described as solving search problems.
link |
00:44:44.520
But the idea here is that if you have a problem over the form, find a number that satisfies
link |
00:44:51.400
some property, then if with a classical computer, you need to try and if n times before you
link |
00:44:58.920
find a number, then with a quantum computer, you only need to do square root of n computations.
link |
00:45:05.080
And Grover's could potentially be used for mining, but there's two possibilities here.
link |
00:45:13.120
One is that Grover's could be used for mining and whoever creates the first working quantum
link |
00:45:18.040
computer that could do Grover's will just mine way faster than everyone else and we'll
link |
00:45:22.800
see another round of what we saw when ASICS came out, which is that kind of the new hardware
link |
00:45:27.880
just kind of dominated the old stuff and then eventually it switched to a new equilibrium.
link |
00:45:32.560
By the way, way faster, not exponentially faster quadratically faster, which is not sort of
link |
00:45:41.600
it's not game changing, I would say it's like ASICS, like you said, it would be exactly.
link |
00:45:46.480
Yeah.
link |
00:45:47.480
So it would not necessarily break proof of work as a thing.
link |
00:45:50.280
That's right.
link |
00:45:51.280
Yeah.
link |
00:45:52.280
Now, the other kind of possible world, right, is that quantum computers have a lot of overhead.
link |
00:45:56.560
There's a lot of complexity involved in maintaining quantum states.
link |
00:46:00.320
And there's also, as we've been realizing recently, making quantum computers actually
link |
00:46:06.840
work requires kind of quantum error correction, which requires kind of a thousand real qubits
link |
00:46:11.520
per logical qubit.
link |
00:46:13.240
And so there's the very real possibility that the overhead of running a quantum computer
link |
00:46:17.920
will be higher than the speed up you get with Grover's, which would be kind of sad,
link |
00:46:22.400
but which would also mean that given proof of work, we'll just keep working fine.
link |
00:46:26.680
So the beautifully put, so proof of work is the core idea of Bitcoin.
link |
00:46:32.200
Is there other core ideas before we kind of take a step towards the origin story and ideas
link |
00:46:36.920
of Ethereum?
link |
00:46:38.160
Is there other stuff that were key to the white paper of Bitcoin?
link |
00:46:42.240
There's proof of work and then there's just the cryptography, just kind of public keys
link |
00:46:46.040
and signatures that are used to verify transactions.
link |
00:46:50.120
Those two are the big things.
link |
00:46:51.640
So then what is the origin story, maybe the human side, but also the technical side of
link |
00:46:57.240
Ethereum?
link |
00:46:58.240
Sure.
link |
00:46:59.480
So I joined the Bitcoin community in 2011, and I started by just writing.
link |
00:47:06.200
I first wrote for this sort of online thing called Bitcoin Weekly.
link |
00:47:09.960
Then I started writing for Bitcoin Magazine, and sorry to interrupt, you have this funny
link |
00:47:16.760
kind of story, true or not, is that you were disillusioned by the downsides of centralized
link |
00:47:25.120
control from your experience with, wow, World of Warcraft.
link |
00:47:28.640
Is this true or you're just being witty?
link |
00:47:30.840
I mean, the event is true, the fact that that's the reason I do decentralization is witty.
link |
00:47:37.040
Maybe just a small tangent.
link |
00:47:39.640
Have you always had a skepticism of centralized control?
link |
00:47:44.040
Is that sort of has that feeling evolved over time, or has that just always been a core
link |
00:47:50.360
feeling that decentralized control is the future of a human society?
link |
00:47:55.720
It's definitely been something that felt very attractive to me ever since I could have
link |
00:47:59.400
learned that such a thing is possible.
link |
00:48:01.360
It's possible, even technically.
link |
00:48:03.280
So great.
link |
00:48:04.280
So you joined the Bitcoin community in 2011, you said you began writing.
link |
00:48:08.560
So what's next?
link |
00:48:10.640
I started writing, moved from high school to university halfway in between that and
link |
00:48:15.840
spent a year in the university.
link |
00:48:20.000
Then at the end of that year, I dropped out to do Bitcoin things full time.
link |
00:48:26.760
This was a combination of continuing to write Bitcoin Magazine, but also increasingly work
link |
00:48:31.520
on software projects, and I traveled around the world for about six months and just going
link |
00:48:37.040
to different Bitcoin communities.
link |
00:48:39.000
I went to first in New Hampshire, then Spain, other European places, Israel, then San Francisco,
link |
00:48:46.200
and along the way I met a lot of other people that are working on different Bitcoin projects.
link |
00:48:51.040
When I was in Israel, there were some very smart teams there that were working on ideas
link |
00:48:57.080
that people were starting to kind of call Bitcoin 2.0.
link |
00:49:00.840
So one of these was Colored Coins, which is basically saying that, hey, let's not just
link |
00:49:06.160
use the blockchain for Bitcoin, but let's also kind of issue other kinds of assets on
link |
00:49:10.080
it.
link |
00:49:11.080
Then there was a protocol called Mastercoin that supported issuing assets, but also supported
link |
00:49:15.760
many other things, like financial contracts, domain name registration, and a lot of different
link |
00:49:21.920
things together.
link |
00:49:24.160
I spent some time working with these teams, and I quickly realized that this Mastercoin
link |
00:49:33.800
protocol could be improved by kind of generalizing it more.
link |
00:49:37.960
The analogy I used is that the Mastercoin protocol was like this Swiss Army knife.
link |
00:49:41.440
You have 25 different transaction types for 25 different applications, but what I realized
link |
00:49:48.360
is that you could replace a bunch of them with things that are more general purpose.
link |
00:49:53.680
One of them was that you could replace three transaction types for three types of financial
link |
00:49:59.280
contracts with a generic transaction type for a financial contract that just lets you
link |
00:50:04.440
specify a mathematical formula for kind of how much money each side gets.
link |
00:50:09.720
By the way, just a small pause.
link |
00:50:11.400
What's, you say financial contract, just the terminology.
link |
00:50:14.520
What is the contract?
link |
00:50:15.520
What's the financial contract?
link |
00:50:18.120
So this is just generally an agreement where kind of either one or two parties kind of
link |
00:50:24.840
put collateral kind of in, and then depending on certain conditions, like this could involve
link |
00:50:32.760
prices of assets, this could involve the actions of the two parties, it could involve
link |
00:50:37.480
other things, they kind of get different amounts of assets out that just depend on
link |
00:50:44.240
things that happened.
link |
00:50:45.240
So a contract is really a financial contract, is it the core interactive element of a financial
link |
00:50:52.920
system?
link |
00:50:53.920
Yeah, there's many different kinds of financial contracts, like there's things like options
link |
00:50:58.600
where you kind of give someone the right to buy a thing that you have for some specific
link |
00:51:02.840
price for some period of time.
link |
00:51:04.520
There's contracts for difference where you basically are kind of making a bet that says
link |
00:51:11.640
like, for every dollar this thing goes up, I'll give you $7 or for every dollar that
link |
00:51:15.880
thing goes down, you give me $7 or something like that.
link |
00:51:20.160
What the main idea that these contracts have to be enforced and trusted them?
link |
00:51:24.080
Yes, exactly.
link |
00:51:25.640
You have to trust that they will work out in a system where nobody can be trusted.
link |
00:51:29.880
Yes.
link |
00:51:30.880
This is such a beautiful, complicated system.
link |
00:51:34.400
Okay, so you were seeking to kind of generalize this basic framework of contracts.
link |
00:51:42.200
So what does that entail?
link |
00:51:44.680
So what technically are the steps to creating Ethereum?
link |
00:51:48.960
Sure, so I guess just to kind of continue a bit with this master coin story.
link |
00:51:53.800
So started by kind of giving ideas for how to generalize the thing.
link |
00:51:58.320
And eventually this turned into a much more kind of fully flushed proposal that just says,
link |
00:52:03.760
hey, how about you scrap all your futures and instead you just put in this programming
link |
00:52:08.400
language.
link |
00:52:09.520
And I gave this idea to them and their response was something like, hey, this is great, but
link |
00:52:15.640
this seems complicated and this seems like something that we're not going to be able
link |
00:52:18.760
to put onto our roadmap for a while.
link |
00:52:21.040
And my response to this was like, wait, do you not realize how revolutionary this is?
link |
00:52:24.720
Well, I'll just go do it myself.
link |
00:52:26.720
And then I...
link |
00:52:27.720
What was the name of the programming language?
link |
00:52:29.920
I just called it ultimate scripting.
link |
00:52:32.560
Great.
link |
00:52:33.800
So then I went through a couple more rounds of iteration and then the idea for Ethereum
link |
00:52:42.080
itself started to form and the idea here is that you just have a blockchain where the
link |
00:52:49.960
core unit of the thing is what we call contracts, it's these, and if accounts that can hold
link |
00:52:55.880
assets and they have their own internal memory, but that are controlled by a piece of code.
link |
00:53:02.720
And so if I send some Ether to a contract, the only thing that can determine where that
link |
00:53:08.280
kind of Ether, the currency inside Ethereum and of course after that is the code of that
link |
00:53:15.480
contract itself.
link |
00:53:17.040
And so basically kind of sending assets to computer programs becomes this kind of paradigm
link |
00:53:24.720
for creating these self executing agreements.
link |
00:53:29.320
Self executing.
link |
00:53:30.320
It's so cool that code is sort of part of this contract.
link |
00:53:34.280
So that's what's meant by smart contracts.
link |
00:53:37.600
So how hard was it to build this kind of thing?
link |
00:53:40.720
Harder than expected.
link |
00:53:41.720
And originally I actually thought that this would be a thing that I would kind of casually
link |
00:53:46.680
work on for a couple of months, publish and then go back to university.
link |
00:53:52.120
Then I released it and a bunch of people, or I released the white paper.
link |
00:53:57.000
The white paper, the ideas there.
link |
00:53:58.560
The idea, the white paper.
link |
00:54:00.240
A whole bunch of people came in offering to how about a huge number of people and have
link |
00:54:04.200
expressed interest.
link |
00:54:05.200
And this was something I was totally not expecting.
link |
00:54:08.960
And then I kind of realized that this would be something that's kind of much bigger than
link |
00:54:13.800
I had ever thought that it would be.
link |
00:54:17.840
And then we started on this kind of much longer developments log of making something that
link |
00:54:24.800
lives up to this kind of much higher level of expectations.
link |
00:54:28.360
What are some of the, is it fundamental like software engineering challenges?
link |
00:54:33.080
It was.
link |
00:54:34.080
Social?
link |
00:54:35.080
Okay, so there's.
link |
00:54:36.080
And social.
link |
00:54:37.080
So what are the biggest interesting challenges that you've learned about human civilization
link |
00:54:43.000
and software engineering through this process?
link |
00:54:47.480
So I guess one of the challenges for me is that like I'm one of the kind of apparently
link |
00:54:53.760
unusual geek schools that have never treated with anything but kindness in school.
link |
00:54:59.160
And so when I got into crypto, I kind of expected everyone would just kind of be the same kind
link |
00:55:07.040
of altruistic and nice in that same way.
link |
00:55:10.280
But the algorithm that I used for finding cofounders for this thing was not very good.
link |
00:55:17.160
It was literally one computer scientist called the greedy algorithm.
link |
00:55:20.560
It's kind of the first 15 people who applied back offering to help kind of are the cofounders.
link |
00:55:25.080
Oh, you mean like literally the people that will form to be the cofounders of the community?
link |
00:55:32.880
The algorithm.
link |
00:55:33.880
I like how you call it the algorithm.
link |
00:55:36.560
And so what happened was that these, especially as the projects got really big, like there
link |
00:55:45.120
started to be a lot of this kind of infighting and there were a lot of, like I wanted the
link |
00:55:49.840
thing to be a nonprofit and some of them wanted to be a for profit and then there started
link |
00:55:55.800
to be people who were just kind of totally unable to work with each other.
link |
00:55:58.880
There were people that were kind of trying to get an advantage for themselves in a lot
link |
00:56:04.640
of different ways.
link |
00:56:06.640
And this just about six months later led to this big governance crisis.
link |
00:56:12.160
And then we kind of reshuffled leadership a bit.
link |
00:56:15.040
And then the project kept on going then nine months later, there was another governance
link |
00:56:20.040
crisis and then there was a third governance crisis.
link |
00:56:23.440
So is there a way to, if you're looking at the human side of things, is there a way to
link |
00:56:28.480
optimize this aspect of the cryptocurrency world?
link |
00:56:32.240
It seems that there is, from my perspective, there's a lot of different characters and personalities
link |
00:56:38.400
and egos.
link |
00:56:39.400
And like you said, I don't know, I also like to think that most of the people in the world
link |
00:56:48.320
are well intentioned, but the way those intentions are realized may perhaps come off as negative.
link |
00:56:59.680
Is there a hopeful message here about creating a governance structure for cryptocurrency where
link |
00:57:05.400
everyone gets along?
link |
00:57:07.560
Here about four rounds of reshuffle, I think we've actually come up with something that
link |
00:57:11.800
seems to be pretty stable and happy.
link |
00:57:15.360
I think, I mean, I definitely do think that most people are well intentioned.
link |
00:57:23.480
I just think that like one of the reasons why I like decentralization is just because
link |
00:57:28.400
there's like this thing about power where power attracts people with egos and so that
link |
00:57:33.600
just allows us a very small percentage of people to just ruin so many things.
link |
00:57:37.800
You think ego has a, you think ego has a use, like is ego always bad?
link |
00:57:44.120
It sometimes does.
link |
00:57:46.120
But then the Ethereum research team, I feel like we've found also kind of a lot of very
link |
00:57:53.000
good people that are just, and if primarily you're just interested in things for the technology
link |
00:57:59.960
and things seem to just generally be going quite well.
link |
00:58:06.560
Yeah.
link |
00:58:07.560
When you're, when the focus and the passions and the tech, so on the, so that's the human
link |
00:58:11.200
side of things, but the technology side, like what have you learned?
link |
00:58:15.200
What have been the biggest challenges of bringing Ethereum to life on the technology side?
link |
00:58:21.480
So I think first of all, just, you know, there's like the first of all software developments,
link |
00:58:28.600
which is that when someone gives you a timetable, switch the unit of time to the next largest
link |
00:58:32.920
unit of time and add one, and like we basically fell victim to that.
link |
00:58:38.160
And so instead of taking like three months, it ended up taking like 20 months to launch
link |
00:58:45.880
the thing.
link |
00:58:46.880
And that was just, I think, underestimating the sheer technical complexity of the thing.
link |
00:58:53.840
There are research challenges, like so for example, one of the things that we've been
link |
00:58:58.440
saying from the start that we would do, one is a switch from a proof of work to a proof
link |
00:59:02.840
of stake, more proof of stake is this alternative consensus mechanism where instead of having
link |
00:59:09.720
to waste a lot of computing power on solving these mathematical puzzles that don't mean
link |
00:59:13.640
anything, you kind of prove that you have access to coins inside of the system.
link |
00:59:18.920
And this, then it gives you some level of participation in the consensus.
link |
00:59:23.600
Can you maybe elaborate on that a little bit?
link |
00:59:25.160
I understand the idea of proof of work.
link |
00:59:27.560
I know that a lot of people say that the idea of proof of stake is really appealing.
link |
00:59:32.040
Can you maybe link Garner to longer explain what it is?
link |
00:59:35.560
Sure.
link |
00:59:36.600
So basically the idea is like, if I kind of lock up a hundred coins, then I turn that
link |
00:59:44.760
into a kind of quote, virtual miner.
link |
00:59:47.400
And the system itself kind of automatically randomly assigns that in a virtual miner is
link |
00:59:54.480
a right to create blocks at particular intervals.
link |
00:59:58.280
And then if someone else has 200 coins and they lock and lock those 200 coins, then they
link |
01:00:03.240
get a kind of twice as big virtual miner they'll be able to create blocks twice as often.
link |
01:00:08.400
So it tries to kind of do similar things to proof of work, except instead of the thing
link |
01:00:15.080
and of rate limiting your participation being your ability to crank out solutions to kind
link |
01:00:21.920
of hash challenges, the thing that real limits your participation is kind of how much coins
link |
01:00:26.080
you're kind of locking into this mechanism.
link |
01:00:28.080
Okay.
link |
01:00:29.080
So interesting.
link |
01:00:30.080
So that that limited participation doesn't require you to run a lot of compute.
link |
01:00:37.440
Does that mean that the richer you are so rich people are more like their identities
link |
01:00:47.520
more right in this stable?
link |
01:00:50.640
Yeah, verifiable or whatever, whatever the right terminology is.
link |
01:00:54.840
Right.
link |
01:00:55.840
And this is definitely a common critique.
link |
01:00:57.480
I think my usual answer to this is that like proof of work is even more of that kind of
link |
01:01:02.600
system.
link |
01:01:03.600
Exactly.
link |
01:01:04.600
Yeah.
link |
01:01:05.600
I didn't mean it in that statement as a criticism.
link |
01:01:06.600
I think you're exactly right.
link |
01:01:07.600
That's equivalent to proof of work is the same kind of thing.
link |
01:01:11.160
But in the proof of work, you have to also use physical resources.
link |
01:01:15.280
Yes.
link |
01:01:16.280
And burn computers and burn trees and all of that stuff.
link |
01:01:19.400
Is there a way to mess with the system of the proof of proof of stake?
link |
01:01:25.200
There is, but you will once again need to have a very large portion of all the coins
link |
01:01:29.560
that are locked in the system to do anything bad.
link |
01:01:31.960
Got it.
link |
01:01:32.960
Yeah.
link |
01:01:33.960
And just to that, maybe take a small change in one of the criticisms of cryptocurrencies,
link |
01:01:38.440
the fact that it gets for the proof of work mechanism, you have to use so much energy in
link |
01:01:43.480
the world.
link |
01:01:44.480
Yes.
link |
01:01:45.480
Is one of the motivations of proof of stake is to move away from this?
link |
01:01:50.000
Definitely.
link |
01:01:51.000
What's your sense of that?
link |
01:01:52.720
Maybe I'm just under informed.
link |
01:01:54.360
Is there like legitimately environmental impact from this?
link |
01:01:58.360
Yeah.
link |
01:01:59.360
So the latest thing was that Bitcoin consumed as much energy as the country of Austria or
link |
01:02:04.720
something like that.
link |
01:02:06.120
Yeah.
link |
01:02:07.120
And then Ethereum is like right now, maybe only like half in order of magnitude smaller
link |
01:02:10.840
than Bitcoin.
link |
01:02:11.840
I've heard you talk about Ethereum 2.0.
link |
01:02:14.840
So what's the dream of Ethereum 2.0?
link |
01:02:18.560
What's the status of proof of stake as a mechanism that Ethereum moves towards?
link |
01:02:24.440
And also, how do you move to a different mechanism of consensus within a cryptocurrency?
link |
01:02:31.840
So Ethereum 2.0 is a collection of major upgrades that we've wanted to do to Ethereum
link |
01:02:37.440
for quite some time.
link |
01:02:38.760
The two big ones, one is proof of stake and the other is what we call sharding.
link |
01:02:44.720
Sharding solves another problem with blockchains, which is scalability.
link |
01:02:48.920
And what sharding does is it basically says instead of every participant in the network
link |
01:02:54.520
having to personally download and verify every transaction, every participant in the network
link |
01:02:59.120
only downloads and verifies a small portion of transactions, and then you kind of randomly
link |
01:03:04.000
distribute who gets how much work.
link |
01:03:07.200
And because of how the distribution is random, it still has the property that you need a
link |
01:03:12.600
large portion of the entire network to corrupt what's going on inside of any shard.
link |
01:03:17.920
But the system is still very redundant and very secure.
link |
01:03:22.600
That's brilliant.
link |
01:03:23.600
How hard is that to implement and how hard is proof of stake to implement?
link |
01:03:28.680
Like on the technical level, software level?
link |
01:03:32.120
Proof of stake and sharding are both challenging.
link |
01:03:33.920
I'd say sharding is a bit more challenging.
link |
01:03:37.280
The reason is that proof of stake is kind of just a change to how the consensus layer
link |
01:03:41.760
works.
link |
01:03:43.080
Sharding does both that, but it's also a change to the networking layer.
link |
01:03:47.320
The reason is that sharding is kind of pointless if at the networking layer you still do what
link |
01:03:51.400
you do today, which is you kind of gossip everything, which means that if someone publishes
link |
01:03:55.760
something, every other node in the client hears it from on the networking layer.
link |
01:04:01.120
And so instead, we have to have subnetworks and the ability to quickly switch between
link |
01:04:04.840
subnetworks and other subnetworks, talk to each other.
link |
01:04:07.840
And this is all doable, but it's a more complex architecture, and it's definitely the sort
link |
01:04:12.680
of thing that has not yet been done in cryptocurrency.
link |
01:04:15.200
So most of the networking layer in cryptocurrency is you're shouting, you're like broadcasting
link |
01:04:21.920
messages, and this is more like ad hoc networks.
link |
01:04:25.280
Yeah, you're shouting within smaller groups.
link |
01:04:28.080
Smaller groups, but you have like a bunch of subnetwork.
link |
01:04:30.320
Exactly.
link |
01:04:31.320
And you have to switch between, oh man, I'd love to see the, so it's a beautiful idea
link |
01:04:36.680
from a graph theoretic perspective, but just the software that, who's responsible?
link |
01:04:43.240
Is the Ethereum project, like the people involved, would they be implementing?
link |
01:04:48.000
What's the actual, this is like legit software engineering.
link |
01:04:54.640
How does that work?
link |
01:04:55.760
How do people collaborate, build that kind of project?
link |
01:04:58.360
Is this like almost like, is there a software engineering lead?
link |
01:05:03.800
Is there, is it legit, almost like large scale open source project?
link |
01:05:08.520
There is, yeah.
link |
01:05:09.520
So we have someone named Danny Ryan on our team, who's just been brilliant and great
link |
01:05:14.440
all around.
link |
01:05:15.600
And he is a kind of de facto kind of development coordinator, I guess.
link |
01:05:22.360
It's like, you have to invent job titles for this stuff.
link |
01:05:25.040
The reason is that, like we also have this unique kind of organizational structure where
link |
01:05:30.240
the Ethereum foundation itself does research in house, but then the actual implementation
link |
01:05:35.280
is done by independent teams that are separate companies and they're located all around the
link |
01:05:40.360
world and fun places like Australia.
link |
01:05:45.120
And so you kind of just need a bunch of almost nonstop cat herding to just keep getting these
link |
01:05:53.160
people to talk to each other and kind of implement this back, make sure that everyone agrees
link |
01:05:58.640
on what's going on and kind of how to interpret different things.
link |
01:06:03.120
So how far into the future are we from these two mechanisms in Ethereum 2.0?
link |
01:06:07.920
What's your sense of the timeline keeping in mind the previous comment you made about
link |
01:06:13.640
the sort of general curse of software projects?
link |
01:06:19.560
So Ethereum 2.0 is split into three phases.
link |
01:06:23.520
So phase zero just creates a proof of stake network and it's actually separate from kind
link |
01:06:28.560
of proof of the proof of work network at the beginning, just to kind of give it time to
link |
01:06:33.280
grow and improve itself.
link |
01:06:35.160
Do people get to choose?
link |
01:06:36.160
Sorry to interrupt.
link |
01:06:37.160
Do people get to choose?
link |
01:06:38.160
I guess.
link |
01:06:39.160
Yes, they get to choose to move over if they want to.
link |
01:06:42.320
Then phase one adds sharding, but it only adds sharding of data storage and not sharding
link |
01:06:47.360
of computation.
link |
01:06:49.160
And then after that, there is the merger phase, which is where the accounts, smart contracts,
link |
01:06:57.800
all of the activity on the existing ETH1 system just kind of gets cut and pasted into ETH2
link |
01:07:04.040
and then the proof of work chain gets forgotten and then all the things that were living there
link |
01:07:08.880
before just kind of continue living inside of the proof of stake system.
link |
01:07:13.520
So for timelines, phase zero has been kind of almost fully implemented and now it's just
link |
01:07:24.720
a matter of a whole bunch of security auditing and testing.
link |
01:07:29.720
My own experience is that right now it feels like we're at about a phase comparable to
link |
01:07:36.400
when we were doing the original Ethereum launch when we were maybe about four months away
link |
01:07:41.360
from launch.
link |
01:07:42.360
But that's just a hunch.
link |
01:07:44.680
That's just a hunch.
link |
01:07:46.680
So how it took over a decade for people to move from Python 2 to Python 3.
link |
01:07:53.640
How do you see the move from this phase zero for different consensus mechanisms?
link |
01:08:00.920
Do you see there being a drastic phase shift in people just kind of jumping to this better
link |
01:08:07.400
mechanism?
link |
01:08:08.720
So in phase zero, I don't expect too many people to do much because in phase zero and
link |
01:08:14.320
phase one, the new chain doesn't have too much functionality turned on.
link |
01:08:19.480
It's there just like if you want to be a proof of stake validator, you can get things started
link |
01:08:23.300
if you want to store data for other blockchain applications, you can get started.
link |
01:08:28.440
But existing applications will largely keep living on ETH1.
link |
01:08:32.560
And then when the merger happens, then the merger is a operation that happens all at
link |
01:08:39.080
once.
link |
01:08:40.080
So that's one of the benefits of a consensus system that on the one hand you have to coordinate
link |
01:08:44.840
the upgrade, but on the other hand, the upgrade can be coordinated.
link |
01:08:49.160
So what's Casper FFG, by the way?
link |
01:08:52.200
Casper FFG is the consensus algorithm that we are using for a proof of stake.
link |
01:08:57.840
Is there something interesting specific about Casper FFG, like some beautiful aspect of
link |
01:09:02.800
it?
link |
01:09:03.800
There is.
link |
01:09:04.800
So Casper FFG combines together kind of two different schools of like it's not sale
link |
01:09:11.240
growth I'm designed.
link |
01:09:12.760
So the general two different schools of the design are right.
link |
01:09:17.000
One is 50% fault tolerant, but dependent on network synchrony.
link |
01:09:23.280
So 50% fault tolerant, but it tolerate up to 50% of faults, but not more, but it depends
link |
01:09:29.560
on an assumption that all of the nodes can talk to each other within some of a limited
link |
01:09:35.320
period of time.
link |
01:09:36.320
Like if I send a message, you'll receive it within a few seconds.
link |
01:09:40.640
And the second school is 33% fault tolerant, but safe under a synchrony.
link |
01:09:46.360
Which means that if we agree on something, then that thing is finalized.
link |
01:09:51.920
And even if the network goes horribly wonky the second after that thing is finalized,
link |
01:09:55.960
there's no way to revert that thing.
link |
01:09:59.400
That's fascinating how you would make that happen.
link |
01:10:03.320
It's definitely quite clever.
link |
01:10:06.200
I'd recommend the Casper FFG paper.
link |
01:10:08.880
If you just search like archive as in like ARX, IV, Casper FFG, it's right there.
link |
01:10:13.240
That's an archive.
link |
01:10:14.240
The paper's an archive.
link |
01:10:15.240
Yeah, yeah.
link |
01:10:16.240
Who are the authors?
link |
01:10:17.240
Myself and Virgil Griffith.
link |
01:10:20.040
That's awesome.
link |
01:10:21.040
Take a small tangent.
link |
01:10:23.640
This idea of just putting out white papers and papers and putting them on archive and
link |
01:10:27.280
just putting them publicly, is that at the core?
link |
01:10:32.080
Is that a necessary component of the currency?
link |
01:10:34.520
Is that the tradition started with Satoshi Nakamoto?
link |
01:10:38.680
What do you make of it?
link |
01:10:40.480
Like what do you make of the future of that kind of sharing of ideas?
link |
01:10:42.880
I guess so, yeah.
link |
01:10:44.320
And it's definitely something that's kind of mandatory for crypto because like crypto
link |
01:10:51.000
is all about making systems where you don't have to trust the operators to trust that
link |
01:10:56.640
the thing works.
link |
01:10:57.720
And so if anything behind how a system works is closed sourced, then that kind of kills
link |
01:11:03.680
the point.
link |
01:11:04.680
And so there is the kind of a sense in which the fundamental properties of the category
link |
01:11:10.960
of the thing we're trying to build just kind of forces openness.
link |
01:11:14.920
But also openness just has proven to be a really great way to collaborate.
link |
01:11:19.120
And then there's actually a lot of innovation and academic collaboration that's just kind
link |
01:11:23.600
of happened ad hoc in the crypto space the last few years.
link |
01:11:27.920
So like for example, we have this forum called ETH research that's like ETH, R E S E A R
link |
01:11:34.480
and then dot CH.
link |
01:11:36.840
And there we publish kind of just ideas in a form that's kind of half formal.
link |
01:11:43.000
Like it's halfway in between.
link |
01:11:46.200
It's kind of a text write up and then you can have math in it, but it's often out of
link |
01:11:50.960
much shorter than a paper.
link |
01:11:53.080
And it turns out that the great majority of new ideas, like they're just kind of fairly
link |
01:11:58.600
small nuggets that you can explain in like five to 10 lines and they don't really need
link |
01:12:03.240
the whole formality of a paper.
link |
01:12:05.000
Exactly.
link |
01:12:06.000
They don't require the kind of like 10 pages of a filler.
link |
01:12:08.560
And so introduction conclusion is not needed.
link |
01:12:11.320
Yeah.
link |
01:12:12.320
And so instead you just kind of publish the idea and then the people can go comments on
link |
01:12:16.920
it.
link |
01:12:17.920
That's brilliant.
link |
01:12:18.920
Yeah.
link |
01:12:19.920
This has been great for us.
link |
01:12:20.920
I think I interrupted you.
link |
01:12:21.920
Was there something else on Casper FFG?
link |
01:12:23.920
No, just Casper FFG is just kind of combines together these two schools.
link |
01:12:29.240
And so basically it creates this system where if you have more than 50% that are honest
link |
01:12:38.880
then and you have a network synchrony, then the thing kind of goes as a chain, but then
link |
01:12:45.360
if network synchrony fails, then kind of the last few blocks in the chain might kind
link |
01:12:49.960
of get replaced.
link |
01:12:51.200
But anything that was finalized by this kind of more asynchronous process can't be reverted.
link |
01:12:59.520
And so you essentially get a kind of best of both worlds between those two models.
link |
01:13:03.880
Okay.
link |
01:13:04.880
So I know what I'm doing to them.
link |
01:13:06.320
I'm going to be reading the Casper FFG paper.
link |
01:13:09.040
Apologize for the romanticized question, but what do you are some or the most beautiful
link |
01:13:16.240
idea in the world of Ethereum?
link |
01:13:19.200
Just something surprising, something beautiful, something powerful.
link |
01:13:23.040
Yeah.
link |
01:13:24.040
I mean, I think the fact that money can just emerge out of a database if enough people believe
link |
01:13:28.880
in it, I think is definitely one of those things that's up there.
link |
01:13:33.920
I think one of the things that I really love about Ethereum is also this concept of composability.
link |
01:13:39.760
So this is the idea that if I build an application on top of Ethereum, then you can build an
link |
01:13:45.720
application that talks to my application and you don't even need my permission, you don't
link |
01:13:50.920
even need to talk to me.
link |
01:13:52.720
So one really fun example of this is there was this kind of game on Ethereum called CryptoKitties,
link |
01:13:58.280
they're just involved in breeding digital cats.
link |
01:14:01.080
And someone else created a game called CryptoDragons, where the way you play CryptoDragons is you
link |
01:14:07.400
have a dragon and you have to feed it CryptoKitties and they just created the whole thing just
link |
01:14:15.840
like as an Ethereum contract that you would send these tokens that are defined by this
link |
01:14:22.320
other Ethereum contract.
link |
01:14:24.320
And for the interoperability to happen, the projects don't really need to, the teams don't
link |
01:14:30.040
really need to talk to each other, you just kind of interface with the existing program.
link |
01:14:35.360
So it's arbitrarily composable in this kind of way, so you have different groups that
link |
01:14:39.920
could be working in.
link |
01:14:40.920
So you could see it scaling to just outside of dragons and kitties, you could build like
link |
01:14:46.000
entire ecosystems of software in this kind of way.
link |
01:14:50.360
Yeah, especially in the decentralized finance space that's been popping up the last two
link |
01:14:55.800
years, there has been a huge amount of really interesting things happen as a result of this.
link |
01:15:01.000
Is it a particular kind of like financial applications kind of thing?
link |
01:15:05.080
Yeah, I mean, there's like stable coins.
link |
01:15:07.800
So this is kind of tokens retain value equal to $1, but they're kind of backed by cryptocurrency.
link |
01:15:17.560
Then there's decentralized exchanges.
link |
01:15:20.280
So as far as decentralized exchanges goes, there's this really interesting construction
link |
01:15:27.560
that has existed for about one and a half years now called Uniswap.
link |
01:15:32.640
So what Uniswap is, it's a smart contract that holds the balances of two tokens, we'll
link |
01:15:38.960
call them token A and token B. And it maintains an invariant that the balance of token A multiplied
link |
01:15:44.560
by the balance of token B has to equal the same value.
link |
01:15:47.760
And so the way that you trade against the thing is basically like you have this kind
link |
01:15:52.240
of curve, you know, like X times Y equals K. And before you trade, it's at some points
link |
01:15:57.840
on the curve.
link |
01:15:58.840
After you trade, you just like pick any other points on the curve.
link |
01:16:02.400
And then whatever the delta X is, that's the amount of A tokens you provide, whatever
link |
01:16:05.920
the delta Y is, that's the amount of B tokens you get or vice versa.
link |
01:16:09.920
And that's just kind of the slope at the current points on the curve kind of is the price.
link |
01:16:16.720
And so that just is the whole thing.
link |
01:16:20.240
And that just allows you to have this exchange for tokens and even if there's very few participants
link |
01:16:29.120
and the whole thing is just like so simple and it's just very easy to set up, very easy
link |
01:16:34.880
to participate in and it just provides so much value to people.
link |
01:16:41.840
And the fundamental, the distributed application infrastructure allows that somehow.
link |
01:16:49.280
Yes.
link |
01:16:50.280
So this is a smart contract meeting.
link |
01:16:52.360
This is all a computer program that's just running on Ethereum.
link |
01:16:55.680
Smart contracts too are just fascinating.
link |
01:16:58.200
They are.
link |
01:16:59.200
Okay.
link |
01:17:00.200
Do you think cryptocurrency may become the main currency in the world one day?
link |
01:17:05.200
So where do you think we're headed in terms of the role of currency, the structure type
link |
01:17:10.680
of currency in the world?
link |
01:17:12.720
I definitely expect fiat currencies to continue to exist and get in to be strong and I definitely
link |
01:17:20.080
expect kind of fiat currencies to also digitize in their own way over the next couple of decades.
link |
01:17:25.000
What's fiat currency by the way?
link |
01:17:26.520
Oh, just like things like US dollars and like dollars and euros and yen and these other
link |
01:17:31.480
things.
link |
01:17:32.480
And they're sort of backed by governments.
link |
01:17:34.040
Yes.
link |
01:17:35.040
And I also expect kind of cryptocurrencies to play this kind of important role in just
link |
01:17:41.600
making sure that people always have an alternative if fiat currencies start breaking.
link |
01:17:46.840
So like if or if you're in, you know, some kind of very high inflation place like Venezuela,
link |
01:17:53.240
for example, or if your country just kind of gets cut off from other financial systems
link |
01:18:04.760
because of like something the banks do, like if any kind of, if there's even like some
link |
01:18:10.240
major trade disruption or something worse happens, then like cryptocurrencies are the
link |
01:18:15.960
sort of thing that just because of their kind of global neutrality, they're just kind of
link |
01:18:19.960
always there and you can keep using them.
link |
01:18:22.280
It's interesting that you're quite humble about the possibilities of the future of cryptocurrency.
link |
01:18:27.720
You don't think there's a possible future where it becomes the main set of currency
link |
01:18:33.720
because it feels like fiat, it feels like the centralized control by governments of
link |
01:18:40.400
currencies limiting somehow, maybe my naive utopian view of the world.
link |
01:18:47.280
It's definitely very possible.
link |
01:18:48.800
I mean, I think like for cryptocurrencies being the main form of value to work well,
link |
01:18:59.600
like you do need to have some much more price stability than they have today.
link |
01:19:05.680
And I mean, there are now stable coins and there are kind of cryptocurrency is the try
link |
01:19:09.880
to be more stable than existing things like Bitcoin and Ether.
link |
01:19:13.240
But that just is to me the kind of the main challenge.
link |
01:19:18.360
Do you think, oh, that's, do you think that's a characteristic of just being the early days
link |
01:19:22.280
is such a young concept that 10 years is nothing in the history of money?
link |
01:19:27.480
Yeah, and I think it's a combination of two things, right?
link |
01:19:31.120
One is it's it's still early days, but the other is a kind of more durable any kind
link |
01:19:37.480
of economic problem, which is that the demand for currency is volatile, right?
link |
01:19:42.440
Because of like, recessions, boom, changes to technology, lots of things, and if people's
link |
01:19:48.480
demand for how much currency they want to hold changes.
link |
01:19:51.760
And if you have a currency that has a fixed supply, then the change in demand has to be
link |
01:19:57.200
entirely expressed as a change in value of the currency.
link |
01:20:00.560
And so what that means is that kind of the volatility of demand becomes entirely translated
link |
01:20:04.920
into volatility and ahead of prices of things that are dominated in that currency.
link |
01:20:10.180
But if you have a currency where instead the supply can change, and so the supply can go
link |
01:20:15.400
up when there's more demand, then you have the supply ahead of absorbing more of that
link |
01:20:20.880
volatility.
link |
01:20:21.880
And so the price of the currency would absorb loss of the volatility.
link |
01:20:24.960
On that topic, so Bitcoin does have a limited supply, a specific fixed supply.
link |
01:20:29.840
Yes.
link |
01:20:30.840
What's, what's the idea and Ethereum doesn't, but can you clarify?
link |
01:20:37.280
Just in the comment you just made, is Ethereum qualified to the kind of currency that you're
link |
01:20:41.800
talking about and being flexible in the supply?
link |
01:20:44.240
And it's a bit more flexible, but kind of the thing that you would really want is something
link |
01:20:50.200
that's kind of specifically flexible in response to how valuable the currency is.
link |
01:20:58.040
And I'd recommend, you know, look at stable coins as well.
link |
01:21:01.080
So like things like dye, for example, that's like,
link |
01:21:04.600
How do you spell that?
link |
01:21:06.600
DAI.
link |
01:21:07.600
And what's stable coins?
link |
01:21:09.480
Is it a type of cryptocurrency?
link |
01:21:11.080
It is a type of cryptocurrency.
link |
01:21:13.040
It's a type of cryptocurrency that's issued by a smart contract, one of these Ethereum
link |
01:21:18.480
computer programs, that where the smart contract holds a bunch of ether, and then it issue,
link |
01:21:25.000
basically, like that people deposit, and then it issues DAI and the reason why people deposit
link |
01:21:30.640
is because they want to kind of go high leverage on their ether.
link |
01:21:33.800
And so it kind of pairs these two sets of users, one that wants stability and one that
link |
01:21:37.520
kind of wants extra risk together with each other.
link |
01:21:41.120
And it basically creates or gives one set of participants a guarantee that they'll be
link |
01:21:49.680
paid, that they have this asset that can be later converted back into ether, but specifically
link |
01:21:55.680
at kind of the one dollar rate.
link |
01:21:57.040
And it has some kind of stabilizing network effects.
link |
01:22:00.920
Yeah, it has this, yeah, it has many kinds of stabilizing mechanisms in it.
link |
01:22:05.800
That's fascinating.
link |
01:22:06.800
Okay.
link |
01:22:07.800
This world is awesome technically.
link |
01:22:09.880
At least from a scientific perspective, it's an awesome world that I often don't see from
link |
01:22:14.240
an outsider's perspective.
link |
01:22:15.560
What I often see is kind of maybe hype and a little bit, if I may say so, like Charltonism.
link |
01:22:24.680
And you don't often see, at least from my outsider's perspective, the beautiful science
link |
01:22:28.520
of it and the engineering of it.
link |
01:22:31.120
Maybe, is there a comment you can make of who to follow, how to learn about this world
link |
01:22:39.920
without being interrupted by the Charlton's and the hype people in this space?
link |
01:22:47.160
I think you do need to just know the specific kind of just people to follow.
link |
01:22:51.920
Like there's, you know, there's all the kind of the cryptographers and the researchers
link |
01:22:57.000
and there's just like, even just the Ethereum research crew, like myself, like Dan Cradd,
link |
01:23:03.240
Danny Justin and the other people.
link |
01:23:06.600
And then, and of the academic cryptographers, and like before this today, I was at Stanford
link |
01:23:14.360
and Stanford has the Center for Blockchain Research and of Dan Bonet, that's really famous
link |
01:23:20.280
and great cryptographer is running it and there's a lot of other people there.
link |
01:23:26.760
And there's people working on zero knowledge proofs, for example, and Zuko from Zcash
link |
01:23:34.000
has one other person that I respect.
link |
01:23:38.160
So I think if you follow the technical, you crawl along with the Ethereum group and then
link |
01:23:44.360
look at the academics, Dave Bonet and so on, and then just cautiously expand the network
link |
01:23:49.400
of people you follow.
link |
01:23:50.400
Yeah, exactly.
link |
01:23:51.400
And like if someone seems too self promotional, then just like remove them.
link |
01:23:56.880
Is there books that are, there's these white papers and we just discussed about about ideas
link |
01:24:03.480
being condensed into really small parts.
link |
01:24:06.200
Is there books that are emerging that are kind of good introductory material?
link |
01:24:11.280
So for historical ones, and there's like Nathaniel Popper's Digital Gold, which is
link |
01:24:16.080
just about the history of Bitcoin.
link |
01:24:18.360
There's like one, and then Matthew Lysing announced that there's one about the history
link |
01:24:21.960
of Ethereum.
link |
01:24:23.680
For technical ones, and there's Andrew Asensinopoulos's Mastering Ethereum.
link |
01:24:28.600
Great.
link |
01:24:29.600
So let me ask you sort of, sorry, to pull back to the idea of governments and decentralized
link |
01:24:37.760
currency, you know, there's a tension between decentralization of currency and the power
link |
01:24:45.440
of nations, the power of governments, you, what's your sense about that tension?
link |
01:24:53.240
Is there some rule for regulation of currency?
link |
01:24:56.760
Yeah, is there like, is the government the enemy of digital currency, of distributed
link |
01:25:03.600
currency, or can they be like cautious friends?
link |
01:25:08.960
I mean, I think like, the one thing that people forget is that it's clearly not entirely
link |
01:25:16.000
an enemy because I think if there hadn't been so much government regulation on centralized
link |
01:25:25.640
digital, issuing centralized digital currencies, then we'd be seeing things people like Google
link |
01:25:32.360
and Facebook and Twitter just kind of issuing them left and right.
link |
01:25:35.440
And then like, if that was the case, then decentralized currencies would still appeal
link |
01:25:39.120
to some people, but they definitely would appeal to less people than today.
link |
01:25:42.840
So even in that sense, I think it's clearly been kind of more of a help, just kind of
link |
01:25:51.040
set the stage for the end of the existence as a sum of the sector in some ways.
link |
01:25:56.440
But also, and I think some of both, you know, like there's definitely things that governments
link |
01:26:03.320
kind of can do in some cases have done to have hurt the spread of growth of blockchains.
link |
01:26:11.560
There's things that they've done to help and they've in some cases definitely done a good
link |
01:26:17.560
job of going after fraudulent projects and going after some of the projects that have
link |
01:26:23.880
some of the craziest and most misleading marketing.
link |
01:26:28.720
There's also the possibility that governments will end up using blockchains for a lot of
link |
01:26:34.240
different things, like, you know, governments, you know, they do a lot more than just regulating,
link |
01:26:39.320
right?
link |
01:26:40.320
But there's also like, they have the identity records and they have kind of like property
link |
01:26:48.400
registries, even their own currency is like secured, lots of different kind of things
link |
01:26:55.440
that they're operating and there's even blockchain applications in a lot of those.
link |
01:27:00.600
Yeah.
link |
01:27:01.600
And they can, you know, they can leverage technology to do a lot of good for our societies.
link |
01:27:06.600
It is a little unfortunate that governments often lag behind in terms of their acceptance
link |
01:27:13.000
and leverage of technology.
link |
01:27:14.000
If you look at the autonomous vehicle space, AI in general, they're a few years behind.
link |
01:27:22.120
It'd be nice to help them catch up.
link |
01:27:25.560
That's always an ongoing problem.
link |
01:27:27.920
You met Vladimir Putin to discuss the centralized currency here.
link |
01:27:33.360
You're born in, where were you born?
link |
01:27:35.840
Kolomna.
link |
01:27:36.840
It's a city about 115 kilometers south of Moscow.
link |
01:27:39.800
In Russia.
link |
01:27:40.800
Yes.
link |
01:27:41.800
Yeah.
link |
01:27:42.800
I grew up in Moscow.
link |
01:27:43.800
I mean, that's, Vladimir Putin is a central figure in this part of the world.
link |
01:27:49.080
So what was that like meeting, meeting him?
link |
01:27:53.600
What was that experience like?
link |
01:27:54.960
He's taller in photos than in person.
link |
01:27:57.200
Yeah.
link |
01:27:58.200
Yeah.
link |
01:27:59.200
That's right.
link |
01:28:00.200
He's five, seven, I think, five, eight, maybe.
link |
01:28:04.040
Yeah.
link |
01:28:05.040
And that's, unfortunately, we didn't actually kind of have too much of a chance to talk
link |
01:28:09.880
to him.
link |
01:28:10.880
Like I managed to see him for about one minute at the end of this meeting and I did get a
link |
01:28:15.200
chance to see a lot, like some of the other end of government ministers and like he recommended
link |
01:28:20.480
some.
link |
01:28:21.480
And some of them are actually interested in trying to use like blockchains to look for
link |
01:28:30.000
various government use cases, the kind of limit corruption and other things.
link |
01:28:34.080
And I have like, it's hard to tell from one conversation kind of what things are genuine
link |
01:28:39.400
and what things are just like, oh, blockchain is cool, let's do blockchain.
link |
01:28:43.760
But, you know, when I listen to like Barack Obama talk about artificial intelligence,
link |
01:28:50.960
there's certain things I hear where, okay, so he might not be an expert in AI, but he
link |
01:28:57.640
like actually studied it carefully enough to think about it, like even if he's just
link |
01:29:04.360
reading a Wikipedia page, like he really thought about what this technology means.
link |
01:29:09.360
Did you get a sense that Putin or some of the ministers like thought about blockchain,
link |
01:29:15.760
like thought about the fundamentals of technology, like understand it intuitively?
link |
01:29:19.840
Or are they too old school to try to grasp it?
link |
01:29:23.640
Summer old school, summer more new school.
link |
01:29:26.920
It depends.
link |
01:29:27.920
It's definitely like depends on who you talk to.
link |
01:29:30.200
I mean, that's an open question for me with Putin because Putin has said stuff about AI.
link |
01:29:34.920
I don't know.
link |
01:29:35.920
I've only talked to him for about one minute, so.
link |
01:29:38.160
But sometimes you can pick up sort of insights.
link |
01:29:42.000
As a quick comment, they're, they're about, maybe you can correct me on this, but they're
link |
01:29:46.000
about 3,000 cryptocurrencies being actively traded.
link |
01:29:49.840
Yes.
link |
01:29:50.840
And Ethereum is one of, you know, a lot of people believe that there will be the main
link |
01:29:55.440
crypto currency.
link |
01:29:56.440
I think Bitcoin is currently still the main cryptocurrency, but Ethereum very likely might
link |
01:30:00.840
become that, the main one.
link |
01:30:04.480
Is this kind of diversity good in the crypto world?
link |
01:30:07.200
Do you see it sticking around?
link |
01:30:09.080
Should there, should there be a winner?
link |
01:30:10.720
Like should there be some consensus globally around Bitcoin or around Ethereum?
link |
01:30:15.880
Like what's your, what's your sense?
link |
01:30:17.640
I definitely think the diversity is good.
link |
01:30:19.480
And I definitely think also that there's probably too many people trying to make separate
link |
01:30:24.520
blockchains kind of right now.
link |
01:30:26.880
The numbers should definitely be greater than one and probably greater than two or even
link |
01:30:30.480
five.
link |
01:30:31.480
Not 3,000.
link |
01:30:32.480
Not 3,000, yeah, and also not even like 40 high quality platforms that try to do the
link |
01:30:38.360
same thing.
link |
01:30:39.360
And there's definitely this range from just like one person who just like wrongly thinks
link |
01:30:46.520
that you can create a cryptocurrency in like 12 hours and doesn't even think about kind
link |
01:30:51.680
of the community aspects of maintaining it, going to people actually trying, but only
link |
01:30:58.280
creating a really tiny one to like scammers, to people like making something that's actually
link |
01:31:04.920
successful.
link |
01:31:06.520
And then, you know, there's a lot of different categories of blockchain and of project in
link |
01:31:11.760
terms of what it's trying to do and what applications it's for.
link |
01:31:14.920
And I think the experimentation is definitely healthy.
link |
01:31:20.000
If you look at the two worlds, there might be a little bit disjoints, but the distributed
link |
01:31:25.160
applications, cryptocurrency, and in the world of artificial intelligence, do you see there's
link |
01:31:29.880
some overlap between these worlds that both worry about centralized control?
link |
01:31:35.920
Is there some overlap that's interesting that you think about, do you think about AI much?
link |
01:31:40.880
Yeah.
link |
01:31:41.880
And I think definitely kind of thought about things like the AI and if control problems
link |
01:31:48.160
and aligned to problems and all of those things.
link |
01:31:50.600
Do you worry about the existential threat of AI?
link |
01:31:53.280
It's definitely one of the things I worry about.
link |
01:31:56.360
I think there's a lot of kind of common challenges because in both cases, what you're ultimately
link |
01:32:05.240
trying to do is you're trying to get a simple system to direct a more complex system.
link |
01:32:12.080
In the case of strong AI, the idea would be that the simple system is people and the
link |
01:32:17.800
complex system is whatever thing the people end up unleashing on the universe that will
link |
01:32:24.880
hopefully be a great thing.
link |
01:32:28.800
In the case of blockchains, the simple thing is the algorithm, which is a piece of static
link |
01:32:35.040
and fully open source code, and the more complex thing is just all of the different possible
link |
01:32:41.640
and if human actors and the strategy is that they might end up used to participate in the
link |
01:32:48.480
network.
link |
01:32:49.640
Do you think about your own mortality?
link |
01:32:51.400
What you hope to accomplish in your life in the context?
link |
01:32:55.080
I definitely think about ending my own mortality.
link |
01:32:59.760
If I gave you the option to live forever, would you?
link |
01:33:02.480
It depends a lot on what the fine bridge is.
link |
01:33:05.360
If it's one of those things where I'm going to be kind of like floating through empty space
link |
01:33:10.560
for 10 to the 75 years, then no.
link |
01:33:13.360
If it's forever worth of having a fulfilling life with friends to spend the time with,
link |
01:33:27.560
with meaningful challenges to explore and interesting things to be working on, then
link |
01:33:34.680
I think absolutely.
link |
01:33:37.680
That's beautifully put.
link |
01:33:39.080
It's forever, but you'd have to check the fine print.
link |
01:33:43.720
I think there's no better way to end it, Vitalik.
link |
01:33:46.200
Thank you so much for talking to us.
link |
01:33:48.320
So exciting to follow your work from a distance and thank you for creating a revolutionary
link |
01:33:53.800
idea and sticking with it and building it out and doing some incredible engineering work.
link |
01:33:58.240
Thanks for talking today.
link |
01:33:59.240
Thank you.
link |
01:34:00.960
Thanks for listening to this conversation with Vitalik Buterin, and thank you to our
link |
01:34:04.680
sponsors ExpressVPN and Masterclass.
link |
01:34:08.720
Please consider supporting the podcast by sending up to masterclass at masterclass.com
link |
01:34:13.600
slash lex and getting expressvpn at expressvpn.com slash lex pod.
link |
01:34:21.000
If you enjoy this podcast, subscribe on YouTube, review it with five stars on Apple Podcasts,
link |
01:34:26.640
support it on Patreon, or simply connect with me on Twitter at lexfriedman.
link |
01:34:31.840
And now let me leave you with some words from Vitalik Buterin.
link |
01:34:35.920
The thing that I often ask startups on top of Ethereum is, can you please tell me why
link |
01:34:41.800
using Ethereum blockchain is better than using Excel?
link |
01:34:44.800
And if they can come up with a good answer, that's when you know you got something really
link |
01:34:49.920
interesting.
link |
01:34:51.720
Thank you for listening and hope to see you next time.