back to indexCharles Hoskinson: Cardano | Lex Fridman Podcast #192
Chapters
0:0 Introduction
2:9 What programming language is the simulation written in?
7:14 Favorite philosophers
16:15 Theory vs engineering in cryptocurrency
27:24 What programming languages should everyone learn
35:39 Haskell and beyond
39:23 Plutus: Cardano's smart contract platform based on Haskell
43:50 What is a blockchain?
48:2 Hybrid smart contracts
53:53 Proof of work vs proof of stake
62:39 Cardano's proof of stake consensus algorithm
73:11 What is Cardano?
81:52 Cardano vs Ethereum vs Bitcoin
91:47 The problem with Bitcoin
101:21 Bitcoin Conference
105:2 Ergo and Alex Chepurnoy
112:12 Cardano's Extended UTXO Model
119:25 Chainlink and Oracle Networks
126:37 Cardano and Wolfram Alpha
131:32 The future of video games
140:7 Smart contracts timeline for Cardano
147:37 Decentralized exchanges
153:18 Jack Dorsey and Bitcoin
159:30 Elon Musk and Tesla: Cardano, Ethereum, Bitcoin
162:47 Dogecoin and Elon Musk
174:8 Hydra vs Lightning Network
181:42 Non-Interactive Proofs of Proof-of-Work (NIPoPoWs)
185:36 Cardano failure modes
193:57 Cardano vs Polkadot
199:2 Vitalik Buterin
207:13 Corrupting nature of power
217:23 Satoshi Nakamoto
223:34 Cardano's vision for decentralized governance
236:28 Cardano in Ethiopia
240:30 El Salvador and Bitcoin
246:47 Cryptocurrency will inject capitalism with long-term incentives
256:39 Day in the life of Charles Hoskinson
263:56 Mushrooms
270:4 Joe Rogan
274:57 Video games
287:11 Advice for young people
290:20 Meaning of life
00:00:00.000 |
The following is a conversation with Charles Hoskinson, 00:00:06.760 |
and a mathematician who's one of the most well-read 00:00:09.800 |
and knowledgeable people on the technical side 00:00:17.640 |
Galileo Games, Allform, Indeed, ExpressVPN, and Asleep. 00:00:22.640 |
Check them out in the description to support this podcast. 00:00:29.040 |
is not just a mathematician or cryptocurrency innovator, 00:00:32.360 |
but also a Colorado-based farmer of bison and mushrooms, 00:00:41.800 |
When I asked him if he has a nice professional picture 00:00:44.760 |
of himself, he sent me a picture of him in Mongolia 00:01:10.640 |
that at least to me, cryptocurrency is much bigger 00:01:13.580 |
than just a way for a few Americans to make a quick buck 00:01:19.180 |
It is technology that enables freedom from oppression, 00:01:22.460 |
from suffering in the world, because money is power. 00:01:26.680 |
Mongolia, for example, was a reminder of that for me. 00:01:31.840 |
I spoke with Wyeonmi Park, who is a North Korean defector, 00:01:35.560 |
and who spent time in Mongolia, as many defectors do, 00:01:44.920 |
the story of atrocities throughout the 20th century 00:01:50.920 |
is a reminder that the world is full of darkness, 00:02:04.840 |
and here is my conversation with Charles Hoskinson. 00:02:13.520 |
what programming language do you think it's written in? 00:02:16.260 |
And maybe from a software engineering perspective, 00:02:19.200 |
what do you think are some of the design principles 00:02:22.360 |
- You know, there are a lot of really lovely papers, 00:02:24.040 |
like one came out of MSR, the Autodidactic Universe. 00:02:34.440 |
is like some sort of giant self-learning system 00:02:39.480 |
And then you have Wolfram running around saying, 00:02:41.160 |
"Hey, we can come up with these very simple rules, 00:02:52.600 |
and I say, "Well, if you're stuck within the system, 00:02:57.640 |
You know, it's kind of like an object language 00:03:01.320 |
You know, there's this thing that is outside of it, 00:03:03.800 |
but because you're constrained and limited by the simulation 00:03:06.740 |
you can't really understand the nature of the thing 00:03:12.040 |
You can build these redstone computers within Minecraft 00:03:16.620 |
but you really can't go outside of that environment. 00:03:19.440 |
- The people outside of it can formally prove 00:03:28.840 |
- Well, also, the question is, it's a computation question. 00:03:33.280 |
'Cause you'd have to be able to emulate all of these. 00:03:46.560 |
It would have to have some more fundamental resolution 00:03:55.720 |
- Do you find the Stephen Wolfram idea compelling? 00:04:20.240 |
than trying to build a complex top-down model for things. 00:04:23.480 |
And I guess there's some analogies to these things in AI, 00:04:30.920 |
and much better than if you actually tried to model it 00:04:35.720 |
So that is exciting because you get to just do a few things, 00:04:40.720 |
let the thing run, and then see what happens. 00:04:43.960 |
In fact, it got so exciting, Wolfram came to us, 00:04:46.440 |
and he said, "Hey, let's do an NFT marketplace." 00:04:49.280 |
And he said, "I got all these universes to sell." 00:04:57.280 |
and I think maybe end of this month or next month, 00:05:04.520 |
So as soon as we can sell one, I'll give you one, 00:05:08.320 |
that we're living in some sort of Wolfram simulation. 00:05:12.120 |
but I'm gonna give everything I have to get Rule 30, 00:05:15.360 |
which is one of his universes that he's created, 00:05:24.240 |
- I think Rule 30's Turing Complete, or is that 45? 00:05:29.680 |
Actually, I'm not sure if they proved anything 00:05:31.160 |
about Rule 30 in terms of whether it's Turing Complete 00:05:35.920 |
which is trying to predict something about Rule 30, 00:05:56.600 |
and it's also sad that we can't make perfect sense of it, 00:06:05.880 |
Even though it's all simple and deterministic, 00:06:18.240 |
and then it'll just be this empty 1D cellular automata. 00:06:24.160 |
- Yeah, it's fun, but when you're trying to create, 00:06:27.160 |
and we'll talk about something that operates the economy 00:06:39.360 |
then you'd like to be a little bit more formal 00:06:42.760 |
If this entire universe is just cellular automata, 00:06:49.440 |
generally speaking, and the hope is, I guess, 00:06:51.920 |
that there'll be pockets within the cellular automata 00:06:58.720 |
where you can formally show that something is true, 00:07:03.560 |
You'll be resilient and all those kinds of things, 00:07:11.960 |
- Well, I wonder what the demon's up to these days. 00:07:14.480 |
Okay, thank you for entertaining me with that. 00:07:17.400 |
But sticking on philosophy, you've also mentioned, 00:07:21.160 |
among others, that Bertrand Russell and Saul Kripke 00:07:26.860 |
Maybe you can comment on what ideas of theirs 00:07:30.040 |
you find insightful, and also, what to you is the difference 00:07:33.760 |
because you're both an engineer and a thinker, 00:07:40.640 |
- Yeah, so yeah, there's both a deeply human element 00:07:43.960 |
to both Russell and Saul, and then there's this, 00:07:50.920 |
And you can't really talk about Russell or Saul 00:07:54.360 |
without also mentioning Wittgenstein and Tarski, 00:08:00.800 |
and you put them together, what they were attempting to do 00:08:08.960 |
And so Wittgenstein makes no sense at all to me. 00:08:27.600 |
and I have the little boxes, and I have the diamonds, 00:08:30.420 |
and I can do a computation, and I can kind of reason 00:08:44.520 |
you can then start getting a better understanding 00:08:47.480 |
of basically how far formal language can take you. 00:08:53.760 |
You know, David Hilbert also did the same thing. 00:08:59.120 |
He was a logician, and there was this whole desire 00:09:01.480 |
in late 19th century mathematics to formalize mathematics 00:09:08.960 |
and Hilbert's geometry was like a complete system, 00:09:16.180 |
and the axioms are independent, and they're consistent. 00:09:23.080 |
And Russell and Whitehead wrote this huge set of books, 00:09:28.920 |
1,000 pages, and the conclusion's one plus one equals two. 00:09:32.200 |
So they linked set theory and arithmetic and logic 00:09:36.400 |
Then, little by little, as we entered the 20th century, 00:09:45.940 |
first with Gödel, and then later with the work of Turing 00:09:49.440 |
They said, "Oh, you're not complete, you're not decidable." 00:09:52.040 |
And so suddenly, Russell was left in this really bad 00:10:02.060 |
and he went into different fields of philosophy, 00:10:03.600 |
and he became this titan in analytic philosophy. 00:10:15.920 |
he said, "Look, I can only deal with the world I'm in 00:10:18.360 |
"in the senses that I have, and if I can deduce it, 00:10:23.180 |
"I really can't make meaningful statements about it." 00:10:28.240 |
that you would expect of a man of his stature. 00:10:30.200 |
Now, Sol Cryptri, it was like the complete opposite. 00:10:47.080 |
But I mean, literally, when he was in high school, 00:10:52.100 |
"Hey, could you teach graduate courses at Harvard?" 00:10:57.360 |
"before I go and teach grad school at Harvard." 00:11:07.160 |
And he chose to try to clean up a lot of the messes 00:11:17.520 |
"Let's really try to build things in such a way 00:11:23.400 |
"and it's not thrown away every 50 years or 100 years." 00:11:32.460 |
"a nice rigorous definition that doesn't have paradoxes 00:11:36.520 |
So he had to invent meta languages and object languages, 00:11:40.800 |
So I really like those four, if you think about them. 00:11:47.960 |
you have human beings and you have computers, 00:11:53.640 |
and human beings live in the natural language world. 00:12:00.880 |
And so a lot of the work that these guys were doing 00:12:06.120 |
but gives you hope that perhaps a bridge can exist 00:12:13.540 |
and maybe that in some way will allow computers 00:12:19.100 |
natural spoken languages that are completely ambiguity-free, 00:12:41.620 |
- Yeah, there's people who actually write poetry 00:12:45.460 |
and start tweeting in it. - Yeah, there you go. 00:12:49.900 |
and they're just fun to study and think about. 00:12:52.120 |
And unfortunately, if you go down that rabbit hole, 00:13:01.580 |
to, I guess, engineering. - Philosophy, no, no, no. 00:13:04.740 |
So first step, you said humans and computers. 00:13:07.860 |
So theoretical computer science is theory of the computer, 00:13:14.420 |
And then we can dissect different stuff about the computer, 00:13:19.380 |
of the theory of the human, which is philosophy, 00:13:21.260 |
and the theory of the computer, which is computer science, 00:13:25.540 |
Like, as we try to bridge that gap, as you mentioned, 00:13:35.780 |
Can we formalize music, art, poetry, all that kind of stuff? 00:13:39.260 |
Or is that human nonsense that we need to get rid of? 00:13:42.000 |
- No, I don't think it's human nonsense at all. 00:13:54.660 |
or transcendent of some sort of formal system? 00:14:08.220 |
and given that we have it, what can we do with it? 00:14:20.060 |
and let's keep adding these new models of computation. 00:14:22.820 |
And other people worry about the trunk of the tree, 00:14:25.540 |
and some people worry about the leaves of the tree. 00:14:37.580 |
We have better ways of handling speech to text, 00:14:50.100 |
Well, it'll understand it the same way we understand it. 00:14:52.780 |
You have to get a computer to grow up to a point 00:15:04.660 |
So the question is, well, how do you quantify creativity? 00:15:09.300 |
- You make it into an NFT and see how much it sells for. 00:15:15.220 |
- But basically, yeah, there's so much of it is subjective. 00:15:20.340 |
of that I'm fascinated with is human-robot interaction 00:15:28.540 |
whether it's art, or just two humans talking, 00:15:31.100 |
or two humans interacting in some kind of way 00:15:33.420 |
to maximize the richness of the subjective experience. 00:15:36.820 |
And I think that could be an optimization problem 00:15:43.660 |
we're constantly trying to impress each other. 00:15:49.940 |
Whatever, fall in love, impress your boss at work 00:15:54.220 |
I mean, we're trying to optimize that problem 00:15:56.340 |
that's purely, for the most part, is subjective. 00:15:59.420 |
- Right, did you ever watch "Blade Runner 2049"? 00:16:02.420 |
- Yeah, did you remember the whole relationship 00:16:05.180 |
Did she really love him, the hologram or not? 00:16:10.820 |
- Fake it 'til you make it, is my view on love. 00:16:31.420 |
and the pragmatic implementation of that theory 00:16:37.780 |
- Which I guess we'll call software engineering. 00:16:40.180 |
- So the engineer, they're obsessed with the domain of, 00:16:59.180 |
And you collect all these business requirements. 00:17:03.360 |
the better job you do, the more self-evident it is 00:17:13.220 |
And the point of theoretical computer science 00:17:17.560 |
is it can tell you kind of where your guardrails are. 00:17:24.220 |
but rather it can give you a good notion and sense 00:17:26.960 |
that your program has some desirable properties. 00:17:30.720 |
Like maybe you can prove that it can terminate 00:17:34.960 |
Or maybe you can prove you'll never have a buffer overflow, 00:17:45.620 |
But there's always this combinatorial explosion 00:17:54.580 |
lives in a different cardinality, a different universe. 00:17:57.700 |
There's something significantly larger there. 00:18:01.820 |
we have property-based testing and these SAT solvers. 00:18:04.620 |
We have all this great stuff here in formal methods land 00:18:11.720 |
that they actually give you good answers about. 00:18:14.580 |
So the balance of the two things is basically saying, 00:18:26.340 |
we deal with these complex distributed systems 00:18:28.840 |
that have cryptography and game theory and Byzantine actors. 00:18:37.840 |
And that's the kind of stuff that you want to apply 00:18:44.100 |
you either have a loss of billions of dollars, 00:18:52.920 |
Is it okay if the block doesn't get made every now and then? 00:18:58.260 |
or your network suddenly becomes asynchronous 00:19:02.900 |
and you have to restart the computer or something like that? 00:19:06.580 |
It's an inconvenience and burden to the user. 00:19:10.860 |
you'll end up spending 10 years chasing phantoms and ghosts. 00:19:16.220 |
So it's really figuring out those balance of the two. 00:19:18.280 |
And what's really beautiful is that the formal methods tools 00:19:25.180 |
mostly because of incredibly high investments 00:19:27.700 |
from Microsoft and Google and big universities, 00:19:31.100 |
'cause these guys are building these gargantuan systems. 00:19:59.220 |
what formal guarantees and properties can I get 00:20:04.400 |
So instead of the applications of formal methods 00:20:08.060 |
it actually massively reduces your debugging time 00:20:13.180 |
In some cases, you can't find where errors occur 00:20:17.380 |
And you say, well, where are cryptocurrencies going? 00:20:23.540 |
operating environment, where instead of it running 00:20:25.860 |
in a pristine data center in California somewhere, 00:20:39.180 |
So when you live in that kind of environment, 00:20:46.100 |
about a whole new class of tools and techniques 00:20:57.420 |
And what is low assurance and it's okay if that falls apart? 00:21:02.540 |
perverse financial incentives in our industry. 00:21:05.340 |
Because the reality is when something blows up, 00:21:07.780 |
the people who built those things that blow up 00:21:11.300 |
So what they're focusing on is time to market, 00:21:20.100 |
but if there's a nascent bug in some DeFi protocol, 00:21:22.660 |
it'll probably be discovered six months later 00:21:28.140 |
- They already got, the people that created that 00:21:31.980 |
who makes the break software for your train last. 00:21:34.900 |
And you make sure he rides the train every day. 00:21:38.860 |
- So that's, you're basically describing the complexity 00:21:44.540 |
game theoretic and like, if we think about turtles 00:21:47.660 |
all the way down, it's humans all the way down. 00:21:49.300 |
So I mean, at the very bottom is still human nature. 00:21:59.220 |
you said you can't, there's certain parts of the system 00:22:05.800 |
That there's this game theoretic construction 00:22:12.180 |
That system can't fail 'cause you're gonna blow everyone up. 00:22:15.920 |
But you can't formally say for sure it's not going to fail. 00:22:26.180 |
that these particular critical aspects will fail. 00:22:29.460 |
And then you test, I guess, by deploying in the real world 00:22:38.180 |
and mechanism design is that you can develop this concept 00:22:42.140 |
And I don't think in my life I've ever met a rational actor. 00:22:44.660 |
You know, there's a rational actor on Tuesday, 00:22:46.420 |
but any other day of the week, who the hell knows. 00:22:49.060 |
And there's even, I think there was a book, Freakonomics, 00:22:59.060 |
and they say, well, we need an honest majority 00:23:05.180 |
and rational actors will behave with that incentive model. 00:23:08.580 |
And they say, well, the individual won't do that, 00:23:10.380 |
but the firm, the government, the entity will. 00:23:13.960 |
The problem with that is we have a lot of counter examples 00:23:16.220 |
where the system was actually behaving in weird ways. 00:23:20.260 |
Like we almost completely eradicated the human population 00:23:26.400 |
and again in the 1980s, there was a Russian colonel, 00:23:34.160 |
You need to turn the key and launch all the missiles 00:23:36.300 |
in the silo, and he said, oh, that's not right. 00:23:39.440 |
And he was reprimanded for not launching the missiles. 00:24:09.300 |
If a rainforest has a fire or some catastrophic event, 00:24:13.140 |
the ecosystem will find a way to patch things up. 00:24:16.520 |
So it's a better question of how do you align 00:24:18.220 |
the incentives over the long term of a system 00:24:29.520 |
Which is going back kind of to that complexity theory stuff 00:24:37.560 |
Like for example, we knew this coming into the COVID crisis 00:24:41.160 |
that there would be catastrophic economic disruption 00:24:45.060 |
In the developed world, it was print lots of money 00:24:49.520 |
In the developing world, it's try not to starve to death. 00:24:52.060 |
Over 100 million people were pushed into acute starvation. 00:24:58.200 |
But every economist knew we were going into that. 00:25:00.520 |
So the question is how do you restart the system? 00:25:04.240 |
and make sure that it doesn't collapse at some point? 00:25:14.040 |
is that these are kind of like micro experiments 00:25:33.080 |
And these would be nation states, invitation only. 00:25:37.600 |
floating around all with their own monetary policy 00:26:00.000 |
I mean, Silvio, he's an incredibly bright guy. 00:26:11.560 |
He went and hired Tal Robin and she got at IBM Research 00:26:15.320 |
and Craig Gentry, the guy did homomorphic encryption 00:26:18.600 |
There's all these amazing people on that team 00:26:30.960 |
- And then there's this weird Darwinian evolution 00:26:40.000 |
- Exactly, but maybe it's we're the problem, not evolution 00:26:48.800 |
and stamp your foot and say, this makes no sense. 00:26:58.840 |
There's plenty of people in these marketplaces 00:27:00.520 |
that had the best of intentions, the best team, 00:27:10.400 |
and will the system over time converge to a state 00:27:13.800 |
that actually is useful and meaningful to society 00:27:31.260 |
let me ask you sort of a basic programming question. 00:27:34.380 |
There's a fascinating aspect to your work with Cardano 00:27:37.140 |
that you use Haskell to build the infrastructure, 00:27:41.140 |
but even stepping back more, looking at this landscape, 00:27:44.860 |
another place where Darwinian evolution operates, 00:27:48.680 |
looking at this landscape of programming languages, 00:27:58.760 |
And more practically, what programming languages, 00:28:01.180 |
if you were to advise students today, should they learn? 00:28:05.040 |
- Yeah, so there's the pedagogy of learning how to program 00:28:08.680 |
and to express the theory of computer science. 00:28:11.120 |
Like you have to learn how to write algorithms, 00:28:14.800 |
you have to be able to do analysis of these things. 00:28:16.940 |
And that probably, I think the debate is over Python 00:28:24.140 |
to get started with 'cause they're very useful, 00:28:41.020 |
they're elegant weapons from a time long ago. 00:28:46.700 |
And it's not about falling in love with a language, 00:28:50.980 |
It's about falling in love with having a dialogue 00:29:02.500 |
to use for Cardano, mostly because we're living 00:29:05.660 |
in the academic world, we've written 105 papers. 00:29:08.040 |
And the problem is you have to translate that work 00:29:10.380 |
into code, and the gap between an imperative language 00:29:14.020 |
like a C++ or C and these academic rigorous papers 00:29:20.220 |
And so there's gonna be a lot of semantical ambiguity 00:29:23.540 |
And what I mean by that is that you might end up 00:29:28.820 |
You might think that what you've built is the paper, 00:29:31.480 |
but the computer's not going to tell you that 00:29:45.540 |
And so as a consequence, the translation of the papers 00:29:49.040 |
that we spent so damn long writing and writing proofs about 00:29:55.420 |
Now, the downside is these functional languages 00:30:00.620 |
the best Windows support and the libraries aren't so good. 00:30:16.140 |
And are you designing for developer accessibility? 00:30:21.100 |
And are you designing for a high-fidelity representation 00:30:27.820 |
Okay, so Haskell was chosen as kind of the version one 00:30:34.140 |
who think about that are also the kinds of people 00:30:36.340 |
that would have an easy time reading a paper like Ouroboros 00:30:47.620 |
Then once you have that, you have a blueprint 00:30:49.820 |
that you can actually reason about, maintain. 00:30:53.500 |
you could then turn that into a Rust code base 00:31:09.580 |
And I actually have a real life example of that. 00:31:14.060 |
we implemented a full Ethereum node in Scala. 00:31:39.300 |
understandability, documentation, and other sort of things 00:31:52.100 |
like static analysis or property-based testing 00:31:54.620 |
or these types of things than an imperative code base. 00:31:57.320 |
But you know, the thing is, it's almost like a religion. 00:32:00.860 |
It's like saying, what's French versus Russian 00:32:05.060 |
They say, oh, they have the best poetry here. 00:32:18.220 |
If you're inventing new protocols based on science, 00:32:26.420 |
and you know how hard it can be to get into a conference 00:32:30.840 |
Then you also have to apply the exact same level of care 00:32:34.820 |
to the engineering side in terms of the implementation 00:32:39.020 |
and that mistake will probably be an exploit in the system 00:32:41.660 |
that destroys the security properties of the system. 00:32:48.260 |
The question was, what's the Goldilocks language? 00:32:50.580 |
Do you use a hybrid language like Scala and F# or Clojure, 00:32:56.400 |
to understandable things like .NET or the JVM? 00:33:06.180 |
And there you can really dial up the correctness 00:33:12.740 |
who write your code, they go on vacation a lot, 00:33:16.660 |
So Haskell kind of felt like a nice middle ground 00:33:20.180 |
where if we needed to pull into the left, we could. 00:33:22.980 |
If you wanted to pull into the right, you could as well. 00:33:30.540 |
and I said, learn any language to grow your career from, 00:33:46.940 |
You wanna go hardcore dot, dependent object types 00:33:51.500 |
and do like weird proofs and stuff in the functional, 00:34:01.260 |
'cause he was one of the guys who created the JVM 00:34:03.380 |
and he's worked on compilers for over 20 years. 00:34:08.620 |
in trying to build a concise, nice, modern language 00:34:13.860 |
And it's got great applications in data science and in AI. 00:34:30.420 |
who were Java programmers for 10 years, 15 years, 00:34:34.900 |
so they picked up Scala so they can make $35 an hour. 00:34:54.680 |
And you can then move around that entire design space 00:34:59.900 |
- So the recommendation is maybe if you wanna go vanilla, 00:35:18.320 |
more hardcore functional languages like Haskell. 00:35:27.020 |
Go and Rust, those are the two twins of Doom. 00:35:30.120 |
I mean, Google created Go just to get rid of C. 00:35:34.720 |
And then Rust is just a phenomenal language as well. 00:35:39.240 |
Let me ask a question from Reddit on this topic. 00:35:52.520 |
Any other language, I guess this is the key question 00:35:54.760 |
I wanna ask, any other language support other than Haskell? 00:36:04.320 |
Also, have you considered a yearly conference 00:36:10.200 |
And we did the first one in 2018, 2019, I can't remember. 00:36:14.800 |
And we were gonna do one last year, but then COVID hit. 00:36:17.400 |
So we'll bring it back and we'll probably do it annually 00:36:19.500 |
at the University of Wyoming for their hackathon there. 00:36:25.000 |
So we're doing that, I think the third week of September. 00:36:28.120 |
But yeah, it's great to do an annual conference. 00:36:31.480 |
and you can do hackathons and awards and so forth. 00:36:43.600 |
to Plutus Core compiler or TypeScript compiler 00:36:47.360 |
But I'm a big believer of separation of concerns. 00:36:51.320 |
And we don't live in a single chain model anymore. 00:36:54.680 |
So you have a situation where you probably wanna have 00:36:59.000 |
different execution environments in different chains. 00:37:01.640 |
So you have different virtual machines there. 00:37:04.560 |
with the University of Illinois, Urbana-Champaign, 00:37:06.480 |
Gregori Roshu's team at Runtime Verification. 00:37:10.360 |
let's start with something very familiar, LLVM, 00:37:14.400 |
and they happened to have created it there with Apple. 00:37:28.720 |
and other such things that do compile to LLVM already 00:37:38.280 |
Okay, so then all you have to really do is say, 00:37:40.800 |
can both of these models coexist within the same ecosystem? 00:37:46.120 |
it was called like the island, the ocean, the pond. 00:37:49.880 |
you have an island where everything's perfect. 00:37:56.400 |
but maybe you can't do everything on the island. 00:38:04.080 |
and Boaty McBoatface and all kinds of crazy stuff, right? 00:38:10.000 |
It's basically this, let's bring LLVM into our world 00:38:12.760 |
and at some point in the next three to five year 00:38:14.640 |
time horizon, we can bring modern programming languages in, 00:38:18.320 |
but they're gonna come in with all their flaws 00:38:31.040 |
And it's not clear if that's the standard yet 00:38:42.920 |
And the same thing that gives you the ability 00:38:44.640 |
to bolt on the LLVM will also give you the ability 00:38:48.760 |
to bolt on the EVM and they can run with their own models 00:38:51.400 |
and they're encapsulated, bulk-headed, separated systems, 00:38:54.880 |
but you can move ADA applications information 00:39:01.720 |
somewhat conservative and have the minimum viable amount 00:39:08.840 |
And also for interoperability, be able to talk 00:39:12.880 |
but it's not trying to be everything to everyone. 00:39:15.080 |
There's never gonna be an ice cream store in the island. 00:39:18.120 |
You'll have the grapes and the beautiful women, 00:39:21.440 |
- Now you're just like distracting me with the ice cream. 00:39:23.680 |
So just for, because we'll throw around a bunch of terms 00:39:29.760 |
It's kind of a DSL that we built on top of Haskell. 00:39:33.520 |
And basically we wrote it after spending about three years 00:39:41.840 |
what is the ideal language to express a smart contract? 00:39:46.400 |
Is it the whole application or is it just like a sub module 00:39:50.920 |
And usually it's the latter more than the former. 00:39:54.080 |
You can build a self-contained program like a script, 00:39:56.800 |
but usually what's happening is you'll have it 00:39:58.600 |
like a video game, let's say World of Warcraft 00:40:01.680 |
You say, hey, maybe I want to actually create gold 00:40:04.600 |
in World of Warcraft that's actually a currency. 00:40:09.720 |
Well, and then maybe I want to create some mechanics 00:40:11.620 |
behind how people are gonna trade that amongst each other. 00:40:20.300 |
and proprietary software controlled by a single company, 00:40:27.920 |
And what you've done now is added a blockchain layer 00:40:29.920 |
and the blockchain handles the accounting of that asset 00:40:37.460 |
than what Blizzard is doing with World of Warcraft. 00:40:40.780 |
So the point of Plutus was let's create a language 00:40:43.360 |
where you can write these small to mid-sized programs 00:40:54.160 |
You can run things locally and you actually understand 00:40:57.880 |
And that doesn't change when you deploy it on the system. 00:41:01.200 |
If you dial up the expressiveness of the system 00:41:07.680 |
the problem is you have to have global state. 00:41:22.080 |
and every single time Satoshi tried to dial it up, 00:41:29.800 |
which led to the creation of billions of Bitcoin. 00:41:32.440 |
They had to quickly clean that up and sweep it under the rug 00:41:38.680 |
with how the scripting language was implemented. 00:41:44.040 |
it's like this pure game of stomping down these skirmishers 00:41:50.640 |
And then it's not clear how you shard such a model. 00:42:04.280 |
So you can look at all those different examples, 00:42:13.440 |
and you want to start putting peer-to-peer dynamics 00:42:15.680 |
inside your system, you're going to gracefully connect 00:42:20.680 |
And it's very clear how those two things connect together. 00:42:23.080 |
Just so happens Haskell is really good for this. 00:42:25.600 |
They have template Haskell and it makes it very easy 00:42:30.000 |
And it makes it very easy to wire your Haskell code 00:42:34.160 |
So in the future, you'll be able to have your off-chain 00:42:41.520 |
this beautiful interface and then it can talk 00:42:45.920 |
and you have a high degree of assurance that it's right. 00:42:49.280 |
- Is there like a Hello World program in Plutus 00:42:56.160 |
Sort of simple but not too simple, the Einstein idea. 00:42:59.960 |
- Yeah, so we did do our first Hello World program 00:43:05.880 |
But there you'd want to have the whole round trip. 00:43:10.360 |
And I think a video game would probably show it the best. 00:43:23.240 |
But your CryptoKitties, they'd live on the blockchain. 00:43:26.240 |
The whole round trip end-to-end with relatively low fees 00:43:29.080 |
and low latency and high availability of service, 00:43:36.000 |
And we'll have something like that by August. 00:43:41.960 |
What are the limits you want to put on the thing 00:43:46.040 |
When you have a less expressive model on-chain, 00:43:48.240 |
it means you can do anything you want off-chain. 00:43:50.760 |
- So you started talking about smart contracts, 00:43:52.600 |
but let's zoom back out and ask the big question here 00:43:57.600 |
is what is a blockchain and what is a cryptocurrency? 00:44:05.880 |
You're time-stamped, you're immutable, and auditable, 00:44:10.240 |
And so there's all kinds of things mankind has invented 00:44:15.080 |
that when you put some information down, it doesn't change, 00:44:24.680 |
So when you buy land or you have rights associated with land 00:44:28.000 |
like mineral rights or water rights or these things, 00:44:31.040 |
you'd like to transitively see how does it go 00:44:33.680 |
from Alice to Bob to Charlie to Jim and so forth, 00:44:43.280 |
et cetera, et cetera, the metadata that follows that. 00:44:46.120 |
Okay, well normally these types of ledgers are so important 00:44:52.420 |
And the issues are that while they can be efficient, 00:44:55.820 |
they're generally brittle to political manipulation, 00:45:04.520 |
the very first thing ISIS did is they started saying, 00:45:13.680 |
And then when peace comes, how do you unwind all of that, 00:45:18.440 |
So the power of a blockchain is that it gives you 00:45:21.240 |
a transnational way of sorting all these details out, 00:45:25.080 |
putting it all together in a place that you know 00:45:29.640 |
that even if it's inconvenient to a very powerful actor, 00:45:35.640 |
This is an asymmetry we haven't had as a society. 00:45:43.260 |
And then suddenly you have this asymmetrical thing 00:45:45.400 |
that is above them, kind of like a synthetic laws of physics 00:45:54.780 |
The second part of it is that it's auditable, 00:45:59.500 |
meaning that instead of saying only the high cleric 00:46:02.680 |
or the president or some very special club of people 00:46:13.280 |
Like imagine a tax system where the ProPublica 00:46:16.040 |
just leaked the taxes of all these different billionaires 00:46:21.320 |
Well, imagine a tax system where that's just done by default 00:46:24.680 |
or other social systems where this type of information 00:46:29.180 |
So it's tremendously useful, this type of structure 00:46:32.800 |
and all kinds of things, medical records, supply chains. 00:46:35.740 |
Just a good thought experiment is I travel a lot, 00:46:38.440 |
I've been to 52 countries in the last five years. 00:46:48.920 |
"Hey, I need all of Charles's medical records. 00:46:53.560 |
"but I need it to treat him 'cause he's quite ill." 00:46:58.740 |
"I don't know you, I can't give you his records. 00:47:01.560 |
"Oh no, he's unconscious in the hospital, can't do it." 00:47:04.200 |
Well, a broker system that would allow the movement 00:47:12.680 |
that runs on top of blockchain 'cause it turns out 00:47:27.280 |
And the very same mechanics that would ensure 00:47:36.200 |
And again, you can either be completely transparent 00:47:56.380 |
you know that people aren't gonna manipulate the timestamps 00:48:03.200 |
- But the way, if you think about physics and the universe, 00:48:08.480 |
the ledger of physics in a way where like a lot of people 00:48:16.080 |
Is there something you can say about the task 00:48:19.660 |
of updating the ledger when a bunch of people 00:48:28.240 |
there has to be some mechanism to decide who's in charge. 00:48:33.680 |
and proof of stake does and all these other systems. 00:48:35.800 |
And you break them down to basically three steps. 00:48:37.840 |
And so we'll use Eve for kind of step number one. 00:48:42.080 |
And we're gonna use Wally for step number two. 00:48:56.720 |
- Right, and so anyway, the first step is all about 00:49:00.220 |
basically deciding who's in charge for that moment. 00:49:05.080 |
the heart has to beat, the metronome has to click. 00:49:09.880 |
And so generally you have this notion of a resource. 00:49:29.360 |
who basically gets to decide the order of transactions, 00:49:35.480 |
Then once that person wins, they'll make the block, 00:49:40.640 |
transmit it, and it gets validated and accepted. 00:49:45.520 |
'cause at this stage people are trying to decide 00:49:51.120 |
Now there are other ways to potentially conceive of this, 00:50:02.640 |
You can be Algorand, you can be a classic BFT protocol, 00:50:08.080 |
you can be proof of work, you can be proof of stake. 00:50:12.360 |
You have to find someone or some group to be in charge. 00:50:23.480 |
and then the network has to accept that that's valid. 00:50:28.560 |
this side will say, oh, you created a Bitcoin 00:50:30.440 |
at a thin error, you're not allowed to do that, 00:50:33.600 |
So there's checks and balances and guards all the way through. 00:50:36.600 |
There's a meta question of fairness in all of this. 00:50:39.720 |
So the proof of work people, they're kind of a cult, 00:50:52.720 |
The proof of stake people, the downside and weakness 00:51:11.320 |
can you build systems that are multi-resource? 00:51:22.200 |
In fact, the cryptocurrency space did that a long time ago. 00:51:25.240 |
There was a cryptocurrency called Peercoin in 2011, 00:51:28.040 |
and it was a hybrid proof of work, proof of stake. 00:51:34.720 |
and some of the blocks were made with proof of work. 00:51:38.320 |
You could put in like, hey, I want hard disk in my thing. 00:51:41.280 |
You can put Permacoin in or something like that 00:51:45.840 |
I want to do like a human system, like a proof of merit. 00:51:51.320 |
And each of these pools will have different adherence 00:51:54.100 |
and actors, and then you can actually balance out 00:51:57.360 |
- So as opposed to having one cult, you have many cults. 00:52:17.600 |
You have a ledger, and the ledger is just all about saying, 00:52:21.960 |
And once it's put in here, you can't turn it back. 00:52:26.880 |
and everybody can see it, or some group can see it. 00:52:29.240 |
And then you need to pick somebody to modify that. 00:52:33.120 |
all these transactions are all around the world, 00:52:40.760 |
It's like one of the most classic papers ever 00:52:44.480 |
It's been cited like 50,000 times or something like that. 00:52:58.000 |
You can say, well, if you have coins, 25% of supply, 00:53:00.920 |
25% of the time, on average, you'll be selected 00:53:03.800 |
to have the right to do this or give it to somebody else. 00:53:13.400 |
and you can weight it with these other systems. 00:53:15.760 |
And that's where kind of where everything's going. 00:53:18.000 |
We're getting to a point where we've really optimized 00:53:25.720 |
to basically build the perfect proof-of-stake system, 00:53:43.680 |
and you end up building a much more resilient system, 00:53:45.660 |
so it's not winner-take-all with one particular demand. 00:53:54.440 |
what is proof-of-work, what is proof-of-stake? 00:54:01.500 |
- Okay, so they all have the same three properties 00:54:03.920 |
of pick someone in charge, do something, and validate it. 00:54:08.840 |
for proof-of-work is you have to solve a puzzle. 00:54:11.400 |
So it's basically like buying lottery tickets, 00:54:13.600 |
and you can buy a certain amount every second 00:54:22.040 |
and some of them are you specialized hardware 00:54:28.640 |
And that's just how many tickets per second you can get, 00:54:35.380 |
to make the block, and generally you bundle the block making 00:54:44.600 |
and look for multiple block makers at the same time. 00:54:47.520 |
So there are sharded proof-of-work protocols, 00:54:56.340 |
the Avi Zahar's work and Yonatan Samlipinsky. 00:54:59.660 |
But the basic idea is you pick some collection of people, 00:55:13.020 |
"Well, if you had 25% of the hash power on average 00:55:19.540 |
Well, why don't we just introduce some randomness in 00:55:21.740 |
from some source, and then 25% of the time on average 00:55:28.780 |
But you still have to do the other two things. 00:55:33.860 |
The big difference is this step in the proof-of-work world 00:55:38.760 |
You use more energy than the nation of Switzerland. 00:55:41.500 |
And the problem with that is that you have less resources 00:55:54.400 |
because you have these vertically integrated operations. 00:55:56.820 |
I mean, not everybody can go build a mining facility 00:56:06.300 |
Not everybody has access to the patented ASICs 00:56:12.580 |
Or what if I control the supply chain for these things? 00:56:20.660 |
as we've seen historically with proof-of-work. 00:56:23.280 |
And that means you end up having a ruling class 00:56:29.380 |
Proof of stake, if you design the parameters correctly, 00:56:32.300 |
you actually get more decentralized over time. 00:56:43.140 |
For example, Bill Gates, when he started Microsoft, 00:56:54.140 |
You have more and more and more people coming in. 00:57:01.180 |
And this is what we did with Cardano and Ouroboros. 00:57:07.940 |
It's like a forcing factor that tends to accumulate 00:57:12.220 |
So you can set it to 200 and then 500 and 1,000 and so forth. 00:57:16.140 |
But the basic idea is as the price of ADA goes up, 00:57:19.260 |
you make K larger, and then you end up, in practical terms, 00:57:23.100 |
having a larger and larger set of actors making blocks 00:57:28.620 |
And the other good thing is this is a virtual resource 00:57:32.960 |
which means it's portable by the click of a button. 00:57:38.980 |
and it looks like they're moving in that direction. 00:57:44.060 |
or trying to figure out how the hell do I move miners, 00:57:46.660 |
'cause they have these huge data centers they've constructed. 00:58:03.480 |
it makes a lot more sense to try to tie your security 00:58:06.080 |
to something endogenous, something within the system, 00:58:16.480 |
- Well, so people, maybe you could sort of play 00:58:19.640 |
"What is the strength of proof-of-work system?" 00:58:21.560 |
Because some people would argue that proof-of-work has, 00:58:41.760 |
So the problem was that the engineers kind of led 00:58:55.520 |
like the random number generation wasn't good. 00:58:57.560 |
They had grinding attacks and nothing at stake 00:59:09.680 |
Nico Leonardis and Agulhos Gassis, our chief scientist. 00:59:17.320 |
But basically all it did is just modeled a blockchain 00:59:22.480 |
well, what does proof-of-work actually do for you? 00:59:29.640 |
So if Eve joins the network and Wally joins the network 00:59:49.480 |
Until we published Ouroboros Genesis in 2018, 00:59:52.900 |
you actually needed to solve that in proof-of-stake 00:59:58.840 |
watching the whole thing and creating checkpoints. 01:00:02.600 |
they would only be able to distinguish between a chain 01:00:07.800 |
So you have to do a lot of really wonky, crazy math 01:00:14.800 |
But there's a lot of properties of proof-of-work 01:00:16.640 |
that were super hard to replicate and emulate 01:00:20.960 |
Macaulay kind of revolutionized the whole VRF thing. 01:00:31.960 |
We also did the very first proof-of-secure protocol. 01:00:34.760 |
But that was six years of work and like 12 papers. 01:00:59.940 |
and they have roughly the same market cap and hash rate 01:01:15.080 |
to come and destroy one chain and short sell the asset. 01:01:26.780 |
And they can make just as much profit mining this 01:01:35.180 |
So that's something that proof-of-stake doesn't suffer from 01:01:42.180 |
and you have to have ownership in that system. 01:01:48.060 |
it would just be a net loss for the most part, 01:01:53.140 |
So there's always trade-offs in all these things. 01:01:55.060 |
And this is why I like this concept of going one to end 01:02:02.180 |
If the proof-of-work is useful, not wasted computation, 01:02:08.780 |
Right now there's no incentives in the system 01:02:10.440 |
for you to run peer-to-peer nodes and to share data. 01:02:13.560 |
but if you're running like Amazon Web Services 01:02:17.060 |
it could cost you like $5,000 a month in bandwidth 01:02:19.740 |
just to run a full node or something like that. 01:02:22.500 |
So then your system will centralize along the weakest link, 01:02:26.120 |
whether it be the storage layer, the computation layer, 01:02:31.160 |
So if you can incentivize the resources differently, 01:02:39.500 |
- So how does Cardano solve the consensus problem? 01:02:43.420 |
Do you tend to eventually wanting to solve it 01:02:46.820 |
in the hybrid approach of proof of stake and proof of work? 01:02:54.020 |
You know, the problem with the people in the Ethereum side 01:02:58.940 |
what they do is they try to do everything all at once 01:03:03.260 |
and they keep going until they run up against the wall 01:03:09.340 |
and that's why we brought in proper academics 01:03:16.580 |
and these other, this really hard work with those guys. 01:03:19.700 |
And they'd already been humiliated and yelled at, 01:03:25.100 |
"I'm not smart enough to solve the big problem, 01:03:33.660 |
"that you can compose your way up to a working system?" 01:03:43.740 |
of how do you iterate and improve that system. 01:03:52.340 |
"What's the security properties of this stuff? 01:03:59.820 |
And that protocol was like a synchronous system, 01:04:08.040 |
Then Paros came out, and then suddenly we relaxed things. 01:04:20.620 |
and Paros was Eurocrypt, and Genesys was CCS. 01:04:28.940 |
that there was some merit to the work that was done. 01:04:31.260 |
Second, it solved a particular class of problems, 01:04:34.060 |
either showing the feasibility of the entire problem. 01:04:36.820 |
'Cause when I said, "Let's do the model first, 01:04:40.300 |
"Let's see if we can get a possibility theorem." 01:04:45.580 |
where you're like, "I found a counterexample." 01:04:47.260 |
It's like, "Oh, okay, this whole thing has fallen apart, 01:04:49.280 |
"'cause you have a two-line proof, thank you." 01:04:54.660 |
let's either prove it's possible in a straw man case, 01:04:57.780 |
or show that there exists an impossibility result, 01:05:00.140 |
in which case we can just abandon the entire inquiry. 01:05:03.980 |
And then, once you've gotten past that threshold, 01:05:08.480 |
What actual network conditions are you looking at? 01:05:10.900 |
Are you okay with living with an external clock, 01:05:15.300 |
How are you generating random numbers, et cetera, et cetera? 01:05:19.940 |
you're solving one particular class of problems. 01:05:23.700 |
"Probably shouldn't know ahead of time who Eve is. 01:05:26.660 |
"You probably shouldn't know who's making those blocks. 01:05:30.840 |
"But if you know ahead of time, you can attack them. 01:05:37.820 |
Also, we move from an MPC, random number generation, 01:05:41.620 |
which was great, but very heavy and very slow, 01:05:44.200 |
and you can't scale to large amounts of people, 01:05:49.760 |
'cause Algorand actually did some great work there. 01:05:53.460 |
- What are the really hard problems that you, 01:05:58.540 |
you have to solve along this chain of papers, 01:06:00.660 |
ideas, the evolution of the consensus algorithm? 01:06:03.100 |
- Yeah, not only are they really hard problems, 01:06:04.980 |
they actually require different cryptographers, 01:06:06.740 |
because you're moving from mathematician-style 01:06:12.620 |
and the people that start as proper mathematicians, 01:06:14.900 |
and they really love theory, and that's their thing, 01:06:19.580 |
and they're beautiful, to practical applied work, 01:06:23.660 |
where you're saying, "Okay, now this is something 01:06:30.100 |
So that transition from GKL to Ouroboros Classic to Proust, 01:06:35.100 |
I'd say the biggest leap was Classic to Proust, 01:06:40.920 |
that would only work in a consortium chain, like Fabric, 01:06:43.620 |
to a system that would actually work, and is working. 01:06:47.920 |
$50 billion cryptocurrency and all these people. 01:06:50.660 |
That was a huge leap, but that paper alone wasn't enough. 01:06:56.920 |
because we said, "Well, hang on a second here. 01:06:58.860 |
"Not everybody's gonna be online all the time 01:07:06.880 |
you have these stake pools, what the hell does that mean? 01:07:09.300 |
And so this is a beautiful interdisciplinary notion 01:07:12.880 |
that layers computer science and biology together. 01:07:16.020 |
And the minute that complexity starts going up, 01:07:20.400 |
So you go from single-cell organisms to organisms 01:07:23.220 |
where you have eyeballs and brains and hearts, 01:07:26.020 |
and each of these tissues do different things. 01:07:28.100 |
Well, analogously, complex distributed systems 01:07:32.060 |
You move from the single-celled thing, Bitcoin, 01:07:35.780 |
they all have the same rights and responsibilities, 01:07:39.460 |
but you're only as good as your weakest link, 01:07:40.980 |
you're only as capable as whatever the basic cell can do, 01:07:45.060 |
to a specialized system where you start having 01:07:50.980 |
So you introduce this concept of the stake pool, 01:07:57.640 |
You're probably gonna have extra relay infrastructure. 01:08:00.120 |
There's a trust relationship where you don't own the ADA, 01:08:03.660 |
but you have a right to use it for something, 01:08:05.840 |
and a person's made that choice to endow you with that. 01:08:08.520 |
The minute that you introduce specialization, though, 01:08:14.420 |
and then you start having to think really deeply 01:08:33.420 |
to delegate their staking capabilities to others. 01:08:36.740 |
Can you describe a little bit how this works? 01:08:40.540 |
So you register a pool, and then the pool is there, 01:08:46.220 |
and they're actually registered on-chain with a certificate, 01:08:50.660 |
you can see all of the pools that have registered. 01:08:53.340 |
There's over 3,000 of them now inside the system, 01:08:57.660 |
and it shows you all the metadata that's in the certificate 01:09:02.220 |
It's called RATS, you know, king of the RATS. 01:09:05.220 |
So you can see all the stuff that's described there, 01:09:15.700 |
I'll give you 90 and I'll take 10 or something like that, 01:09:24.320 |
and then you have now given your staking rights 01:09:30.940 |
And then the stake pool's weight in the system 01:09:37.300 |
And then we have this other limiting factor, K, 01:09:44.340 |
So you kind of go up and up, and then eventually caps, 01:09:47.720 |
you get no rewards beyond a certain threshold. 01:09:57.060 |
and you have to actually model the game theory out 01:09:59.140 |
to understand where those parameters should be set, 01:10:06.580 |
named Elias Kasupis, who's an algorithmic game theorist. 01:10:22.900 |
- So not everybody delegates to the king of the rats. 01:10:27.060 |
- How does it feel to be royalty, by the way? 01:10:33.280 |
- I'll take it, 'cause I think it's the kindest thing 01:10:45.500 |
- No, it's the starting, and then I was getting back 01:10:48.020 |
to my original point that you build things in iterations. 01:10:53.060 |
is an invitation for 10 more sexy, fascinating, 01:10:58.780 |
We started in Edinburgh, now we're at Tokyo Tech, 01:11:06.780 |
A, 'cause we write a lot of really fascinating papers, 01:11:09.100 |
but B, because we're focused on all these really cool, 01:11:15.060 |
where we don't even know where to publish the paper, 01:11:17.060 |
'cause you'll have this paper where there's like 01:11:20.380 |
working with systems guys, working with economists, 01:11:23.940 |
and you have this Frankenstein paper monster, 01:11:33.700 |
- So the sexy problems multiply exponentially. 01:11:38.980 |
where we're starting to work on refinements to the system 01:11:42.040 |
rather than fundamental things that are like, 01:11:44.940 |
if you don't solve it, the system just simply doesn't work. 01:11:47.460 |
For example, you can run all of this with NTP 01:11:49.900 |
as your clock server, but you actually can create 01:11:52.700 |
We wrote a paper called "World Wars Chronos" for that. 01:12:18.120 |
This work occurred at University of Illinois, 01:12:31.020 |
creates a lingua franca for what you're trying to solve 01:12:38.360 |
you know nothing about, have read your papers, 01:12:40.480 |
cited your papers, and start writing their own papers, 01:12:43.020 |
either to try to attack and destroy things you've done 01:12:45.700 |
or to build on top of the things that you've done. 01:12:48.060 |
- So people are trying to figure out ways to attack this. 01:12:52.580 |
trying to build up the-- - And I don't have to pay 'em. 01:12:56.100 |
- It's fun to try to destroy, and that's how we grow stronger. 01:12:59.860 |
There's plenty of people that they've gotten tenure 01:13:04.820 |
You go to CCS every year, there's some guy there, 01:13:06.980 |
and he's having a hell of a time making Intel cry. 01:13:13.300 |
and in terms of the big picture of cryptocurrency 01:13:15.540 |
real quick, and ask the question, what is Cardano? 01:13:19.100 |
We started talking about already the consensus algorithm 01:13:21.540 |
Cardano takes, but maybe when you look at the history books, 01:13:33.340 |
And in general, what's the vision in the context 01:13:52.700 |
- You know, I always term Cardano as like a FOSS, 01:13:55.420 |
a financial operating system, and nobody likes it, 01:13:57.980 |
and everybody picks on me for using that term. 01:14:00.100 |
But basically the idea is that the world runs on systems, 01:14:04.420 |
You have the BIS and SWIFT and all this other stuff. 01:14:08.060 |
And these protocols allow you to move value around 01:14:13.460 |
and allow you to express yourself in some way. 01:14:28.380 |
or at least what I do and what my company does, 01:14:30.620 |
is we think a lot about how do we build a universal protocol 01:14:34.220 |
that does all the stuff the legacy system has, 01:14:43.820 |
You have a situation where the guy in Senegal 01:14:46.280 |
has the same access that I do, or Bill Gates does, 01:14:56.780 |
But then the question is, well, is Cardano the solution? 01:15:08.860 |
And in many ways, the work is never quite done, 01:15:25.660 |
of who's in charge and how do you pay for things? 01:15:30.020 |
so it always has the ability to have a budget. 01:15:35.780 |
Well, the same things that allow you to move money around 01:15:39.340 |
So you can do e-voting with the type of system, okay? 01:15:48.300 |
You can actually create a game where the rules 01:15:50.080 |
can be voted on and changed in the game itself. 01:15:57.460 |
but this thing still has to touch the legacy world. 01:16:04.580 |
You need a Wi-Fi or a Bluetooth moment for the industry 01:16:07.140 |
'cause nothing understands each other right now. 01:16:08.860 |
All these chains are blind, deaf, and dumb to each other. 01:16:17.300 |
with large, multinational, trillion-dollar companies 01:16:21.220 |
We've never really done that with one master protocol 01:16:25.500 |
The closest approximation is probably BitTorrent. 01:16:38.820 |
And like any good system, we wanted it to be self-evolving. 01:16:42.620 |
So once you get the philosophy out of where's the target 01:16:44.920 |
of what do you want to do, then you build a community. 01:17:00.500 |
It doesn't need founders to be able to get there. 01:17:11.660 |
for the 105 papers, and that set keeps growing 01:17:15.260 |
It'll probably be two, three, 400 different scientists 01:17:28.780 |
the cultures change, but the process stays the same. 01:17:36.900 |
It's the same situation entering marketplaces. 01:17:44.820 |
and we're dragging that digital identity into the system, 01:17:51.660 |
in order to be able to do business with them, 01:17:53.280 |
give them credit, be able to give them economic agency, 01:18:00.260 |
They're gonna deploy applications on that system. 01:18:13.600 |
to a point where the system is competitive for it. 01:18:23.740 |
Just kind of knock it over and watch the cascade, 01:18:28.420 |
until eventually it gets to where we need to go. 01:18:31.260 |
And what I was trying to think about with Cardano 01:18:43.860 |
where eventually it can grow to fill that need, 01:18:46.200 |
not out of charity, but out of self-interest. 01:19:20.220 |
And what's really cool is there's competition 01:19:24.800 |
They're saying, how do we de-dollarize the world 01:19:30.220 |
of how to apply this technology and bring it in. 01:19:33.480 |
they're building in parallel called social credit. 01:19:38.320 |
Ours is bottom-up and you own your own identity, 01:19:43.980 |
but they're both trying to do the exact same thing. 01:19:46.140 |
And it's gonna be this clash of cultures at some point 01:19:49.020 |
between the open FOSs and the top-down authoritarian FOSs 01:20:02.740 |
- Yeah, and most likely it would be AIs battling 01:20:06.660 |
So I really like this idea of financial operating system, 01:20:32.480 |
of managing your resources in an intelligent way. 01:20:36.160 |
And you could call it SOFI too, social finance. 01:20:38.520 |
You know, the nomenclature hasn't exactly been settled 01:20:44.420 |
But basically the concept is that you have something 01:20:48.800 |
and you wanna be able to store it, transform it, 01:20:54.020 |
And the question is what rails do you do that on? 01:20:56.740 |
Do you do those on centralized, controlled rails 01:21:01.280 |
that are basically able to live off those things, 01:21:06.040 |
Or do you wanna do it on rails where there's no middleman? 01:21:11.320 |
and if you invite more people to the transaction, 01:21:17.560 |
the resendetra of our space, that the reason we exist 01:21:20.560 |
is to try to figure out a way to kill the middleman 01:21:30.280 |
some amazing things in the last 10 years as an industry. 01:21:32.780 |
Like we've kind of created the financial stem cell. 01:21:42.560 |
The same architecture can do stuff at the nation scale, 01:21:50.040 |
- But sort of in that whiteboard presentation, 01:21:54.960 |
you gave these three phases, and you're kind of implying 01:21:58.920 |
that there'll be N phases to this whole evolution, 01:22:08.780 |
how would you compare Cardano versus Bitcoin? 01:22:12.340 |
Sort of where we are, how we started, and how it's going. 01:22:21.340 |
'cause I think it really helps people understand 01:22:27.740 |
And so I said, well, the first generation is Bitcoin. 01:22:30.040 |
Really, the problem Bitcoin was trying to solve 01:22:31.800 |
is saying every time we want to represent or move value, 01:22:34.860 |
we need some sort of trusted third party to facilitate that. 01:22:44.880 |
and it doesn't require a trusted third party? 01:22:54.500 |
you can only do one type of thing, you can only push it. 01:23:05.300 |
if that was gonna work or not for a long time. 01:23:07.260 |
It took several years to build up enough network effect 01:23:09.800 |
and for Bitcoins to actually become valuable. 01:23:15.160 |
And at that point, it became a billion dollar market cap. 01:23:21.940 |
And it got to a point where there was legitimacy 01:23:23.660 |
behind the concept, and people started getting, 01:23:32.800 |
from one country to another country in five minutes. 01:23:42.940 |
they immediately want something they don't have. 01:23:50.500 |
You've landed the Falcon 9, now you're on the Starship. 01:23:53.600 |
Similarly, you say, okay, I want programmability 01:23:57.220 |
It's kind of like when JavaScript came to the web browser. 01:24:08.100 |
and these amazing, rich, incredible experiences 01:24:10.860 |
because now you can actually interact with the user. 01:24:14.420 |
Stuff runs on their side, stuff runs on your side. 01:24:21.300 |
They bolted a programming language onto a blockchain 01:24:30.040 |
you know, like sunshine and rainbows and unicorns 01:24:37.400 |
- Basically, yeah, it was like when JavaScript came 01:24:43.160 |
- I wonder who's Flash in this analogy, this metaphor. 01:24:54.100 |
There were a lot of people who tried to add some notion 01:25:02.020 |
Ethereum kind of came out as that JavaScript moment. 01:25:05.360 |
then suddenly you have ICOs and DeFi and STOs and NFTs 01:25:11.940 |
And then people start using it and they get frustrated. 01:25:16.580 |
it doesn't talk to the things they want it to talk to 01:25:21.820 |
When you're small, you have founders and foundations 01:25:25.060 |
and you have trusted actors and core developers 01:25:39.860 |
For example, we had the Shelly Summit last year, 01:25:44.860 |
Vince's a brilliant guy and he created the internet 01:25:49.940 |
Back in those days, it was such a simple, small system 01:25:56.780 |
He created a video game just to kind of test the thing. 01:25:58.380 |
You could call the guy on the other side and say, 01:26:12.900 |
and there's no group of people you can bring in 01:26:35.880 |
It's not good enough just to do things better, faster, 01:26:43.900 |
You also need a system that can govern itself 01:26:49.740 |
Some cases, ice pick an eye, divergent interests. 01:26:52.400 |
They really hate each other and they don't get along. 01:27:01.940 |
There's Tezos and Algorand and ICP and Polkadot 01:27:07.100 |
kind of brings a different blend of things that they value. 01:27:09.660 |
So it's not completely equal between scalability, 01:27:14.620 |
Some people were very focused on high throughput, 01:27:24.860 |
and they were one of the first to do a self-amending ledger 01:27:31.340 |
about how do we build a nice interoperable ecosystem. 01:27:42.960 |
with a beautiful interlocking design for all of them. 01:27:45.900 |
And again, the point is not to get it perfect 01:27:48.140 |
but rather get those just right set of evolutionary factors 01:27:54.620 |
it just self evolves into what you need it to get to. 01:28:08.860 |
quite, you know, it runs much of the internet. 01:28:17.100 |
or maybe you could say eventually everything will be HTML 01:28:28.260 |
we eventually return to generation one, Bitcoin, 01:28:39.340 |
- Yeah, the problem is your tail is wagging the dog there. 01:28:50.500 |
You still have the user and where's the app store? 01:29:07.380 |
It's so preposterous and absurd for somebody to say, 01:29:10.340 |
oh, well, I'm going to go build my application, 01:29:17.460 |
And no matter what happens, I will always use Amazon, 01:29:23.300 |
And so we're just in a unique period of history 01:29:30.860 |
But every single one of the top DeFi providers are, 01:29:35.500 |
if they're getting successful into a certain network effect, 01:29:40.380 |
So I don't really believe in a winner-takes-all, 01:29:42.540 |
maximalist view of, well, there's going to be some protocol 01:29:48.420 |
Second, the incentives aren't aligned for that. 01:29:54.980 |
where if TCP/IP got adopted over something else, 01:29:57.300 |
they'd make some big company crazy amounts of money. 01:30:05.060 |
is going to be as defined by the social components 01:30:09.100 |
as it is by the technological capabilities of the system. 01:30:12.380 |
Really what these technological capabilities gave you 01:30:14.660 |
was the ability to demonstrate a proof of concept 01:30:20.740 |
You know, when Steve and Bill came in, they said, 01:30:37.180 |
and then it was a race to how do we productize 01:30:40.260 |
And in that case, it actually took several decades 01:30:45.220 |
And I think that's what Bitcoin and Ethereum did. 01:30:47.700 |
But what's unique about this is normally you throw away 01:30:51.740 |
With these things, these are self-evolving systems. 01:30:54.060 |
So it's entirely possible to, you know, Joe Rogan quote, 01:30:57.500 |
to evolve Bitcoin to a point where it could become 01:31:02.940 |
as some amalgamation of layer one and layer two protocols. 01:31:17.840 |
that they've chosen to evolve and upgrade this system 01:31:20.560 |
are distinctly different from the ones that we've chosen. 01:31:24.280 |
And we have no idea which one's actually going to win, 01:31:29.940 |
So you're running all these experiments in real time, 01:31:32.520 |
in a giant marketplace, and maybe they'll consolidate, 01:31:40.280 |
They all coexist, and they're trillion dollar companies. 01:31:42.880 |
Some cases, with TCP, it consolidates to one standard, 01:31:55.520 |
versus the Bitcoin with layer two technologies, 01:32:02.120 |
Again, you said you can't really predict the future, 01:32:05.460 |
why one might be more successful than the other? 01:32:10.460 |
- So the problem with Bitcoin is it is so slow. 01:32:14.960 |
It's like the mainframe programming of the past. 01:32:19.680 |
is because there was so much invested in keeping it around 01:32:29.720 |
There's nothing about it from a collection of USPs 01:32:39.680 |
There's no native way of issuing an asset in that system. 01:32:44.160 |
You can't do anything that's interesting or unique there. 01:32:47.080 |
And yeah, all due respect, it's, you know, mafia. 01:32:54.000 |
You need to lose some weight. - You come to me 01:32:57.440 |
So, you know, all due respect to the Bitcoin people. 01:32:59.400 |
It's like an amazing, incredible first-generation thing, 01:33:03.200 |
and it really, we're all here because of Bitcoin. 01:33:06.480 |
But the problem is you have to upgrade the damn thing. 01:33:08.560 |
You know, just because you were a high school football star 01:33:13.880 |
you're still a high school football star in the same shape. 01:33:21.960 |
that I think Bitcoin can make at the protocol level 01:33:28.240 |
Like if they wanted to keep Nakamoto consensus, 01:33:30.520 |
proof of work, there's ways to enhance proof of work. 01:33:33.280 |
I mean, Minkins-Seer did this with Bitcoin-NG. 01:33:40.320 |
and you don't compromise the fundamental security assumptions 01:33:46.040 |
Blockstream created a language called Simplicity. 01:33:50.480 |
and we did this with Cardano with the extended UTXO model. 01:33:59.640 |
but then suddenly you can now do DeFi and other things. 01:34:06.200 |
and we're just gonna build all this layer two stuff, 01:34:08.760 |
which is usually highly fragile and centralized, 01:34:17.840 |
and a MasterCoin guy, hanging out in those circles. 01:34:20.240 |
He was trying to innovate and do things in Bitcoin, 01:34:24.880 |
that he started diverging and going and doing things 01:34:29.080 |
I knew the MasterCoin guys, JR, all these people. 01:34:36.800 |
and anything they did, the developers would attack them. 01:34:42.160 |
It was a holy war any time you wanted to evolve. 01:34:53.640 |
even correcting obvious downsides in that system. 01:35:04.200 |
but the community there is completely different in culture. 01:35:09.040 |
They love upgrading, sometimes a little too much. 01:35:17.280 |
Bitcoin or Ethereum, I would say nine times out of 10, 01:35:20.280 |
Ethereum is going to win the fight against Bitcoin 01:35:25.160 |
But obviously we're here and a lot of other people are here, 01:35:41.040 |
what incentive does the system have to evolve? 01:35:44.000 |
And when you look at things like Android and the App Store 01:35:53.760 |
So if I had to look at the trajectory of this thing, 01:35:57.640 |
it's probably gonna have millions of applications 01:36:01.680 |
because that's the way the system was constructed. 01:36:16.500 |
I was in Miami at this Bitcoin conference there. 01:36:35.480 |
okay, first, why would anybody wanna join that? 01:37:08.100 |
When I joined the Bitcoin space way back in the day, 01:37:17.740 |
And then it just kind of went all these different directions 01:37:20.020 |
and nobody can actually tell you what Bitcoin is for. 01:37:31.760 |
It's like nobody really knows the philosophy. 01:37:33.680 |
There's no direction and they say, but don't worry. 01:37:36.920 |
Just buy and hold and everything will sort its way out. 01:37:44.400 |
So trying to replace that particular physical material 01:37:46.880 |
that is gold and transfer into the digital space. 01:37:55.280 |
'Cause you don't really need with a commodity, 01:38:07.280 |
- Well, the idea is to try to come up with technology 01:38:16.040 |
Something with a high throughput transactions. 01:38:18.040 |
- And have we ever built a successful banking credit system 01:38:22.360 |
Never, it never works because there's too much volatility 01:38:26.720 |
Would you take a gold denominated loan for something? 01:38:29.000 |
If somebody says, all right, I'll give you five bars of gold 01:38:35.040 |
Nobody would know in five years where they come out 01:38:42.720 |
the actual economy is operating outside of gold. 01:38:48.200 |
- So you have to go back to the gold reserve. 01:38:51.880 |
It didn't really work in a modern global economy. 01:38:53.760 |
We had the Brentwoods Agreement and all these other things. 01:38:59.920 |
But if that was really in earnest where they want to go, 01:39:03.880 |
well, how do we make it easy for layer two protocols 01:39:12.200 |
Why is it taking so long to do all of these obvious upgrades 01:39:17.240 |
Also NIPA Pals, non-interactive proofs of proof of work. 01:39:23.680 |
where certain puzzles are more special than other puzzles. 01:39:26.920 |
And by noticing that, you can create these beautiful proofs 01:39:29.720 |
that allow you to have side chains and like clients. 01:39:32.000 |
It's not compromising security of the system. 01:39:34.120 |
It's just something you get for free with proof of work. 01:39:38.120 |
There's derivative work fly client floating around. 01:39:43.760 |
if you really are serious about this whole lightning 01:39:53.040 |
I read Ludwig von Mises' work and Murray Rothbard's work. 01:39:56.120 |
I love what Hayek had to say about private currencies. 01:40:04.120 |
And the excuse they use is, well, no, we don't 01:40:08.320 |
And because we're decentralized, we don't need that. 01:40:11.360 |
As if there's some sort of guiding swarm intelligence 01:40:17.960 |
But then you ask, well, how do people measure 01:40:21.640 |
Is it the fact that they've actually achieved 01:40:23.700 |
lots of transactions and lots of actual economic activity 01:40:33.200 |
And that's the only thing they pay attention. 01:40:37.960 |
Not because somehow Bitcoin got so much more adoption. 01:40:46.000 |
- So first of all, let me state that Charles, 01:40:51.400 |
The bias that comes in for the record, I want to say, 01:40:55.360 |
that I have heard, 'cause you mentioned the mafia, 01:40:58.040 |
that you prefer good fellows over the godfather. 01:41:00.840 |
So a man who prefers good fellows over godfather, 01:41:09.560 |
- I actually had to think about that one for quite a bit. 01:41:12.720 |
- Oh, come on, Joe Pesci was so good at that. 01:41:15.120 |
I also love Casino and those big glasses on De Niro. 01:41:22.000 |
But let me ask you about the Bitcoin conference, 01:41:31.520 |
and kind of turmoil and all those kinds of things. 01:41:35.200 |
And you were there in, what is it, hot and humid Miami? 01:41:41.480 |
So what do you make of the community of Bitcoin 01:41:49.120 |
- What makes me sad is I remember the old Bitcoin community 01:42:02.200 |
They just really loved this idea of decentralized money. 01:42:06.000 |
They loved this idea of decentralization in particular. 01:42:09.160 |
And you could strike up a conversation with everyone. 01:42:13.400 |
But what was really fun is you could really get 01:42:26.640 |
Everybody was just trying to do some really cool stuff. 01:42:42.440 |
in just 11 years to, I'm in Mongolia riding camels 01:42:46.560 |
and the camel herder has Bitcoin in the Kobe desert. 01:42:50.120 |
So that's telling you that's a pretty pervasive technology 01:42:52.560 |
if you have that level of adoption that quickly. 01:42:59.000 |
Half of the vendors at the conference were like watches 01:43:14.320 |
like I remember one of the first conferences, 01:43:20.360 |
ironically in Miami, there was a Bitcoin help center booth. 01:43:24.920 |
Dima ran it and a few of the other Bitcoin OGs ran it. 01:43:29.280 |
like Jeff and others, who were there and sat at the booth. 01:43:45.520 |
And again, again, it was always the same thing. 01:43:47.560 |
Look how much money all these people have made. 01:44:07.080 |
I had 80,000 students and they would email me. 01:44:09.920 |
I got 5,000 emails before I stopped answering them. 01:44:12.960 |
And everyone come in and ask me some question 01:44:15.720 |
about something, sometimes arcane, sometimes trivial. 01:44:24.920 |
And there were some amazing people in the early days, 01:44:40.760 |
He said, "Oh, wow, Bitcoin can come to a cell phone. 01:44:48.740 |
over the whole big block debate that happened. 01:44:54.920 |
So I don't know, the culture's changed a lot. 01:45:08.280 |
and he created this beautiful project called Ergo. 01:45:10.360 |
To me, that is the spiritual successor to Bitcoin. 01:45:13.520 |
Ergo is really special 'cause it has the same culture, 01:45:17.400 |
And the technology is kind of like a natural evolution 01:45:20.380 |
of what you would do if you knew about Bitcoin 01:45:36.280 |
So Alex tried to create non-also-sorcible puzzles 01:45:40.880 |
And there's all these other beautiful little things. 01:45:57.960 |
And he gets legitimately excited when he meets somebody 01:46:10.240 |
and they would just say, how can I help, what can I do? 01:46:12.560 |
And it was all about coming up with some cool new thing 01:46:19.120 |
- So quite a few people are excited about Ergo 01:46:30.200 |
as part of this pool for the consensus mechanism? 01:46:36.440 |
And there's a lot of evolution Ergo has to go through. 01:46:46.880 |
They ironically purchased a lot of Apple computers 01:46:52.720 |
and Microsoft was moving towards the PowerPC, 01:46:56.640 |
So at that time, the largest order of Mac computers made 01:47:04.240 |
So we said, well, we have this extended UTXO model. 01:47:06.800 |
The only thing that's sufficiently close to it 01:47:09.480 |
where we can beta test contracts is actually with Ergo. 01:47:16.360 |
'cause we were doing things in a slightly more rigorous way 01:47:26.760 |
When we said, hey, we're coming here to work and build, 01:47:33.960 |
and he had this lovely project called ScoreX, 01:47:40.520 |
And if you want to do prototyping or academic research, 01:47:46.240 |
and transaction layer from each other in just the right way 01:47:49.680 |
so that you can make it modular and mix and match things. 01:47:56.760 |
like proof of work to another proof of work and so forth. 01:47:59.360 |
So we loved having that kind of IP sitting around 01:48:02.520 |
'cause it gave us the ability to kind of play around 01:48:04.760 |
with ideas in a matter of weeks instead of months or years. 01:48:07.600 |
And then he just took that concept and he gave it away. 01:48:15.120 |
And I think there's two or three other cryptocurrencies 01:48:18.440 |
And then Alex took that and built Ergo from it. 01:48:23.640 |
where there was overlapping technology with Ergo, 01:48:28.960 |
was so open and friendly, it was just a no-brainer. 01:48:31.360 |
Just go in and start building some things there. 01:48:35.640 |
the whole Sigma protocol idea is very different, 01:48:48.080 |
especially as we start moving closer to this idea 01:48:58.840 |
And basically, you get these concise representations 01:49:07.800 |
So there's a lot, I'm not doing the topic justice, 01:49:10.200 |
there's a lot more to it, but that's the basic concept. 01:49:20.940 |
you don't want to have a situation where I have to run, 01:49:32.120 |
that gives you the state of the system quickly. 01:49:34.320 |
And then you're saying, okay, I now know how to, 01:49:41.400 |
So he just found a more compressed representation of it. 01:49:45.480 |
What matters is there's a whole beautiful field 01:49:51.180 |
And it was never once linked before into our industry. 01:49:55.160 |
The brilliance of Alex was to actually realize 01:49:57.160 |
you could do that and pull those things together. 01:50:01.360 |
but by no means is the only guy that does this stuff. 01:50:03.840 |
There's actually other approaches in verified computing 01:50:08.920 |
Like my favorite came out of Microsoft research 01:50:17.440 |
that you have these computer science problems 01:50:19.800 |
like hashing where you can do all this computation. 01:50:27.360 |
you found this magic number that you can verify 01:51:06.960 |
Well, Microsoft actually wrote a paper on how to do that. 01:51:10.360 |
So that's another example of these types of things, 01:51:13.460 |
where instead of doing the computation on chain 01:51:16.000 |
or trying to create some sort of replicated machine 01:51:20.480 |
okay, only thing I'm going to use the blockchain for 01:51:26.120 |
and any person in the world can do the problem 01:51:33.400 |
You trust the proof and the proof is deterministic. 01:51:44.240 |
to turn it from a replicated to distributed problem 01:51:48.480 |
to I'm checking that the work was done correctly. 01:51:51.000 |
And all of a sudden we're back to the P equals NP thing 01:52:01.680 |
- Right, and also do you want complete determinism 01:52:05.800 |
'Cause if you relax that requirement a little bit, 01:52:07.720 |
then suddenly actually you have a broader class of things 01:52:14.160 |
There's a paper titled the Extended UTXO Model. 01:52:33.160 |
At the same time, these two public blockchains 01:52:44.440 |
explicitly to facilitate more expressive smart contracts. 01:52:51.100 |
including that its semantic model stays simple 01:52:57.240 |
This raises the question of whether it is possible 01:53:01.480 |
while keeping the semantic simplicity of the UTXO model." 01:53:13.160 |
And what is the idea of the extended UTXO model? 01:53:17.680 |
- So I guess the easiest way of visualizing it 01:53:19.520 |
is that UTXO is kind of like cash register accounting. 01:53:22.720 |
So, you know, let's assume you don't have credit cards, 01:53:25.960 |
And so when you go and buy some milk and potatoes 01:53:51.000 |
So that's kind of what UTXO is all about in a nutshell, 01:53:56.480 |
and your outputs will be the 17.50 that goes to them, 01:53:59.960 |
and then the remaining change that goes back to you. 01:54:05.520 |
is that the way it was implemented with Bitcoin, 01:54:08.160 |
there was no notion of how do we run complex predicates, 01:54:22.840 |
Like, "You only get this if I mow your lawn on Tuesday," 01:54:26.000 |
or, "You only get this if some event happens, 01:54:33.340 |
So you need some notion of programmability with it. 01:54:38.920 |
how could we improve the expressiveness of the system? 01:54:43.560 |
is you can go to a different accounting model, 01:55:00.240 |
So Ethereum kinda works in that bank accounting system, 01:55:02.760 |
where you send messages, you send transactions, 01:55:07.180 |
and so you can trigger programs the same way. 01:55:15.540 |
"and instead of saying it's just a digital signature, 01:55:25.940 |
"and the big difference is local versus global." 01:55:28.920 |
So in the case of UTXO, your scripts are your concerns. 01:55:34.800 |
has no bearing or impact on the other cash registers. 01:55:39.560 |
you have to know the state of the entire banking world 01:55:46.700 |
you have to know those funds are actually there, 01:55:50.060 |
So when you have a global state for a program, 01:55:55.380 |
and so you have to build all these mechanisms 01:56:02.100 |
and you're kinda in this nice Goldilocks zone 01:56:03.900 |
between what Ethereum did with an account-style model 01:56:22.220 |
Could I actually take something expressed in one structure 01:56:28.820 |
So we wrote a paper, it was called "Chimeric Ledgers," 01:56:32.660 |
extended UTXO, and accounts are somewhat similar, 01:56:36.380 |
in that you can map things that happen in one system 01:56:40.380 |
the properties are preserved between the two. 01:56:42.500 |
So in practice, what's nice about extended UTXO 01:56:45.700 |
is that you can put infrastructure on top of it 01:56:50.380 |
relatively similar to the development experience 01:56:54.980 |
but you don't have to worry about this global state. 01:57:08.300 |
is exactly what I expect to run in the system. 01:57:11.280 |
When you have a concept of this mutable global state 01:57:18.780 |
So you may misprice things and the contract will fail. 01:57:23.940 |
So you get a lot of advantages with this particular model. 01:57:26.300 |
The downside is that it's a little bit less expressive 01:57:34.860 |
But again, how you resolve that is you kind of build 01:57:52.740 |
And so they're all talking about smart contracts as well 01:57:55.380 |
and they would like to continue working in the UTXO model. 01:57:58.620 |
So if you're a Bitcoin contract developer or other things, 01:58:04.120 |
and that's still a fairly large part of the mindshare 01:58:14.360 |
from cash register accounting or bank accounting. 01:58:18.280 |
But we felt this was kind of the best first step to go into 01:58:22.400 |
'cause we started with something very familiar 01:58:30.900 |
This concept of immutability and these things 01:58:39.600 |
that you have to kind of manage as you break up the system. 01:58:42.680 |
Now in practice, what does this mean to the developer 01:58:46.860 |
and when they actually start real writing an application? 01:58:54.740 |
but in practice you can still do the same things. 01:59:05.320 |
You can do a stable coin, you can do an Oracle, 01:59:10.060 |
It's just it has to be done a little differently 01:59:12.140 |
than the way that you would do it in an account style model. 01:59:14.340 |
Just like you could run an application in Java, 01:59:21.380 |
and the canonical way of looking at things is different. 01:59:47.640 |
- That's the way I've been doing it all these years. 01:59:57.120 |
- Okay, so anyway, you need the outside world 02:00:07.160 |
You need the outside world to make your system useful. 02:00:13.040 |
usually involve human beings and information streams 02:00:25.500 |
how they happened, who won, who lost, et cetera, et cetera. 02:00:32.880 |
This is why we love our relationship with Wolfram 02:00:34.880 |
'cause if you know, one of the things you'll know 02:00:39.340 |
Every email, every communication, every interaction, 02:00:52.760 |
it's a simulacrum of the way his mind thinks. 02:00:57.480 |
oh, how many shipwrecks have happened in Florida 02:01:08.200 |
I mean, he has this incredible source of data 02:01:33.320 |
It basically represents the very kind of thing 02:01:41.560 |
- Right, but the only downside is it's centralized. 02:01:44.600 |
You know, and that's always the Achilles heel 02:01:46.560 |
of Wolfram is he tends to like proprietary things 02:01:50.640 |
and mostly 'cause he likes running the things 02:01:52.440 |
and then, you know, everybody can have an opinion on that. 02:01:56.280 |
The thing though is that after you've done aggregation, 02:02:07.160 |
a public key to it and it'll sign for that data feed, 02:02:09.560 |
that injection, and then somehow I'll just trust it as it is 02:02:13.360 |
or you could try to make it more complicated. 02:02:16.560 |
You could weight data feeds from different sources 02:02:18.860 |
and have some notion of truthiness or of veracity metric 02:02:23.320 |
So Chainlink is just one of many different philosophies 02:02:33.000 |
And it has a philosophy about how do you aggregate, 02:02:39.920 |
so that that process over time gets more federated 02:02:43.440 |
or more decentralized instead of centralizing 02:03:03.880 |
So it's a very interesting balance between these two. 02:03:07.440 |
And they were thinking about this stuff for a long time. 02:03:13.400 |
and that was all about using SGX to scrape things 02:03:16.680 |
and you can rely on trusted hardware to give you good data. 02:03:25.760 |
then it's very unlikely to be tampered with or manipulated. 02:03:28.980 |
And because of that, you don't have to federate it 02:03:31.540 |
or decentralize it, you can run it on a single device 02:03:36.000 |
So there seems to be a desire in that community 02:03:38.720 |
to capture more and more of the smart contract stack 02:03:49.160 |
and potentially because your trust model collapses 02:04:04.160 |
where Mr. Burns wants to turn the power off in Springfield. 02:04:06.880 |
It is the perfect analogy for information security. 02:04:11.120 |
they go through this elaborate series of doors 02:04:13.520 |
and secret passages and guard dogs and robots and shit 02:04:20.000 |
And when they arrive at the center of the plant, 02:04:21.940 |
there's like this stray dog that's inside the room. 02:04:29.160 |
And you're like, well, why the hell did you go 02:04:30.600 |
through this elaborate series of doors and things 02:04:40.660 |
You're only as good in your infrastructure model 02:04:43.320 |
And it doesn't matter if all of your computation 02:04:45.640 |
is decentralized if you're at the mercy of your data feed. 02:04:50.160 |
and break the entire security model of the system. 02:04:52.320 |
You know, okay, you'll perfectly execute the wrong answer. 02:04:55.440 |
So they say, well, if you're trusting us anyway, 02:04:57.280 |
why don't you pull more of what you're doing on chain 02:05:04.120 |
But there are many different ways you can do Oracles. 02:05:10.920 |
The minute that you admit heterogeneity in your system 02:05:14.480 |
and you start having cells like stake pools or things 02:05:19.900 |
then you can start asking the what if question. 02:05:22.540 |
Why don't you guys just also provide data feeds? 02:05:25.980 |
Why don't you guys also provide state channels 02:05:28.140 |
or payment channels or generate random numbers 02:05:36.260 |
you could probably make donuts, that type of a concept. 02:05:38.940 |
So I think that type of competition is going to be 02:05:41.980 |
very difficult for a lot of these layer two protocols 02:05:46.980 |
that aren't tightly coupled with the protocol. 02:05:49.600 |
Because the ones that are tightly coupled with the protocol, 02:05:54.520 |
They've already built a commercial reputation. 02:05:56.320 |
There's already an increasingly more decentralized set. 02:06:05.440 |
And by the way, that's just for the injection component 02:06:21.460 |
And those guys, by just cutting off those supply 02:06:26.660 |
that would cost hundreds of millions or billions of dollars. 02:06:41.800 |
You're now partnering with Wolfram, Wolfram Alpha 02:06:44.720 |
and sort of exploring this partnership of data 02:06:59.880 |
And they can be what Bloomberg is to the financial markets. 02:07:02.720 |
So you have a terminal and you have something 02:07:04.420 |
and there's always a value of at least offering choice. 02:07:11.720 |
So if we're successful, Chainlink will migrate 02:07:14.320 |
or will at least support us because they like money. 02:07:23.120 |
But you're going to have a spectrum from the desire to do 02:07:26.360 |
a completely decentralized aggregation, curation, injection 02:07:31.320 |
and veracity attestation to a completely centralized 02:07:36.380 |
You need to be able to have that whole spectrum 02:07:38.200 |
and offer that to the smart contract developer 02:07:45.840 |
So for example, the World of Warcraft example that I gave, 02:07:54.120 |
There's no sense in saying that we're somehow 02:07:56.980 |
What they're just trying to do is extend their currency 02:08:02.740 |
So the minting of that is controlled by a single entity 02:08:14.340 |
you know, Sentinel group of people within the game 02:08:16.940 |
who keep Blizzard honest, but it's completely unnecessary 02:08:19.840 |
because they can change the rules of the system arbitrarily. 02:08:22.400 |
So in that case, you're optimizing around efficiency 02:08:27.600 |
So you'd want a single feed that gets injected 02:08:32.200 |
If you look at a stable coin that's algorithmic 02:08:42.400 |
what's the price of my asset relative to some basket? 02:08:52.000 |
or maybe there's conventional Forex exchanges 02:09:01.320 |
And there's a lot more mechanics you have to put in 02:09:09.800 |
Your stable coin gets mispriced and everything goes to hell. 02:09:13.740 |
And, you know, the markets will eventually correct it 02:09:17.560 |
but anything that was built on that will fail 02:09:25.040 |
and make it as easy as possible for people to do that. 02:09:27.680 |
And then let people choose how they want to inject data 02:09:31.000 |
and what level of assurance do they need behind that? 02:09:34.080 |
And the question is, how much do you leave to the user 02:09:36.240 |
versus how much does the protocol take care of for you? 02:09:45.060 |
and they really have some bright people there. 02:09:47.080 |
And we know on the data set, they're second to none. 02:09:49.840 |
Because not only do they have it, it's computable. 02:09:51.480 |
You can do all kinds of things and manipulate 02:09:56.480 |
And we want to make sure that that's accessible 02:10:04.280 |
So if you want to build a Chainlink S competitor, 02:10:06.600 |
you know, there's other protocols you could do for that. 02:10:13.040 |
you know, like sweep the oceans with the net, you know, 02:10:20.840 |
hey, let's use trusted hardware to go read law, 02:10:37.880 |
So that's great, but you still run into the problem 02:10:42.000 |
The underlying websites still don't have any notion 02:10:51.240 |
If you have exabytes of data, what's the incentive for that? 02:11:05.400 |
you can integrate the same way you did with WolframAlpha, 02:11:27.680 |
Finally, there's money to be made with a semantic web. 02:11:32.800 |
I do wanna ask you about video games really quick, 02:11:35.960 |
'cause you've said this really interesting idea 02:11:49.600 |
- Being controlled in a decentralized fashion 02:12:01.120 |
about Diablo III, and they said Diablo II Resurrected 02:12:05.700 |
There's a lot of camps and wars on the internet. 02:12:17.040 |
But nevertheless, those items are owned by Blizzard. 02:12:23.280 |
where items are owned by the people outside of Blizzard? 02:12:28.040 |
And do you think in like a half century from now, 02:12:34.240 |
and we'll forget the physical space even exists? 02:12:44.180 |
and the creatures within the game can breed with each other 02:12:47.740 |
and create new CryptoKitties and you can own them. 02:12:58.220 |
actually have a blockchain-based representation. 02:13:00.880 |
And so whether the infrastructure that hoists up that game 02:13:05.800 |
because that ledger exists outside of the game, 02:13:09.760 |
any person can come in and replicate it, restore it, 02:13:24.120 |
and then you have a notion of the experience part 02:13:29.920 |
Almost like you do cascading style sheets or something 02:13:33.760 |
and the ownership of the underlying layer is the players. 02:13:50.440 |
at the beginning of the game buying the video game. 02:14:04.160 |
where there's an actual economy inside the game, 02:14:10.720 |
and there's people buying virtual real estate 02:14:14.720 |
actually don't have to create a lot of content. 02:14:30.800 |
- Well, I just saw recently sort of this calculation 02:14:34.280 |
that people played WoW and Fortnite for 140 billion hours. 02:14:41.860 |
- And that's without the economic incentives there. 02:14:48.740 |
will be people playing video games essentially? 02:14:58.180 |
that people would get wealthier and wealthier. 02:15:01.540 |
There's this kind of rising GDP for the entire world. 02:15:12.820 |
and the meaning we'll find is by playing video games 02:15:17.180 |
Like you can be a Bill Gates within a video game world, 02:15:19.720 |
in the digital world as opposed to the physical world. 02:15:35.780 |
Homo Deus, that's kind of like the roadmap there, right? 02:15:38.500 |
This hedonistic dystopia where everybody just lives wired 02:15:46.420 |
Ready Player One and the other one was Surrogate 02:15:54.140 |
But you know, I'm not so pessimistic in that respect. 02:16:03.740 |
it's just incredible, the latest Unreal Engine. 02:16:06.220 |
And within one or two more ticks of that clock, 02:16:25.260 |
where you've successfully traversed the uncanny valley 02:16:42.100 |
But then your knowledge that you live in a virtual world 02:16:48.980 |
So there's gonna be this kind of sad, dark industry 02:17:05.060 |
then you believe what you're experiencing is real. 02:17:16.700 |
- But it's always lurking in the back of your mind 02:17:20.660 |
That's just why the bald dude in the Matrix was like, 02:17:27.020 |
You know, he didn't wanna know he was in the Matrix. 02:17:29.060 |
- So you would take the red pill, not the blue pill? 02:17:33.980 |
It depends on how good the virtual world is, Lek. 02:17:38.340 |
I mean, isn't that what most of the beautiful experiences 02:17:40.980 |
about human life are, is forgetting for a moment, 02:17:50.280 |
You forget, like all of a sudden everything is beautiful. 02:17:53.440 |
But like the reality is you're gonna lose that person, 02:18:10.740 |
- But you know, I get what you're saying, though. 02:18:14.900 |
how do we, and goes back to the very first question 02:18:26.580 |
and that we desire to be because the real world 02:18:34.180 |
we're completely virtual, and does it matter? 02:18:43.620 |
the fact that you can live out being young, healthy, 02:18:50.120 |
Where it becomes problematic is if the vast majority 02:18:53.220 |
of society enters this virtual simulacra of reality, 02:19:03.660 |
There's no desire to do anything in the real world. 02:19:05.860 |
Innovation stops, the desire to actually do real work stops, 02:19:09.180 |
'cause you're always inside this virtual economy. 02:19:12.380 |
So I don't know, it's an interesting question, 02:19:14.740 |
but drawing it back more to where we're at today, 02:19:30.660 |
for people to escape the harshness of where they live, 02:19:33.440 |
just by evidence by how many billions of hours 02:19:49.640 |
a lot of the meatspace stuff and move it to the digital world 02:19:52.700 |
so that all the stuff we've been talking about 02:19:55.700 |
is really probably the mechanisms which take us there, 02:20:13.140 |
or even just like definitional, what is Alonzo? 02:20:16.700 |
You mentioned some fun hello world experiments going on. 02:20:22.220 |
- And how and when will Cardano get smart contracts? 02:20:26.340 |
- Yeah, so Alonzo Church is a famous, famous mathematician, 02:20:29.420 |
computer science guy, and he was a contemporary of Turing, 02:20:32.220 |
and there was like these three different views of computing, 02:20:37.860 |
and Church had lambda calculus, and they're all equivalent, 02:20:40.660 |
and they all give you the ability to build a computer. 02:20:42.840 |
So we like functional programming, so we decided-- 02:20:52.060 |
so we said, okay, Alonzo is a good release name. 02:20:54.620 |
Basically, it was bringing smart contracts to Cardano. 02:21:03.980 |
and so there's all the colors of the rainbow. 02:21:05.700 |
We start with Alonzo blue, and then white, and purple, 02:21:14.420 |
where you say, okay, everything works the way intended, 02:21:18.220 |
and we initiate what's called a hard-for-combinator event, 02:21:26.660 |
- It's like when I got my blue check mark on Twitter. 02:21:37.740 |
Well, actually, I think you can take it away, but-- 02:21:44.020 |
- But that'd be like a hard fork backwards, I guess. 02:21:50.020 |
But currently, there's a testing procedure going on 02:22:00.940 |
- Yeah, so first, you start with the Meri-era, 02:22:04.860 |
So you can do metadata and issue tokens on Cardano, 02:22:08.060 |
but you'd have limited programmability on-chain. 02:22:27.820 |
and it successfully survived going from Meri to Alonzo, 02:22:33.380 |
from one side to the other, both systems work. 02:22:40.180 |
able to run this testnet just like they run Cardano? 02:22:42.820 |
And that's what we're doing right now with Blue. 02:22:58.900 |
you go from like 50 people to several hundred, 02:23:07.060 |
It's also a devnet, so that means that people 02:23:11.500 |
and local interpreters, their smart contracts 02:23:17.420 |
So it's kind of like releasing dev kits to the Xbox 02:23:25.300 |
in anticipation of the release of the system. 02:23:29.340 |
And as long as it doesn't blow up in your face, 02:23:37.460 |
The problem is it's no longer in our control. 02:23:39.620 |
There's over a hundred exchanges that have listed Cardano. 02:23:43.760 |
There are thousands of different constituencies. 02:23:50.980 |
So you have to evolve in a very methodical way, 02:23:54.620 |
and each step of the way you bring new actors in, 02:24:03.340 |
which is the hard fork for the general public. 02:24:05.260 |
And if we've done it right, like that blue check mark, 02:24:10.660 |
They just get a little update thing, update your client. 02:24:17.460 |
in terms of like when something's this tricky, 02:24:21.000 |
goes up several orders of magnitude in terms of scale? 02:24:27.420 |
Is there, like we said, there's game theoretic aspects, 02:24:45.260 |
- You just made me realize that expression makes no sense. 02:24:53.940 |
No, I mean, there's so much that keeps me up at night. 02:24:56.780 |
You know, it's like you're in a cold sweat every day 02:25:00.540 |
'cause the other thing is you're judged as much 02:25:03.480 |
by the applications people build on the platform as you are 02:25:14.540 |
He didn't write the code, he wasn't responsible for it. 02:25:21.260 |
Ethereum is not secure, the EVM is fundamentally broken. 02:25:28.140 |
oh, well, Photoshop didn't work, fuck Bill Gates. 02:25:45.780 |
And if they go do terrible things, they're like, 02:25:47.300 |
oh man, I guess he's trying to kill all of us. 02:25:59.700 |
where you have assurance baked into the application 02:26:07.980 |
to use your Uniswap clone or whatever the hell it is 02:26:23.900 |
or like your videos or my videos are the same. 02:26:28.220 |
hey, give me some money or something like that. 02:26:41.740 |
I didn't tell them how to build things on the platform. 02:26:44.300 |
They may have tons of experience and knowledge, 02:26:47.700 |
or they could have absolutely no knowledge whatsoever 02:26:51.540 |
and they've written three lines of code their entire life 02:26:53.860 |
and they've deployed something horribly broken copy paste 02:27:03.620 |
and as the ecosystem trying to figure out standards, 02:27:07.480 |
we're setting up the Smart Contract Engineering Institute 02:27:12.140 |
And the goal there is just to create some standards 02:27:19.220 |
and know that it actually has some assurance level behind it. 02:27:24.940 |
and it's a huge information presentation problem 02:27:29.060 |
And unfortunately people who value being first to market 02:27:31.940 |
will kind of piss in the pool for everybody else. 02:27:45.020 |
And what kind would you like to see built around Cardano? 02:27:53.000 |
The point of exchange is to build you a marketplace 02:28:00.420 |
You can find a price and you can get liquidity. 02:28:02.460 |
So you got gold, you wanna turn your gold into dollars. 02:28:05.840 |
Okay, well somebody has to create a marketplace for that. 02:28:08.160 |
- So like Coinbase is an example of a marketplace 02:28:11.360 |
- But the problem is you have custodial risk. 02:28:20.700 |
Eve broke up with him and now he's really sad 02:28:29.500 |
and hack into Coinbase and steal all your gold 02:28:32.960 |
So instead of you actually being able to swap these things, 02:28:42.460 |
and said, "Oh, I don't like these exchanges anymore. 02:28:47.680 |
So you have sovereign risk, you have the risk of threat, 02:28:50.080 |
you have regulatory risk, you have the issue of banks 02:28:54.400 |
So it's been in our industry for more than 10 years. 02:28:57.280 |
Mount Gox was the most famous example of that. 02:29:17.580 |
because exchanges are generally creatures of latency. 02:29:22.020 |
You know, high frequency trading, for example, 02:29:28.900 |
just so they can front run orders over other people. 02:29:34.540 |
So the traditional Wall Street version of an exchange 02:29:37.480 |
is very centralized, very fast, very optimized, 02:29:40.400 |
and kind of behaves by a very closed set of rules. 02:29:48.960 |
because you're operating in a global systems latency 02:29:55.280 |
However, that said, there's a lot of great protocols 02:29:58.160 |
You know, Uniswap has kind of evolved a lot over the years. 02:30:03.940 |
and a lot of evolution to basically build out protocols 02:30:07.420 |
that kind of excuse some of these security problems, 02:30:10.580 |
and then also have this beautiful concept of openness. 02:30:16.500 |
when you're a cryptocurrency developer are the exchanges. 02:30:27.940 |
And they said, "Yeah, we want $5 million to do it." 02:30:33.720 |
for go fuck yourself in those email conversations. 02:30:48.480 |
So having a DEX, you don't have that problem. 02:30:52.160 |
And you basically just put the asset into it. 02:30:58.600 |
a natural market will form, market making will occur, 02:31:02.000 |
So there's no barrier to entry for that type of system. 02:31:05.160 |
The biggest existential problem for DEXs right now 02:31:10.880 |
So basically, right now, when you use Binance, 02:31:17.000 |
know your customer, and anti-money laundering. 02:31:18.960 |
So basically, who are you, and is your money real or not, 02:31:26.120 |
"Okay, I'm gonna give them a copy of my passport, 02:31:29.040 |
"and maybe they're gonna request some tax records," 02:31:34.540 |
And then that exchange is liable if that's fucked up. 02:31:44.600 |
they'll actually put the exchange out of business 02:31:52.240 |
over the last 20 years for various compliance issues, 02:32:06.440 |
and so there's no notion of compliance right now for that. 02:32:09.240 |
So a lot of regulators are coming in and saying, 02:32:11.280 |
"Oh, well, this is just a cesspool for terrorism 02:32:18.200 |
But it is what it is, you have to deal with these guys. 02:32:29.700 |
"And can we add some notion of compliance to that 02:32:33.840 |
"that doesn't require a single actor to be a gatekeeper?" 02:32:39.060 |
decentralized identifiers, that's the way to do it, 02:32:41.100 |
but it's actually the next generation of the technology 02:32:44.620 |
And who regulates that, how does that work, and so forth. 02:32:50.020 |
that end up surviving in this current environment 02:32:56.480 |
If you don't really care about the fiat side, 02:33:00.960 |
you can always do things in a shadowy, unregulated way. 02:33:08.920 |
- Can we kind of return to proof of work and proof of stake? 02:33:13.560 |
There's just so many topics I wanna talk to you about, 02:33:17.700 |
But at the Bitcoin conference, Jack Dorsey spoke, 02:33:21.440 |
I think, I believe he said, "Bitcoin changes everything." 02:33:30.140 |
I guess describing the difference between proof of work 02:33:35.100 |
What do you hope Jack Dorsey comes to understand 02:33:37.140 |
about the difference between proof of work and proof of stake? 02:33:40.660 |
- Well, I hope he understands it's just a resource. 02:33:42.860 |
That's the entire point of the video I was trying to make, 02:33:47.380 |
where you think the only way to be secure is proof of work, 02:33:49.820 |
or somehow proof of stake is less secure than proof of work. 02:33:52.900 |
I don't even know how you put those inequalities there, 02:33:55.420 |
'cause you're talking about apples and oranges. 02:34:14.280 |
it's better to have citizens usually doing that. 02:34:16.860 |
Okay, and that's the only point I was trying to make 02:34:33.340 |
It's how do we go from one to N, and what should N be? 02:34:36.380 |
You just mentioned that semantical addressable web, 02:34:51.820 |
Andrew Miller wrote it, and a few other authors. 02:34:54.460 |
I think our John Katz may have been an author as well, 02:35:02.020 |
that only works if you have large amounts of data. 02:35:05.620 |
Okay, so it's like your miners are like a hard drive, 02:35:17.020 |
Okay, so what if you throw that into your resource bag? 02:35:24.860 |
that's incentivized by the way the system works, 02:35:27.100 |
and you can balance that with a proof of stake system, 02:35:31.220 |
let's say you have proof of useful computation. 02:35:37.340 |
And what if you have a proof of useful computation 02:35:39.300 |
where maybe you can do walk stat or something, who knows? 02:35:43.180 |
well now you have three resources inside your system, 02:35:45.780 |
and those three things keep your system secure, 02:35:50.300 |
the world's largest supercomputer that's programmable, 02:35:54.260 |
the world's largest database that's programmable, 02:35:56.680 |
in addition to having a shareholder-style model 02:36:02.100 |
so people care about the appreciation of value 02:36:06.660 |
is you're a business guy, why are you betting all your eggs? 02:36:12.380 |
step away and realize that that does something. 02:36:14.940 |
It's a tool, but saws aren't the only tool in the toolbox. 02:36:18.420 |
There's hammers and screwdrivers and other things. 02:36:20.660 |
Go to end resources, and let's have a real conversation 02:36:23.500 |
about what would a world computer or a world infrastructure 02:36:34.060 |
- Well in this case, Square, more importantly. 02:36:36.420 |
Currently, if you look at Square and Cash App, 02:36:41.100 |
He is kind of all in on the proof of work idea. 02:36:48.580 |
- I guess there's no just a tip in proof of work. 02:36:57.500 |
But I'm not gonna run with that, even though I'm tempted to, 02:37:07.860 |
- I mean, he's a business guy, or at least I'd hope he is, 02:37:10.540 |
and it's not about what I want or what he wants, 02:37:16.660 |
you have a fiduciary obligation to your shareholders 02:37:23.460 |
And so if he's running a company that makes money 02:37:27.320 |
off of these things, it makes absolutely no sense 02:37:39.940 |
If we want to IPO, we kind of need to be a bit more diverse. 02:37:43.340 |
Eric Voorhees was also a maximalist way back today. 02:37:47.780 |
and all these other pieces of infrastructure. 02:38:01.540 |
And if the concern is actually legitimately security, 02:38:04.660 |
then the only question I'd ask their team is, 02:38:06.700 |
can you please provide me a definition of one? 02:38:09.440 |
Doing POW is more secure than proof of stake as a tweet 02:38:16.340 |
You need to actually come out and sit down and say, 02:38:21.380 |
What's the problems you're concerned about at proof of stake? 02:38:25.420 |
And that's why I call this maximally like a religion, 02:38:30.140 |
you know, the angels descended from the heavens. 02:38:33.460 |
Because the Bible said so, or this doctrine said so. 02:38:41.140 |
They say, no, you're challenging the word of God. 02:38:43.580 |
In this case, you're challenging the word of Satoshi. 02:38:45.980 |
And all I ask for is just what is the burden of proof? 02:38:48.340 |
We wrote the papers, we have security models, 02:38:55.420 |
In some cases, we formalize those specifications 02:38:57.580 |
with Isabel, for God's sakes, which is not easy to do. 02:39:00.900 |
And then we implemented it, and it's running in production 02:39:03.180 |
with a million users at a $50 billion market cap. 02:39:14.260 |
And you say, okay, then why do you believe what you believe? 02:39:17.220 |
And they never come back to me with an answer, ever. 02:39:21.340 |
a peer review process when he wrote the 10 Commandments, 02:39:30.020 |
Tesla, SpaceX, Elon Musk currently invest in Bitcoin, 02:39:41.900 |
- Well, if they truly care about alternative energy 02:39:43.860 |
and sustainability, carbon reduction or carbon neutrality, 02:39:47.740 |
you can't be in a system where there is no built-in mechanism 02:39:55.380 |
With proof of stake, energy consumption is a negative. 02:40:05.220 |
'cause ultimately that server cost and that energy cost 02:40:09.300 |
With proof of work, any innovation you come up with 02:40:11.980 |
to optimize power, you just build more ASICs. 02:40:16.300 |
'Cause, you know, oh, it's 30% more power efficient. 02:40:30.980 |
well, there's a lot of wasted energy in the grid, 02:40:33.500 |
and this is kind of incentivizing using that wasted energy, 02:40:37.300 |
and it's a better way of storing it than batteries, 02:40:52.540 |
The energy is a critical point for me with Tesla, 02:40:55.740 |
'cause they assert to be an alternative energy company. 02:41:02.300 |
is legitimately going to proliferate batteries, 02:41:06.940 |
then it's probably good for them to just focus 02:41:13.140 |
Otherwise, you're exacerbating global warming. 02:41:15.300 |
You're exacerbating the ecological consequences of it. 02:41:18.180 |
The other thing is Bitcoin is the least programmable 02:41:21.700 |
And if you wanna do interesting, sexy, unique things, 02:41:30.900 |
and have the vehicles start talking to each other 02:41:33.900 |
Well, imagine if you wanna build a telco coin, 02:41:37.660 |
and you wanna build an IoT layer and network. 02:41:40.340 |
There's just no real way to do that on Bitcoin 02:41:44.140 |
So you'd need fundamentally different infrastructure 02:41:46.460 |
to create such a token and regulate such a system, 02:42:05.640 |
including other branded cars, like GM cars and Fords, 02:42:08.860 |
they can now actually get data from those cars 02:42:14.380 |
or for the benefit of understanding road conditions, 02:42:23.620 |
Or do you actually wanna build infrastructure on this thing? 02:42:33.700 |
And so it makes a lot more sense to be an Ethereum fan 02:42:55.740 |
And Elon Musk and Tesla are at least a little bit curious 02:43:21.540 |
It's a Bitcoin gave Litecoin, Litecoin gave Dogecoin. 02:43:30.420 |
And then true to form, it's like nobody got the doctrine 02:43:33.540 |
and completely perverted the entire religion. 02:43:35.500 |
It's almost like the emperor of man in Warhammer 40K. 02:43:46.680 |
that it is a reasonable target for somebody to fix it up 02:43:49.820 |
and repair it, make it an interesting cryptocurrency. 02:43:54.420 |
what a modern third generation cryptocurrency 02:44:00.820 |
You know, there's the Solanas and the Harmony Ones 02:44:03.340 |
and the Cardanos, Nioses and all these other guys. 02:44:05.540 |
And they have billions of dollars and huge dev teams 02:44:09.980 |
If you're really serious about this thing sticking around, 02:44:16.780 |
the types of things you'd have to think about 02:44:18.780 |
and the types of papers that are all open source, 02:44:28.100 |
And he did mention on Twitter that he was looking 02:44:44.340 |
I'm gonna go build a battery powered car or rocket 02:44:52.180 |
You have to do series of small learning steps. 02:44:56.380 |
on the side of the beach and things like that 02:45:03.880 |
Satoshi probably spent years thinking carefully 02:45:08.400 |
and that work was a derivative of 30 years of work 02:45:11.380 |
in the digital assets space starting in the 1980s, 02:45:15.340 |
So, and then Bitcoin only did very limited things 02:45:22.080 |
So, the minute that you extend that complexity, 02:45:26.100 |
years of engineering effort that needs to be done. 02:45:34.460 |
or is it competing as a store of value against Bitcoin? 02:45:37.820 |
Now, if it's competing as a store of value against Bitcoin, 02:45:39.780 |
why the hell does it have the monetary policy it does? 02:45:42.700 |
Also, there's predatory distribution of the underlying asset 02:46:05.740 |
So, there's this existential ticking time bomb 02:46:07.800 |
that's in Doge that once the guys who are vested 02:46:12.560 |
and keep selling and ride it all the way down 02:46:20.640 |
People make $500 spare money a month or something like that. 02:46:25.040 |
And it bothers me because I see it in my community. 02:46:27.540 |
So, I live in Longmont, Colorado and I was at a restaurant 02:46:37.840 |
And she goes, "Oh, yeah, I own some Dogecoin." 02:46:50.520 |
where people have no clue what they're doing, 02:46:52.480 |
they don't really understand the supply dynamics, 02:46:55.000 |
the ownership dynamics and these types of things. 02:47:06.480 |
"these guys can't regulate themselves, control themselves. 02:47:18.720 |
And I'm just very concerned that that's a bad thing to do. 02:47:22.160 |
And that's why I've been so vocal about this topic. 02:47:33.400 |
so at least it has a value floor and it won't collapse. 02:47:42.720 |
I'm not adverse to the idea of cleaning up the code base, 02:47:51.840 |
and that code is like Litecoin circa 2012, 2013. 02:47:58.560 |
and I've got to interact with him quite a bit, 02:48:00.400 |
that combination of humor and extreme ambition, 02:48:08.400 |
And so I think that's the spirit of Dogecoin, 02:48:27.560 |
- Well, I mean, he came in the same way to rockets, 02:48:41.640 |
- But I'll challenge you a little bit on this 02:48:48.440 |
he said, "Hang on, everybody has tablets and cell phones 02:48:50.520 |
"and these other things and there's an incentive 02:48:57.920 |
So regardless if you want battery-powered cars or not, 02:49:01.240 |
every year you have billions of dollars of R&D 02:49:03.760 |
being pushed to force this capacity to evolve 02:49:10.320 |
So that was a brilliant business acumen to recognize that. 02:49:12.920 |
In the case of SpaceX, it was just an obvious question. 02:49:16.600 |
you have to throw the plane away, no one would fly. 02:49:22.440 |
that if you solve that, you've now opened space up 02:49:25.280 |
to a complete new class of commercialization. 02:49:37.280 |
He can throw a rock, he can hit 15 of these guys 02:49:43.200 |
I mean, so first, I could continue pushing back 02:49:45.920 |
on your intuition about electric cars and batteries 02:49:49.980 |
I don't think it's more obvious in retrospect 02:49:55.160 |
Because I would agree with you on the batteries front, 02:49:57.520 |
I wouldn't necessarily agree with you with the electric car 02:50:14.920 |
but it's not obvious that you can do it successfully. 02:50:19.760 |
that sounds good on paper, but to do it well, 02:50:25.320 |
And the Russians were assholes not selling any rocket. 02:50:29.520 |
Like you say, you have to do it all yourself from scratch. 02:50:33.120 |
How do you launch rockets when if you fail a few times, 02:50:39.440 |
I mean, just business-wise, I would rather build an app, 02:50:45.300 |
- You gotta give him credit, he's got boulders for balls. 02:50:49.420 |
That's a good picture. - Yeah, thank you for that. 02:50:54.680 |
I think there's not enough first principle thinking 02:51:02.540 |
But there's some aspect to which the seriousness 02:51:09.700 |
So in some way, the innovation that you spoke to 02:51:14.420 |
requires taking risks, requires not taking everything 02:51:18.220 |
so seriously, like being afraid to take those bold risks 02:51:21.260 |
in the space of ideas, not in the space of financials. 02:51:24.140 |
So in that way, I think that's one pro for Bitcoin 02:51:35.260 |
is hungry for innovation, just like as you said, 02:51:37.780 |
with some more rigor and formalism behind it. 02:51:41.740 |
And even Ethereum has a hunger for innovation. 02:51:47.900 |
I would say conservative in terms of how much innovating 02:51:50.140 |
they're willing to do, in terms of the incentives 02:51:53.100 |
they built into the systems for the evolution 02:51:57.220 |
But yeah, I mean, it's difficult to psychoanalyze 02:52:00.800 |
why Dogecoin is the thing that excites Elon so much. 02:52:04.820 |
But at the same time, there's some power to the fun. 02:52:17.540 |
is the most likely, there could be something built 02:52:22.940 |
into the physics of the universe that makes that true. 02:52:35.980 |
We like dopamine, we like these chemicals in our brain. 02:52:43.340 |
So you tend to gravitate towards work activities 02:52:46.040 |
and play activities that are enjoyable to you. 02:52:54.060 |
I can imagine he's probably having the time of his life. 02:52:56.980 |
It's the same as like taking Tesla private at 420. 02:53:01.820 |
And it's one thing when you do it with friends. 02:53:04.660 |
It's another thing when you do it with the whole industry 02:53:21.860 |
- Yeah, and this results in a regulatory event. 02:53:24.380 |
It's like, I'm the guy who has to put on a suit 02:53:26.220 |
and go to Washington and go and sit in a Senate inquiry 02:53:29.660 |
I'm the guy that just like laugh with his friends 02:53:39.300 |
On the other hand, if it brings a lot of cool, 02:53:41.220 |
new, interesting things and people into the space, 02:53:44.700 |
And so it's not universally bad or universally good. 02:53:47.580 |
And I'd like to give people the benefit of the doubt. 02:53:52.620 |
what comes about this recent surge of interest 02:53:55.260 |
and if Elon actually puts his money where his mouth is 02:53:57.660 |
and takes some of his enormous engineering talent 02:54:03.380 |
and building something in the cryptocurrency space. 02:54:07.640 |
- There's a bunch of different technical aspects 02:54:13.380 |
So first, maybe on the scaling side, what is Hydra? 02:54:17.100 |
How does Hydra compare to other different ideas 02:54:22.660 |
Main trade-offs with respect to security, UX. 02:54:27.140 |
Um, and anything else you want to talk about? 02:54:30.460 |
- You have to have a little bit more energy, Lex, come on. 02:54:51.060 |
Whether Lightning Hydra roll-ups, any of these things. 02:54:53.500 |
Really what you're trying to do is say, okay, 02:54:56.100 |
if I do it on layer one, it's slow and expensive. 02:54:58.900 |
What I'm going to do is batch something, somehow, some way, 02:55:09.480 |
some of the security guarantees of the base layer 02:55:12.620 |
and admitting a slight higher degree of centralization. 02:55:26.620 |
Meaning that instead of having the smart contracts 02:55:30.420 |
they can run on a single node, like a stake pool, 02:55:32.880 |
and their stuff is different from the other guy's stuff. 02:55:35.960 |
So you go from a system of capacity of whatever it is 02:55:40.600 |
to a system of N for the totality of all the stake pools. 02:55:44.160 |
So basically Hydra is just the next generation of that 02:55:49.880 |
with the accounting model and the layer two solution 02:55:57.780 |
had Lightning been co-developed when Bitcoin came out. 02:56:00.820 |
There would have been special provisions made in Bitcoin 02:56:05.500 |
and it would have made it very easy for you then 02:56:07.220 |
to move inside the system, outside of the system, 02:56:12.100 |
like availability, for example, or fraud resistance. 02:56:19.760 |
and this is why Hydra's novel over Lightning, 02:56:26.900 |
I want to move between Alice to Bob as quickly as possible, 02:56:31.060 |
So for example, I have a micro tipping application, 02:56:39.720 |
and people really like it, and they click tip, 02:56:41.340 |
and you get five cents or something like that. 02:56:43.460 |
Okay, so that's an example of a perfect payment application, 02:56:48.640 |
when you actually have a rich smart contract, 02:56:53.420 |
or something like that, you want to run that off chain, 02:56:55.620 |
but then there's some reconciliation on chain that happens. 02:56:59.060 |
So a state channel basically lets you do that, 02:57:20.900 |
and then eventually create these tail protocols 02:57:31.900 |
that your funds won't be lost, or locked forever, 02:57:35.360 |
There's a failure recovery mode for this type of stuff. 02:57:39.580 |
leverage what Lightning has already achieved with Bitcoin, 02:57:44.720 |
that you have a more expressive accounting model, 02:57:50.180 |
and you can put more crypto inside that thing. 02:58:03.400 |
you can check it against that proof that's rolled up. 02:58:05.860 |
And there's closely related concept of recursive snarks, 02:58:09.520 |
There's things like the Mina protocol, or other things. 02:58:11.660 |
And basically the idea is that whenever you see something, 02:58:21.820 |
So you can always check those two properties. 02:58:23.540 |
And the proof is verifiable in logarithmic time, ideally. 02:58:29.300 |
but it's very small, the actual proof is concise. 02:58:32.300 |
Okay, so they're just different boats for different floats. 02:58:39.900 |
and there's interaction, and there's service providers, 02:58:44.380 |
in the collection of things that they can do, 02:58:46.620 |
and eventually they can become interoperability networks 02:58:51.360 |
So at some point, we could modify the Bolt spec, 02:58:53.940 |
and make it somewhat interoperable with Hydra. 02:59:04.940 |
That's more of optimizing what you have within the system. 02:59:15.540 |
and you already have Lightning protocol, right? 02:59:18.740 |
And you just build a DEX that runs within that system, 02:59:21.700 |
and they can swap assets, or you can do wrapped assets. 02:59:28.060 |
- Yeah, the same thing lets you batch things on one, 02:59:34.080 |
you can eventually bridge these two together, 02:59:47.460 |
Another flaw of Bitcoin that they've never fixed. 02:59:49.900 |
- What's your thought about Layer 2 technologies in general? 02:59:53.940 |
We talked quite a bit about Lightning Network, 02:59:57.940 |
Do you think there'll be somebody that wins out, 02:59:59.860 |
or is this gonna be this kind of dynamic thing 03:00:05.540 |
- It goes back to biology, that cell differentiation concept. 03:00:08.460 |
You have to build specialized tissue to do these things. 03:00:15.320 |
it's adding a brain, it's adding a heart, it's adding eyes. 03:00:18.220 |
Giving you additional senses, you have ears now. 03:00:21.940 |
like a Tala Prism is a perfect example of that. 03:00:24.000 |
We don't have identity at the base layer of Cardano. 03:00:29.500 |
'Cause China will come in, or US will come in, 03:00:38.860 |
and then bring that identity into the system. 03:00:41.220 |
And if you designed it right, when they bring it in, 03:00:49.300 |
Oh wow, okay, now I can use all these regulated things. 03:00:55.020 |
Or oh wow, now I can send to human readable addresses. 03:00:58.420 |
'Cause if I have an identity and you have an identity, 03:01:03.620 |
instead of some horrible back 32 address structure. 03:01:08.100 |
Okay, so that's really what you need to do with Layer 2, 03:01:27.020 |
and choose whichever collection of services you need. 03:01:35.460 |
Every firm is an aggregation of dozens of providers, 03:01:45.860 |
What are non-interactive proofs of proof of work? 03:01:55.700 |
- It's just one of those things that you notice 03:02:12.020 |
of an amount of work for a range of the chain. 03:02:22.740 |
This block, you get a regular green type of proof of work, 03:02:41.380 |
and you can just bookend your chain with red. 03:02:47.300 |
and you can create this really compressed representation 03:02:56.460 |
a long range of history with a very small proof. 03:03:19.000 |
but the reds only occur with a certain sampling frequency. 03:03:21.940 |
So this is the brainchild of Dionysus Zindros and Agalos, 03:03:57.060 |
now you can use those proofs to do like clients, 03:03:59.700 |
and you can use those proofs to do other things, 03:04:08.560 |
- It has to be key to the particular consensus algorithm, 03:04:12.060 |
but usually there's some portability in this type of thing. 03:04:18.020 |
or any of these sharded proof of work protocols, 03:04:27.880 |
you can use a compressed representation of it. 03:04:33.720 |
So your miner only has this very small micro ledger 03:04:40.460 |
- How does it connect back to the entire ledger? 03:04:46.740 |
and so you know that the state you're working on 03:05:05.300 |
and now he's doing a postdoc at Stanford under David Shih, 03:05:08.380 |
and this is literally the only thing he does. 03:05:14.580 |
and he's written a lot of great papers on it, 03:05:25.500 |
He kept trying to push it one conference after rejection, 03:05:33.540 |
derivative work now, like log space mining and so forth. 03:05:47.560 |
which is quite a wonderful place, by the way, 03:05:50.480 |
was can you get Charles to play devil's advocate 03:05:56.960 |
If it's going to fail, what would failure look like, 03:06:00.040 |
and what are the most likely reasons it would fail? 03:06:12.560 |
where it can evolve itself iteration by iteration, 03:06:16.040 |
then obviously the product didn't do what was intended. 03:06:19.160 |
If it continuously required the supervision of custodians 03:06:23.000 |
in order for it to succeed, the system just won't work. 03:06:26.700 |
The good news is we have a lot of data showing the opposite. 03:06:42.920 |
and the decrementing of the decentralization parameter, 03:06:48.320 |
and we went from several to thousands of people 03:06:51.560 |
who were regularly maintaining the infrastructure. 03:06:54.040 |
But there's no guarantee that that would be sustainable, 03:06:59.860 |
the smart contract step, will achieve what we want, 03:07:04.740 |
I mean, it's an experiment in all these types of things. 03:07:12.900 |
And as our case, our business is systems and society. 03:07:36.140 |
but it goes into a more centralized dystopian way, 03:07:56.180 |
So social credit in China is a great example of that. 03:08:07.740 |
And then another could be just network effect. 03:08:38.860 |
but there are brands that associate that way. 03:08:47.060 |
They don't actually walk away from the ecosystem. 03:08:51.300 |
So there's a lot of people that are here for life. 03:08:55.240 |
They don't care if it's dollar ADA, two cent ADA. 03:08:58.020 |
They believe in the mission, vision, and value 03:09:01.180 |
and they've become evangelists in that respect. 03:09:03.300 |
So the question is, does that community sustain itself? 03:09:06.800 |
And also, does that community not make the same sins 03:09:16.220 |
My hope is our community will be open and Socratic 03:09:28.060 |
If we become dogmatic and embrace an orthodoxy 03:09:36.120 |
And you'll notice I never said price in any of this. 03:09:38.540 |
I never said, hey, failure is if the price goes way down, 03:09:44.900 |
That's unfortunately the metric that most people use, 03:09:48.620 |
Because the reality is, if you construct a system 03:09:55.100 |
it's probably gonna be a pretty valuable system. 03:10:08.860 |
they tend to just judge your entire success based on that. 03:10:11.540 |
I had very few people, when Shelley launched, 03:10:13.900 |
even though it took us four years to get there, 03:10:15.580 |
a lot of work, say congratulations on Shelley. 03:10:18.460 |
But I had a lot of people, when ADA reached the dollar, 03:10:24.380 |
And that's probably the most disheartening thing 03:10:26.300 |
about the whole being around and doing this stuff, 03:10:44.880 |
saying, hey guys, this is about more than money. 03:10:55.860 |
I'd like you on your cell phone to have a universal wallet. 03:11:05.420 |
and they get paid whenever the hell they wanna get paid. 03:11:07.220 |
And I want those rails to be done with a system 03:11:11.260 |
And they say, yeah, that's all fine and great, 03:11:18.040 |
There are, of course, other things that could fail. 03:11:46.860 |
like the library of Alexandria burning to the ground. 03:11:56.740 |
The self-evolution, you don't know which trajectories 03:12:03.620 |
like bugs in the system create an opportunity 03:12:09.380 |
Is that something that you see as a potential failure case? 03:12:21.020 |
and it damaged the fidelity of the cryptocurrency 03:12:23.300 |
in ways no other cryptocurrency's ever experienced. 03:12:27.980 |
the bug, you can see it, like the Bitcoin overflow, 03:12:36.420 |
When you have a bug with a private system, like Zcash, 03:12:49.140 |
and create trillions of these coins out of thin air, 03:12:51.180 |
just hiding them on that system and dripping them out. 03:12:57.540 |
It's probably the worst type of bug you can have 03:13:05.180 |
there are great people there, great engineers there. 03:13:07.440 |
You can always have something like that seep its way in, 03:13:09.800 |
leak its way in, and that lurks in the distance. 03:13:17.220 |
it's like everybody working at a nuclear power plant. 03:13:20.460 |
Well, yeah, you can all die of radiation poisoning. 03:13:28.660 |
I think the context of the question was more, 03:13:30.620 |
what is Cardano-specific over Ethereum or Bitcoin 03:13:34.540 |
And yeah, okay, an existential lurking bug could happen. 03:13:37.580 |
It's lower probability for us than the other systems 03:13:41.980 |
and we use peer review inside the protocol design. 03:13:45.880 |
So, there's been more eyeballs and tools and techniques 03:13:49.220 |
And we actually have discovered a lot of weird wonky bugs 03:14:20.740 |
that do business intelligence and comparative analysis. 03:14:23.340 |
And we're getting to a point where we wanna start 03:14:34.300 |
And they wrote this lovely report like trashing EOS saying, 03:14:36.860 |
hey, by the way, all those claims these guys made 03:14:42.940 |
It's nice to use your competitors' technology 03:14:51.740 |
because they have different trade-offs and customers 03:14:56.780 |
how do we wanna do the sidechain model of Cardano? 03:14:59.480 |
Polkadot's actually a tremendously useful piece 03:15:03.840 |
because they copied part of our infrastructure. 03:15:08.740 |
He got his PhD from York and he read our papers obviously 03:15:12.900 |
and he realized that Ouroboros was a really good 03:15:15.460 |
starting place for building a proof-of-stake system. 03:15:18.460 |
So Polkadot's consensus is very similar to ours. 03:15:26.940 |
Well, we already have this parachain thing, right? 03:15:31.320 |
I can kind of get an idea of how, one way of doing it. 03:15:34.560 |
And so that's just beautiful that we live in a space 03:15:46.900 |
really has focused a lot on commercial adoption, 03:15:49.860 |
Silicon Valley adoption, getting real use and utility. 03:15:59.700 |
Polkadot was more of like, hey, let's go ahead 03:16:02.020 |
and actually curate our ecosystem more carefully. 03:16:06.540 |
where there's predictable or as predictable a cost 03:16:09.500 |
as possible with the rollout of the infrastructure. 03:16:16.640 |
It's not necessarily important for an experiment 03:16:25.780 |
I need to know what my expenses are three years, 03:16:31.980 |
I think they have a better shot of it than anything 03:16:37.700 |
Now the big contrast between the two systems, 03:16:44.720 |
I think our base ledger is far more expressive. 03:16:51.620 |
and we already have Oroboros Omega and other things there. 03:16:58.580 |
because we have something called Mithril for that. 03:17:02.940 |
The other thing is that we thought about governance 03:17:12.140 |
who holds data can participate in the network? 03:17:14.820 |
That wasn't a high design priority of Polkadot. 03:17:22.780 |
And those were just different business philosophies. 03:17:25.900 |
But it's nice to have a competitor like that. 03:17:28.420 |
And oftentimes I've said that Polkadot's like Ethereum 1.5. 03:17:35.180 |
which was incredibly aggressive and brilliant. 03:17:39.900 |
And there's so much execution risk in that plan. 03:17:47.940 |
they probably would have been a market with it in 2018. 03:17:50.500 |
And because they already had the network effect, 03:17:52.980 |
they would have had years of building on that, 03:17:59.300 |
and her cohorts at Cornell, $5, $10 million grants. 03:18:02.940 |
No white would have been the dominant protocol, 03:18:09.700 |
when you look at these things and the rivalries 03:18:21.860 |
The only reason they didn't do it is it was licensed GPL. 03:18:28.580 |
he was there at the time and he had this amazing story 03:18:34.140 |
it's like, guys, just relicense the goddamn code. 03:18:46.420 |
So there's a lot of lore and stories in that respect. 03:18:55.760 |
And we run into their people in Germany and Zurich a lot. 03:19:04.380 |
which is one of the most fascinating things about Cardano, 03:19:10.280 |
Since you mentioned some humans in this wonderful story, 03:19:29.440 |
- But it was basically saying, as we have been, 03:19:34.400 |
about the future that you're creating with Cardano 03:19:37.400 |
and just the future of the cryptocurrency space. 03:19:44.640 |
that's looking for clickbait content, that kind of thing. 03:19:49.420 |
I think you're all, from an outsider perspective, 03:19:55.280 |
but I think you're changing the world together 03:19:59.080 |
And I just wanted to sort of give you an opportunity. 03:20:02.500 |
If there's, in the name of love and friendship, 03:20:09.700 |
over the past decade or so, outside of technology, 03:20:13.980 |
that you draw inspiration from, you draw insight from, 03:20:18.800 |
- I mean, it's like asking Paul McCartney about John Lennon. 03:20:31.280 |
Every interview, tell us about your time at Ethereum. 03:20:38.560 |
And tell us about your relationship with Vitalik. 03:20:43.400 |
Like, every two years, we say, "Hey," he says, "Hey." 03:20:45.560 |
It's like, okay, maybe 10, 20 years in the future, 03:20:49.160 |
Walt Mossberg or Robo-Walt will bring us together 03:21:09.560 |
That was a fascinating study of human nature. 03:21:11.440 |
- Yeah, so maybe that'll be us in like 10 or 20 years. 03:21:17.600 |
was that it's a closed chapter, and it's funny. 03:21:34.960 |
and getting bucked off horses, and riding the sand dunes. 03:21:45.760 |
and we've had a chance to sit on government panels, 03:21:51.360 |
I mean, there's like all this amazing stuff that's there, 03:21:55.600 |
There's so many superheroes in that conversation, 03:21:59.320 |
and there's Alex Chirpinoy, who we already mentioned, 03:22:05.640 |
Cool, I met all these amazing people along the way. 03:22:10.000 |
by the way, you should interview him, by the way. 03:22:13.280 |
You know, I met, I was hanging out with Sylvia McCauley, 03:22:16.480 |
and I remember before we launched Yale Grant, 03:22:18.400 |
I said, "You should really just do a Bitcoin Cash-style play 03:22:22.240 |
"What the hell are you doing distributing this?" 03:22:24.320 |
He's like, "Trust me, I know what I'm doing." 03:22:26.480 |
You know, so it's like so many great conversations, 03:22:30.160 |
and what I've really noticed in this industry, 03:22:32.040 |
when you separate the tribalism, the maximum, and the side, 03:22:34.780 |
there really is a love of creativity and building, 03:22:52.160 |
not necessarily the most socially beneficial way, 03:23:00.760 |
I wouldn't trade it for anything in the world. 03:23:02.640 |
The dark side of the industry is that people love labels. 03:23:13.040 |
And by the way, they've never met that person. 03:23:16.840 |
and they just say, "Well, I heard from this person, 03:23:22.000 |
I'll say, "Oh, so some book's written by a journalist 03:23:23.880 |
"who makes $50,000 a year who's looking for a movie deal. 03:23:33.760 |
I mean, so you just let it ride, and you let it roll, 03:23:36.480 |
and if it was just ending there, that'd be great, 03:23:40.240 |
and people just repost it, and they relive it again, 03:23:43.060 |
and again, and again, and then what do you do about it? 03:23:45.240 |
You eventually just say, "I'm not gonna talk about it 03:23:48.440 |
And you move on, and you say, "You know what? 03:23:53.180 |
"I'll be defined by the things that I achieve and do, 03:23:55.740 |
"and the people that we help, and the things that we build." 03:24:01.000 |
I've gotten to a point where not only do we have 03:24:03.600 |
this amazing company with these incredible people 03:24:06.440 |
who work at this company, but we also have the ability 03:24:10.960 |
Like I met Ben Gortzel, and Ben and I are gonna do 03:24:14.280 |
an AGI project together, and of all places, Rwanda. 03:24:20.240 |
he was wearing that damn hat that he always wears. 03:24:29.360 |
and he refused to tell me the story of the hat. 03:24:32.080 |
- He wouldn't tell me either, I interviewed him as well, 03:24:36.760 |
he'll have his shirt off, he'll have the fucking hat on. 03:24:46.040 |
- Yeah, exactly, but anyway, he gives me this 80 page paper, 03:24:48.880 |
and he says, Charles, it's like the culmination 03:24:50.960 |
of everything, this is how we're gonna do AGI. 03:24:59.560 |
but I mean, I get to hang out with Ben Gortzel. 03:25:02.000 |
You know, that's fun, that's the kind of stuff, 03:25:04.320 |
and that's the really cool side of the space, 03:25:09.160 |
In the Vitalik Rival thing, the Ethereum thing, 03:25:22.440 |
- Well, I think if I've learned anything from the internet, 03:25:25.920 |
You just have to, it's the Elon, it's the joke, 03:25:31.800 |
to happen with me, is like, people just make up stuff. 03:25:34.240 |
They haven't made up anything interesting yet, 03:25:36.440 |
but they could, and I've seen that with Bill Gates, 03:25:49.760 |
is you can just make something up, and it'll spread. 03:25:56.440 |
- And the problem is half the world will believe it. 03:25:58.400 |
- Yeah, it could be good stuff, it could be bad stuff. 03:26:01.040 |
So I guess the hope is it bounces up in the end. 03:26:04.320 |
I tend to believe you almost want to play with that, 03:26:06.840 |
and not take it seriously, just kind of laugh it off, 03:26:13.240 |
- Operating both in the physical space with other humans, 03:26:16.140 |
and in the digital space with humans and AI systems, 03:26:21.680 |
in the long arc of history, will be completely forgotten, 03:26:26.080 |
It'll all be some kind of, just like "Hitchhiker's Guide 03:26:34.360 |
And the sad thing is most of us will not be part 03:26:50.600 |
so we humans assume that the UFOs are here to visit, 03:26:53.760 |
the aliens are here to visit us, but it's probably the fish. 03:26:56.400 |
- No, I just think it's next generation aircraft 03:27:03.080 |
- Well, that's the place you'd test hypersonic aircraft, 03:27:06.680 |
- So that's the Russians with their hypersonic 03:27:13.760 |
- So let me try to transition from UFOs to Abraham Lincoln. 03:27:17.780 |
Lincoln said that nearly all men can stand adversity, 03:27:22.960 |
but if you want to test a man's character, give him power. 03:27:25.960 |
Do you think power and money can corrupt most people? 03:27:31.240 |
And if so, do you worry of this corrupting force 03:27:53.260 |
- Yeah, I mean, you see this most pervasively 03:27:55.440 |
with people who inherit a large amount of money or title, 03:27:59.400 |
like dynasties, like the Melons or the Rockefellers 03:28:02.520 |
or other people, it's the worst thing you can do 03:28:04.200 |
to somebody is just hand them an enormous amount of power 03:28:08.880 |
And the challenge with this space is like everybody's young 03:28:18.040 |
Like for example, I have this ranch up in Wyoming 03:28:21.040 |
and it has 400 bison on it, so now I'm a bison rancher. 03:28:25.440 |
Like if somebody was like monitoring, auditing that, 03:28:36.680 |
to have this ranch with 400 bison running around. 03:28:43.120 |
So, and I, you know, we'll make a video game, 03:28:53.720 |
So I'm wondering how you're gonna connect this back to power. 03:28:59.920 |
when you are unrestrained, like literally no one can say no 03:29:03.640 |
or you have the ability to distort reality around yourself 03:29:06.880 |
and you're not constrained by social customs, 03:29:10.320 |
it creates a situation where you start losing perspective. 03:29:17.940 |
So it's less of a question of will you become evil or not, 03:29:20.800 |
it's more of a question of will you lose so much touch 03:29:25.440 |
or understand people and then you inadvertently, 03:29:32.240 |
or the things that you start building and so forth. 03:29:40.940 |
that are utterly divorced from your reputation and status. 03:29:51.360 |
And so there's a humility behind these types of activities 03:29:55.880 |
and these things and there's a honest work component, 03:30:00.580 |
like when you grow hay or whatever, you have to plant. 03:30:03.460 |
You have to actually water, you have to irrigate, 03:30:07.720 |
well I was meeting the president of El Salvador, 03:30:09.780 |
I was doing this, the hay doesn't give a shit. 03:30:14.880 |
The other thing is you have to get used to giving away. 03:30:21.440 |
Like I got started in the cryptocurrency space 03:30:24.440 |
Bitcoin or How I Learned to Stop Worrying or Love Crypto. 03:30:28.280 |
In life, if you give and you develop that mindset 03:30:37.820 |
Like I gave away all my ether, I never received any. 03:30:46.100 |
I had no idea if it was gonna be worth anything or not 03:30:49.620 |
well, they don't like me so they don't like you 03:31:01.180 |
I don't know if it's gonna be worth anything. 03:31:09.180 |
I now have Cardano, I have this great career, 03:31:12.760 |
So I think that's the single best way of handling power 03:31:16.040 |
is you have to do things to keep yourself grounded. 03:31:22.680 |
During the Revolutionary War, he was like sending letters 03:31:25.200 |
talking about the irrigation ditches and the barn 03:31:37.660 |
No matter how much you want to keep it, you will die 03:32:10.560 |
After Mao, they said, we probably shouldn't have 03:32:17.840 |
and no one person is going to run the whole show 03:32:21.120 |
or else it'll descend and regress and we'll have problems. 03:32:24.200 |
And then what he's done, he's thinking only about himself, 03:32:47.500 |
then suddenly down the line you have Caligula 03:32:49.880 |
and Nero and all these other terrible emperors 03:32:51.840 |
that just destroyed everything that the Republic 03:32:58.840 |
You have to think in institutions and systems. 03:33:03.280 |
and you have to be fully prepared to lose everything 03:33:09.600 |
Okay, reputation was damaged, not a lot of money. 03:33:26.000 |
It was I had to surround myself with amazing people. 03:33:29.260 |
Why would amazing people want to surround themselves with me? 03:33:36.960 |
everything would be a transactional relationship. 03:33:41.360 |
It would be, okay, we'll get as much as we can 03:33:54.200 |
and I'll just deal with the cold, that kind of mindset. 03:34:05.600 |
and they were like products of the Homestead Act. 03:34:09.920 |
A lot of people died and froze to death up there 03:34:18.080 |
So the only way you survive is by taking care of each other 03:34:24.640 |
you have this implicit desire to go and give back 03:34:27.920 |
and take care of the community that you came from 03:34:36.040 |
is I'm gonna put $20 million and set up a center 03:34:42.440 |
'cause I'm super excited about mechanizing math 03:34:48.320 |
There's like all these mathematicians and computer scientists 03:34:52.640 |
and they're kind of like the redheaded stepchildren 03:34:54.720 |
of mathematics and they live on the boundaries and periphery. 03:35:06.920 |
what they're doing can probably become the dominant model 03:35:10.800 |
So I'm now in a position where I have the financial means 03:35:15.800 |
So all I have to do is just call them up and say, 03:35:32.000 |
There's an interesting case in the cryptocurrency space 03:35:44.480 |
that perhaps even when they don't carry power, 03:35:48.480 |
maintains a little bit of a flame of a vision. 03:35:57.800 |
and the sort of that, even though it's anonymous, 03:36:02.600 |
the idea still lives on through the community, 03:36:08.420 |
Do you think this is an interesting case study 03:36:11.960 |
about leadership is for the leader to maintain anonymity? 03:36:16.880 |
- Yeah, it was a saying from Sun Tzu paraphrasing it, 03:36:26.680 |
and the more the principles of the leader are in the room, 03:36:29.920 |
because what you're doing is creating more leaders that way. 03:36:32.480 |
You're inspiring the next generation, the next wave, 03:36:35.040 |
the next circle out to act with those principles, 03:36:38.500 |
but contribute in their own way and their own flair. 03:36:56.240 |
For 20 years, people said, "Well, you don't do that 03:36:58.160 |
"'cause Walt Disney wouldn't do it that way." 03:37:14.000 |
you slipped up on video saying that you're a deepfake. 03:37:18.160 |
- I'm actually a poker-playing robot that escaped a lab. 03:37:25.640 |
Is it possible that you are, in fact, Satoshi Nakamoto? 03:37:35.760 |
I think the most likely candidate would be Adam Back. 03:37:41.160 |
and mostly because he's the right place, right time, 03:37:49.440 |
like the use of FORTH, the scripting language, 03:37:53.440 |
and European pedagogy in the 1980s and 1990s. 03:37:56.120 |
It was like an example language for a stack-based assembly, 03:37:58.920 |
and little stuff like that, little quirks like that. 03:38:17.200 |
- Well, no, because the code was not good enough. 03:38:36.320 |
and a lot of things had to be patched up and fixed. 03:38:43.760 |
let's use SecP256k1 and these types of things, 03:38:50.780 |
and we'll figure out the protocol design later on. 03:38:59.480 |
and then brilliant people like Greg Maxwell and others, 03:39:09.080 |
who's trying to keep working on and building out Bitcoin. 03:39:11.720 |
And where the hell was Adam when Satoshi was around? 03:39:17.080 |
where they were both together at the same period of time. 03:39:22.780 |
There's a lovely paper written by the US Army. 03:39:25.320 |
If you just Google like, Code Stylometry, US Army, 03:39:31.720 |
and a few other things to actually kind of develop 03:39:33.720 |
a fingerprint for the way that people write code. 03:39:36.320 |
So all you got to do is take the original Bitcoin source code 03:39:43.640 |
and see if there's a match between those two. 03:39:46.600 |
Now, if he's really good at creating an alias, 03:39:53.100 |
So the odds are that you'd probably find a match 03:39:55.320 |
to a repo that's connected to a real life human identity, 03:40:00.320 |
because you're younger, you have weaker OPSEC. 03:40:14.320 |
I've worked with people that work on stylometry 03:40:18.600 |
And I think it matches closest to Nick Szabo, 03:40:22.280 |
if you actually do the written stylometry analysis 03:40:33.560 |
But so you're saying Nick Szabo is the closest match. 03:40:37.840 |
I didn't look at if the model was sound or not, 03:40:39.800 |
but I just remember reading on a Bitcoin talk, 03:40:41.520 |
and Szabo is another one of the common candidates. 03:40:48.760 |
- What do you think about this idea of anonymity, 03:40:55.080 |
you've been part of, I mean, the Cardano ecosystem 03:41:01.840 |
Is there ever a value to publish anonymously? 03:41:04.080 |
- Well, every paper that goes through the referee process, 03:41:17.000 |
and actually not reveal the author of the paper? 03:41:22.920 |
because the whole premise of working with our company 03:41:25.640 |
as an academic is that you're gonna have amazing co-authors 03:41:28.900 |
and your work is gonna appear in great conferences, 03:41:31.100 |
great journals, and as a consequence, you get tenure. 03:41:33.840 |
If you publish anonymously, it's like doing clearance work 03:41:38.400 |
in high-energy physics or something like that. 03:41:40.280 |
It's like, after 30 years of this amazing career 03:41:42.840 |
working on nuclear weapons and classified reactors, 03:41:45.640 |
you finish and then you go to apply for a job 03:42:04.040 |
and generally it's only done when you're doing something 03:42:07.540 |
very controversial or there's a whistleblowing 03:42:10.940 |
It's not typically done for foundational work. 03:42:13.820 |
And Satoshi was really one of the first things, 03:42:15.420 |
'cause if there was a, Satoshi doxed himself, 03:42:21.620 |
that's like a Nobel Prize in economics, likely. 03:42:33.540 |
- That'd be cool if they give a Nobel Prize in economics 03:42:42.500 |
So yeah, I mean, there are a few people in our company 03:42:47.480 |
Like if you look at the Chimerical Edgers paper, 03:42:49.800 |
that's a, it's not a real name, it's a crazy name. 03:42:55.260 |
And, you know, but that's usually for throwaway work. 03:42:58.380 |
There is one project we inherited from an anonymous person, 03:43:03.740 |
And it's basically an extension of the QADD Manifesto 03:43:10.140 |
And I think it's some anonymous mathematician, 03:43:14.120 |
But basically it's a marketplace for deduction. 03:43:20.860 |
to write mathematical proofs in a theorem prover 03:43:29.060 |
'cause I think that could have been easily published 03:43:56.680 |
You can build any governance system you want. 03:44:01.240 |
It's like whether you like Bob or not, he's in charge. 03:44:10.280 |
County dog catcher is like a six year election 03:44:14.100 |
So there's a spectrum there between absolute power to one 03:44:20.200 |
to every single potential participant inside the system. 03:44:26.500 |
how do you handle choice architecture in that? 03:44:28.200 |
So like, are you asking your people about every question? 03:44:31.940 |
Or are you asking your people about a subset of questions 03:44:36.340 |
but then they're not allowed to talk about other topics? 03:44:38.660 |
Like for example, are they allowed to change the tax rate, 03:44:59.920 |
And eventually the GitHub repos and these things, 03:45:02.160 |
there was a place to go if you were interested. 03:45:04.740 |
And you need some sort of change management system 03:45:11.420 |
it was Bitcoin Improvement Proposal and Ethereum, 03:45:22.780 |
do you want to do this implicitly or explicitly? 03:45:25.820 |
The case of Bitcoin and Ethereum, it's an implicit system. 03:45:39.260 |
between Cardano, Polkadot, EOS, and these other things 03:45:41.540 |
is that we're really serious about governance 03:45:49.420 |
we're exploring preference voting and quadratic voting. 03:45:51.940 |
And the long and the short is that we want more 03:45:54.140 |
and more people to participate in voting for things. 03:45:59.620 |
So our hypothesis is we can bootstrap the system 03:46:14.480 |
China has over a billion dollars of ADA in it. 03:46:22.100 |
It's actually controlled by the community as a whole 03:46:29.420 |
and other people who hold ADA can vote to approve that. 03:46:32.420 |
What's nice about it is you have a growth engine 03:46:42.220 |
so the absolute number of people participating. 03:46:49.860 |
Or did you spend hours debating things on IdeaScale, 03:46:57.860 |
And there's dozens of little things like that. 03:47:02.900 |
eventually you get to a certain critical mass, 03:47:07.620 |
and a high level of meaningful participation, 03:47:12.100 |
and you can start actually having meaningful questions 03:47:20.260 |
new voting systems and new social structures, 03:47:22.700 |
and you can let them start voting on training wheels 03:47:26.100 |
Like for example, the minimum transaction fee, 03:47:28.180 |
or that K parameter for the amount of stake pools, 03:47:35.660 |
and they actually start talking about hard forks, 03:47:43.940 |
You can't do it unless your social dynamics are right, 03:47:47.380 |
And by the way, you also need to write a constitution 03:47:50.820 |
Because not all hard forks are created equally. 03:47:57.420 |
are distinctly different from the kinds of things 03:47:59.180 |
that would change your monetary policy of the system. 03:48:05.780 |
what is the innovation management proposal system. 03:48:09.020 |
- So we partnered with a company called Ideascale, 03:48:16.820 |
They sign up, and there's special tools in that platform 03:48:21.200 |
So they don't descend into kind of like trolly, 03:48:32.420 |
she's working on setting up an incubator and accelerator, 03:48:42.620 |
should not be what gets approved on the other side. 03:48:46.260 |
some sort of crucible where you iterate your way through, 03:48:49.100 |
and there's all kinds of optimizations and upgrades 03:48:51.820 |
and evolutions and combinations and destructions that occur. 03:48:55.220 |
And then by the time you get to the other side, 03:48:59.700 |
or it's a significantly stronger, far more fundable thing, 03:49:03.060 |
and potentially even gets attached with accountability. 03:49:06.820 |
you actually fund the auditor at the same time 03:49:14.700 |
You need a counterparty to hold someone accountable 03:49:16.940 |
who's real for that type of stuff and that type of funding. 03:49:26.980 |
and about 30, 40,000 people regularly participating in this. 03:49:37.540 |
of the entire Cardinal population inside of it, like 40, 50%. 03:49:42.660 |
now you have democratic majority of the entire system. 03:49:51.580 |
- And sorry to interrupt, but so the constitution, 03:49:54.620 |
people still argue about it because natural language, 03:49:57.420 |
much like poetry, lends itself to multiple interpretations. 03:50:00.700 |
Is it possible to formalize some of these ideas 03:50:09.000 |
We were talking about Logeban back in the day, right? 03:50:12.140 |
So there's definitely formal languages you can use 03:50:15.980 |
That's why I'm so interested in things like Idris, 03:50:20.980 |
'cause that's exactly what you're attempting to do 03:50:22.980 |
is to express some concept, or desire, or construction 03:50:30.140 |
In particular, how does the system know its own design? 03:50:33.300 |
So what is the reference of a cryptocurrency? 03:50:49.180 |
And can your system know those specifications, 03:50:52.860 |
and can your change management system be for that, 03:50:55.500 |
and then can you provide a proof that your client 03:51:02.180 |
but that's where you would go with that kind of a concept. 03:51:14.300 |
I know what a winner, and say the Haskell client is that, 03:51:17.740 |
and then what you basically do is you vote on a SIP, 03:51:24.500 |
and there's some mechanism to trigger the update system 03:51:31.140 |
- Yeah, like the CURT Benefit Pledge, SIP 007. 03:51:45.220 |
- So, yeah, so basically it just has to do with the pledge. 03:51:54.660 |
and connect to his pool in order to be listed 03:52:01.580 |
to how much income you make as a pool operator. 03:52:03.980 |
So if you set it too high, you have a consolidation, 03:52:08.660 |
If you set it too low, what'll happen is larger pools 03:52:19.940 |
our formal specification that's quite involved. 03:52:22.020 |
And so one of the community members came and said, 03:52:23.700 |
"Well, I think we can massively simplify this design 03:52:30.900 |
And so it's SIP 007, and there's actually a lot 03:52:33.780 |
of conversation and people are thinking about it. 03:52:37.540 |
'cause to understand how to write a SIP like this, 03:52:41.420 |
of mathematical prose in the formal specification. 03:52:44.700 |
So the guys who wrote it was like, "Fuck yeah, 03:52:48.340 |
But it's an example of a SIP, but that's one thing, 03:52:55.580 |
and here's how you do that, you know, like quantum VRF, 03:52:57.900 |
and I wanna put XMSS and all this other stuff." 03:53:00.700 |
So there's a lot you can do, and you can do it 03:53:07.460 |
where there's some social process outside of the system 03:53:12.460 |
or you can do it explicitly where you directly vote 03:53:16.940 |
some group of representatives directly votes, 03:53:21.220 |
The constitution's necessary because you need 03:53:34.460 |
because what people would have done the initial stage 03:53:49.700 |
now British are all passive-aggressive about it. 03:53:51.860 |
With no sign, "Very well, we shall remove from Europe." 03:53:59.900 |
The other thing is, you know, what type of voting? 03:54:01.580 |
Is it just an absolute or is it preference voting? 03:54:06.220 |
follow your second favorite SIP or something like that. 03:54:08.900 |
So Condorcet or Borda are two examples of systems-- 03:54:11.100 |
- Are you a fan of those, like the rank-choice vote? 03:54:13.140 |
- I love them so much, especially for political diversity, 03:54:16.380 |
'cause this whole concept of throwing your vote away, 03:54:18.820 |
if it's Alice or Bob, you're always gonna get a, 03:54:31.820 |
So if it's ranked order or preference voting, 03:54:36.860 |
and you get a lot more diversity on the ballot. 03:54:51.300 |
and the guiding principles is more is better, 03:54:57.260 |
And you have to be able to quantify those things. 03:55:02.160 |
then you have a lot more people along for the ride 03:55:08.500 |
the decentralized development of the protocol 03:55:12.900 |
We have fully decentralized the brain of the protocol. 03:55:19.420 |
for graduate students, postdocs, and professors 03:55:27.420 |
They wanna, and we showed that you can get it. 03:55:34.320 |
So yeah, keep adding to that pile of 105 papers. 03:55:40.500 |
It doesn't need IOHK funding or anything like that. 03:55:43.620 |
We're already seeing unfunded derivative work 03:55:46.620 |
from us writing papers about stuff in our ecosystem. 03:55:49.580 |
So just continue to develop that, but that's looking good. 03:55:53.020 |
The centralized development, we're working on that as well. 03:55:57.140 |
to make sure there's at least three independent clients. 03:56:00.060 |
So three completely independent dev teams and code bases, 03:56:03.060 |
and also to get a separation of the commercial clients 03:56:06.860 |
from the reference code, and turn the reference code 03:56:09.320 |
into like a formal specification, a formal blueprint, 03:56:21.140 |
and then some way of proving that your client 03:56:24.020 |
follows the specification as use of the protocol. 03:56:35.380 |
do you see ways it could revolutionize politics? 03:56:49.260 |
That's gonna follow them throughout their whole life. 03:57:02.580 |
I went there in 2017, and shook a lot of hands, 03:57:06.580 |
"Oh yeah, we'll have it all done in six months." 03:57:11.620 |
but it takes a little bit longer than you'd think 03:57:15.780 |
I really love Ethiopia, it's a beautiful country. 03:57:19.060 |
So we spent four years, we trained a whole cohort 03:57:21.860 |
of developers, and then we started a relationship 03:57:25.140 |
and they care a lot about proper credentials. 03:57:30.200 |
when someone graduates, it's really hard for them 03:57:32.260 |
to prove the quality of the credentials that they have, 03:57:39.260 |
how does somebody know that this is a real programmer, 03:57:41.940 |
or how does somebody really know that this is a real doctor, 03:57:50.660 |
So every student in the country, at some point, 03:57:55.260 |
and then you can prove all sorts of things about them, 03:57:58.160 |
like GPA, or what particular diploma they hold, 03:58:02.300 |
And then the beautiful thing is, the way we designed it, 03:58:07.500 |
extensible to include proofs about themselves, 03:58:10.260 |
like are you over the age of 21, that kind of stuff. 03:58:18.140 |
So Atala Prism is the framework we're using for it. 03:58:20.820 |
Every student will get one, and then those students 03:58:25.420 |
in the Cardano ecosystem, eventually for DeFi, 03:58:29.180 |
So it's the largest blockchain deal of its kind, 03:58:31.260 |
and it probably will grow to 20 million people 03:58:43.020 |
and he can actually read the papers we write. 03:58:51.260 |
And one of his things in the agenda is digital identity. 03:59:04.820 |
all these governance tools that we're constructing 03:59:07.160 |
for Cardano are completely reusable for a nation state, 03:59:13.040 |
a Cardano application, will eventually be reusable for you. 03:59:18.660 |
why the fuck do you have to reimplement that? 03:59:20.260 |
Native multi-asset, anything that works on ADA 03:59:24.620 |
You can use our voting system for your asset. 03:59:31.140 |
And similarly, when a government does something 03:59:34.940 |
all this amazing infrastructure, but wait, there's more. 03:59:40.220 |
that they can use for smaller, large-scale decisions 03:59:46.340 |
to roll something like this out in the state of Wyoming. 03:59:54.780 |
if we can do the Republican-Democrat primaries 03:59:57.140 |
with preference voting and voter registration this way 04:00:00.380 |
and do it completely online with an e-voting system. 04:00:03.860 |
So that's something we'll be pursuing in 2022. 04:00:09.460 |
That's the one good thing about the craziness of Trump. 04:00:11.420 |
He made like half of America think the election system 04:00:15.660 |
So you walk in, it's like, we're gonna go kill Dominion. 04:00:18.340 |
And they're like, yay, that's great, let's go do that. 04:00:24.500 |
created a lack of faith and credibility in the system. 04:00:32.260 |
becoming the first country to approve a cryptocurrency, 04:00:43.100 |
the Bitcoin conference, the Bitcoin folks believe 04:00:47.500 |
Do you think this is a start of something new? 04:00:49.860 |
- Well, they're both right, the critics and the pro people. 04:00:53.420 |
So the critics are saying this is a nothing burger 04:00:55.540 |
and it's just a publicity event for El Salvador. 04:00:58.220 |
And then the people say this is the most monumental event. 04:01:09.800 |
So if like Bitcoin becomes a recognized currency 04:01:15.460 |
that United States and European Union and others 04:01:17.460 |
can't actually stop them from trading on forex exchanges 04:01:28.940 |
And actually we had this crazy harebrained idea years ago. 04:01:31.940 |
We were down in Mexico at the Satoshi round table 04:01:36.640 |
Let's go to Tuvalu and get them to do something 04:01:42.080 |
like the dot TV extension and their fishing rights 04:01:44.780 |
and Taiwan pays them money to recognize them and so forth. 04:01:48.140 |
So I'm like, man, maybe we can convince Tuvalu 04:01:53.460 |
But now El Salvador is actually playing the game. 04:02:05.620 |
and see what's going on there and do a state visit 04:02:11.540 |
And it's one of those things that it can't quite be ignored 04:02:15.920 |
On the other hand, you have to manage expectations. 04:02:18.440 |
Is the central bank taking a position in Bitcoin? 04:02:21.040 |
Are they actually switching over to a cryptocurrency 04:02:28.280 |
and they're all using the settlement rails of central banks? 04:02:31.640 |
Are they actually blockchaining the entire country 04:02:40.640 |
The other thing is that if you're autocratic, 04:02:45.240 |
'cause the minute you adopt these types of systems, 04:02:49.540 |
So there's a world of difference between optics 04:02:55.700 |
to accept the consequences that the state is going to lose 04:03:02.940 |
if some of these politicians who are pro-blockchain, 04:03:05.580 |
and I'm not making a statement on El Salvador in particular, 04:03:13.400 |
they can contain the blockchain genie in the bottle 04:03:27.780 |
one of the things that people are concerned about 04:03:32.520 |
They've started realizing this was a legitimate threat 04:03:35.420 |
to capital controls and to the autocratic system 04:03:56.820 |
But now the government's gotten very serious about it. 04:03:59.300 |
They're saying like, "Okay, we want to control 04:04:02.780 |
"and it's a threat to our plan for the digital yuan 04:04:05.000 |
"to become the world standard to displace the dollar." 04:04:10.660 |
say there'll be a country in Europe, for example, 04:04:13.340 |
that accepts Bitcoin or other cryptocurrencies, Cardano, 04:04:18.340 |
the idea is it would put a lot of pressure on you. 04:04:21.060 |
So there'll be like this kind of ripple effect 04:04:23.220 |
and then the individual governments won't be able to help, 04:04:29.020 |
like, I don't know, Russia or the United States 04:04:34.500 |
So do you see that sort of an inevitable trend 04:04:40.460 |
as a store of value and as a method of payments? 04:04:50.100 |
Transactions in general have five properties. 04:04:59.540 |
and you transact that either like one to one, 04:05:07.140 |
like where did it take place, these types of things. 04:05:09.580 |
And then you have the contractual relationship. 04:05:15.260 |
So transactions always live within jurisdictions. 04:05:21.460 |
Because those things are right now done separately 04:05:29.980 |
And it's a super expensive to hoist up this entire system 04:05:35.220 |
It's usually a huge part of every bank's balance sheet. 04:05:39.340 |
So when you look at the concept of a digital currency, 04:05:42.300 |
you're saying all five of those things are programmable. 04:05:47.260 |
You say, oh, I wanna be in compliance with Eritrea. 04:05:51.860 |
Now you are, it's built into the transaction. 04:06:02.780 |
So just the orders of magnitude efficiency gains 04:06:07.500 |
that you get and the increased liquidity you get 04:06:10.180 |
and the fact that you can now represent all assets 04:06:12.980 |
with a universal way, that financial stem cell, 04:06:15.700 |
there's an inevitability to the victory of our industry. 04:06:27.220 |
And the rest of the world is trying to figure out 04:06:35.380 |
both an ally and a competitor to those desires. 04:06:47.860 |
- Do you hope that in the process of cryptocurrency 04:06:58.920 |
caused by centralized power and the abuses of power 04:07:15.700 |
I said, you know, our industry is an industry of frustration. 04:07:21.100 |
that charged 85% interest to the poorest people 04:07:24.740 |
We weren't the industry that charged 15% to move money 04:07:27.820 |
for a maid sending money home to mom in Manila. 04:07:33.140 |
that laundered hundreds of billions of dollars 04:07:35.220 |
of drug money and funded arms dealers in Africa 04:07:38.100 |
and all these things or permitted oil for food 04:07:42.860 |
And the people who did these things aren't in jail. 04:07:48.220 |
So our industry is the antidote to these types of things. 04:08:00.980 |
It doesn't mean that when you lose, you know, 04:08:03.140 |
somebody's gonna come on a white horse and bail you out. 04:08:05.860 |
You're gonna have winners and losers, but it's fair. 04:08:10.600 |
There's no coincidence that Bitcoin was created 04:08:12.580 |
right around the same time as the 2008 financial crisis. 04:08:16.060 |
It's not like these were just unrelated events. 04:08:17.880 |
They're highly correlated to each other, okay? 04:08:28.740 |
has been about that endless, relentless desire 04:08:35.380 |
a little bit less nepotistic, and a bit more open. 04:08:41.980 |
that you have these things in Wyoming called speedy banks, 04:08:45.640 |
They have 100% of their balance sheet is accounted for. 04:08:51.060 |
And then you have the people in the banking community saying, 04:08:56.220 |
We're scared that these speedy banks are gonna default. 04:09:03.460 |
sometimes like 2% assets on the balance sheet, 04:09:09.540 |
they say they have are the ones that are gonna collapse. 04:09:15.060 |
when you see the system and negative interest rates 04:09:17.940 |
And so I absolutely believe the direction and course 04:09:20.820 |
of this industry is to make things more honest and fair, 04:09:26.460 |
it exposes double standards, hypocrisy, and corruption. 04:09:38.380 |
It's another thing to see it there as an example, 04:09:46.860 |
'cause they don't like the systems they have, 04:09:53.520 |
and they're gonna replace them with something else. 04:09:59.380 |
in a considerably better system than the rest of the world. 04:10:02.260 |
And then everybody else will look at that and say, 04:10:16.300 |
it's nepotism and corruption and lack of transparency 04:10:26.200 |
Humans have ingrained in themselves selfishness, 04:10:29.020 |
and it is a desire to maximize for themselves 04:10:34.500 |
And so we have to evolve capitalism at the same time. 04:10:44.600 |
how do we create future versions of ourselves in 2100 04:10:57.420 |
well, if I'm doing things that are good for me today, 04:11:07.580 |
- Right, almost like inject long-term incentives 04:11:12.500 |
is the only economic system where that's actually possible. 04:11:17.220 |
where doing things that are beneficial for people 04:11:23.380 |
You can't do that in a legacy financial system and so forth. 04:11:26.460 |
So I think that that's the real impact capital conversation 04:11:29.400 |
that has to be had as you explore these things 04:11:37.540 |
It's not about, hey, let's donate and save the world 04:11:44.780 |
that we have a better toolkit to create a different system, 04:11:49.700 |
where the default configuration of the system 04:11:54.700 |
is get rid of all these negative externalities 04:11:56.620 |
that marketplaces have and judge the success of society 04:12:04.660 |
You know, HDI, not GDP, this kind of thinking. 04:12:07.180 |
And I think crypto can actually be the vanguard 04:12:12.900 |
are gonna be just significantly better places to live. 04:12:23.120 |
wake up multiple times in the middle of the night, 04:12:25.620 |
do you feel the burden of this kind of future 04:12:41.060 |
- Don't worry about them, they're nihilists, Donny. 04:12:46.780 |
'cause we're talking about all these 100 plus papers 04:12:52.180 |
we're talking about, but then there's millions 04:12:59.060 |
I mean, I have all these people who work for me 04:13:03.220 |
So if I can't pay them, then that's my fault. 04:13:10.600 |
that there's all these people who've signed up 04:13:24.980 |
And so that's a huge burden in many respects, 04:13:59.920 |
'cause ultimately you're amplifying yourself. 04:14:02.360 |
The other thing is that it's okay not to get all the way. 04:14:13.860 |
That's why we care so much about the publication process 04:14:16.880 |
and open source, 'cause we'll never file a patent 04:14:20.480 |
'cause whatever we do, it's yours as much as it is mine. 04:14:28.220 |
or get killed by an eagle or something like that. 04:14:44.080 |
'cause eagles actually fly you up and drop you. 04:14:48.020 |
It'll be a slow death and they'll probably peck at you. 04:14:49.960 |
- Exactly, you'll just be grievously wounded on the ground 04:15:09.600 |
and another people takes care of that and this, that, 04:15:13.240 |
You're in the arena, you fight as hard as you can. 04:15:23.960 |
that you've at least made a slight difference. 04:15:26.000 |
You know, one person can make a huge difference. 04:15:32.920 |
He saved a billion lives over the course of his life. 04:15:35.560 |
Billion people didn't starve to death because of one guy. 04:15:41.760 |
just for the knowledge transfer of all things. 04:15:46.080 |
So that's the other side of it, of the burdens. 04:15:48.880 |
You know, people always want something for something. 04:15:51.560 |
So they say, oh, if I endure all these burdens, 04:15:57.120 |
that probably the most likely outcome was jail. 04:16:00.320 |
That's what my dad told me and other people told me. 04:16:02.480 |
And it was because it's like, look at where we came from. 04:16:07.040 |
Anybody tries to innovate the monetary system, 04:16:09.520 |
they either end up like Gaddafi or they end up in prison 04:16:54.120 |
scheduling, like periods of deep work, programming. 04:17:01.600 |
and also live streaming, educating, inspiring the world 04:17:04.280 |
or getting drunk and ranting at the computer. 04:17:07.880 |
- Well, first off, you do a wet year and a dry year. 04:17:10.240 |
That's what prevents you from becoming an alcoholic. 04:17:12.360 |
So unfortunately, the way that schedule worked, 04:17:21.440 |
- Yeah, you do a dry year and then you do a wet year. 04:17:23.560 |
- Oh, so this is one of your ideas about life 04:17:44.120 |
- Yeah, he was a sober, happy, in shape Churchill. 04:17:47.120 |
He would have led Britain for 30 fucking years. 04:17:51.400 |
See, Lex, that's why we can't have nice things. 04:17:55.080 |
- Conor S. Thompson, maybe you're onto something. 04:17:57.000 |
- Oh, you know, it's really crazy if you go to Aspen 04:18:00.840 |
I actually met a waitress who knew him really well 04:18:02.680 |
and he'd go in there like two, three times a day. 04:18:13.880 |
And they were all clearly illegal substances. 04:18:15.760 |
But we'd just give him coffee or whatever he wanted. 04:18:19.340 |
But anyway, that's the day in the life of Charles. 04:18:23.920 |
The longest fast I ever did for a long-term fast 04:18:30.200 |
Can you take me through the journey of philosophically 04:18:34.720 |
- Well, so normally when I do an extended fast, 04:18:42.840 |
And people know so much more about this than I do. 04:18:47.060 |
And you kind of get addicted to the fast high. 04:19:13.060 |
So I just kept going and kept going and kept going 04:19:21.620 |
And I was like, okay, maybe I should start eating again. 04:19:30.020 |
So my brother's a doctor and I called him and I said, 04:19:41.680 |
So in the usual routine, intermittent fasting, 04:19:43.780 |
although I haven't been as good about it as I should be 04:19:46.040 |
and I used to work out, I don't do as much as that, 04:19:48.740 |
the stress and the work-life balance has been horrible 04:19:53.940 |
And I've gained a lot of weight and all that stuff. 04:20:00.300 |
Recently I started doing photo biomodulation. 04:20:06.020 |
You saw that picture of me with like the weird thing 04:20:13.260 |
And actually, there's some peer-reviewed studies 04:20:17.260 |
So you actually generate new neurons and things like that. 04:20:26.180 |
- Do you get a few hours of alone time to work, to think? 04:20:39.220 |
- Yeah, everyone should listen to his podcast, 04:20:43.340 |
He's a mathematician, a theoretical computer scientist. 04:20:46.780 |
So those guys really need their time alone to really think. 04:20:51.340 |
When you're a CEO, you're the master of the five-minute deal. 04:20:54.860 |
You come in, you talk to people, you make a decision, 04:20:57.180 |
you move on to the next thing, you move on to the next thing. 04:21:06.740 |
It was just so beautiful to get lost into something 04:21:27.860 |
You don't have meetings, any of these things. 04:21:43.820 |
- It's one of the most amazing things you can do. 04:21:48.020 |
and all your stress worries, they're just gone. 04:21:51.220 |
And you have so much productivity and clarity. 04:21:53.860 |
If you combine that with daily naps, that's the way to go. 04:22:10.300 |
at communicating all the different kinds of ideas 04:22:12.260 |
and being very transparent with the community, 04:22:16.820 |
It's fun, it's never been a chore, because it's for them. 04:22:23.580 |
to actually just be there, ask some questions. 04:22:25.580 |
And I try to make it as entertaining as possible. 04:22:28.300 |
And you have your trolls, and you have your love. 04:22:32.140 |
And it's actually nice to have a mixture of the two, 04:22:34.700 |
'cause sometimes you can beat down trolls just for fun. 04:22:42.500 |
And it's almost like Fight Club in a certain respect. 04:22:55.980 |
he kind of leans over to me, he's like, "I love ADA." 04:23:00.300 |
He's like, "Yeah, I watch your live streams." 04:23:07.300 |
And I was just about to take my passport out, 04:23:09.100 |
and he says, "Welcome to London, Mr. Hoskinson." 04:23:13.140 |
I was like, "Oh God, am I going to jail in London? 04:23:15.060 |
"Why does the border patrol guy know who I am? 04:23:19.380 |
And it turned out he watched my live streams. 04:23:22.020 |
And so there's a lot of that, and that's so much fun. 04:23:57.220 |
Okay, so on this topic, let me ask you about mushrooms. 04:24:01.100 |
You're interested in mushrooms, growing mushrooms. 04:24:08.260 |
in the mind-expanding capabilities of psychedelics. 04:24:11.300 |
At least you mentioned kind of the interesting place 04:24:14.260 |
where your interest in non-psychedelic mushrooms might go. 04:24:17.500 |
Can you explain the nature of your interest in mushrooms? 04:24:25.780 |
It's just an underexplored area of science and botany 04:24:31.180 |
because there's so much cool, interesting stuff there. 04:24:37.320 |
Like, they have these things called cordyceps, 04:24:39.380 |
and they are like a zombie fungus that infects insects, 04:24:47.740 |
and then burst out of their head like an alien, 04:24:50.180 |
and spray spores on them, and repeat the process. 04:24:52.260 |
I mean, they even made a damn game about this, 04:25:09.740 |
and it could actually help treat Alzheimer's, 04:25:16.740 |
Other things, they've shown some effectiveness 04:25:20.860 |
It's just so crazy, the diversity in the mushroom kingdom, 04:25:24.220 |
of the medicinal applications, the pesticide applications. 04:25:29.220 |
You can use it a lot to kind of save hay and trees. 04:25:41.260 |
And there's a great book from Michael Pollan, 04:25:48.740 |
work his way through the Johns Hopkins studies. 04:25:50.980 |
But the long and short for me, when I read that book, 04:25:54.880 |
but look at the effectiveness of psychedelics, 04:26:07.820 |
that they're equal or better in effectiveness in many cases. 04:26:20.500 |
That's a miracle, 'cause there's so many people 04:26:22.620 |
suffer from severe depression, and it's a lifetime ailment. 04:26:26.740 |
And the fact that we have something in the toolbox 04:26:29.020 |
that we've underexplored is a very powerful thing. 04:26:38.220 |
And it's so hard those last two, three months, 04:26:41.100 |
'cause they kind of have this, they're in horrific pain, 04:26:52.020 |
with everything and die with a lot more dignity 04:26:59.420 |
And the fact that these things are super cheap 04:27:01.500 |
and they grow pretty much anywhere, it's pretty cool. 04:27:06.980 |
I'm working with a company called Farmbox Foods, 04:27:15.580 |
and they put these amazing labs and shipping containers 04:27:20.060 |
that are kind of like controlled environments. 04:27:28.460 |
If you're just selling them for food consumption, 04:27:40.880 |
But the more I do, the more I learn that community, 04:27:45.380 |
Like I went to this beautiful mushroom festival 04:27:56.620 |
and he opens up the tree and goes out and everything. 04:27:59.820 |
He said, I go and I try to study beetles and boletes 04:28:07.600 |
It's like this beetle will fuse on top of another beetle 04:28:16.280 |
while you're on a specific type of bolete mushroom. 04:28:24.880 |
just thinking about goddamn beetles and bolete mushrooms. 04:28:29.000 |
And they're the happiest people you'll ever meet. 04:28:33.240 |
And there's just so much lore there that's not discovered. 04:28:36.480 |
The other thing is there's a ton of undiscovered mushrooms. 04:28:39.760 |
So, you know, you go to my ranch up in Wyoming, 04:28:43.680 |
you'll probably discover six or seven new species 04:28:46.040 |
just doing some gene sequencing and things like that. 04:28:48.960 |
So there's like a gold rush for new things to discover, 04:28:55.600 |
I think there's a lot of wonderful medicinal properties 04:28:57.800 |
and everybody there is just a lot of fun to hang out with. 04:29:00.800 |
The other passion is aquaponics and hydroponics. 04:29:06.060 |
I go to the supermarket, all the store shelves are barren. 04:29:08.600 |
I say, guys, can you imagine if like we had a real big thing 04:29:15.520 |
We need to have resilience at the community level. 04:29:18.000 |
So let's go build a $40, $50 million aquaponics facility 04:29:23.420 |
So at least you have some local production of food 04:29:34.160 |
and alternate your crops properly and so forth. 04:29:36.400 |
And you create a lot of high paying jobs with it as well. 04:29:41.740 |
from staying close to nature and all of these kinds of ways. 04:29:56.520 |
that'll be the line you'll be remembered for. 04:30:03.620 |
- So I think mushrooms is a good place to ask 04:30:15.900 |
likes podcast first, then Joe Rogan experience. 04:30:19.620 |
I guess I'm the moon and Joe's Mars in this metaphor. 04:30:23.980 |
Since I'm a CS person, I can talk a little bit 04:30:29.140 |
'cause fundamentally cryptocurrency is a computational idea. 04:30:36.260 |
He does not necessarily know the technical intricacies 04:30:52.380 |
the cryptocurrency space goes through phases. 04:31:07.940 |
How do you explain this whole space of what Bitcoin is, 04:31:10.980 |
of where Ethereum is, of where Cardano and smart contracts 04:31:15.220 |
what this proof of stake ideas that we've been talking about? 04:31:22.940 |
And so he's probably interested in elk tags, right? 04:31:26.660 |
And you say that whole system can be put on a blockchain 04:31:32.580 |
You always connect it to something they know and love. 04:31:37.860 |
And then they ask, "What else can you do with it? 04:31:41.180 |
And you kind of work your way outwards there. 04:31:43.140 |
Problem technologists make is they're so damn in love 04:31:48.180 |
where they just want to talk about the technology 04:32:10.980 |
Intellectual property is probably pretty important, Joe, 04:32:15.500 |
We can talk about this concept of perpetual royalties. 04:32:18.520 |
So for example, let's say that you create a piece of art. 04:32:21.460 |
You can build into the token itself a perpetual royalty 04:32:26.680 |
Maybe every time it sells, it pays it back to you. 04:32:34.620 |
The point is that the actual acquisition of the NFT 04:32:49.480 |
every time a Picasso sells to something else. 04:32:54.160 |
And so he starts thinking, God, what else can I do? 04:32:56.940 |
Maybe I can do my tickets with these types of things. 04:33:02.680 |
and he's thinking of all the opportunities for him 04:33:08.880 |
And then over time, he starts asking questions. 04:33:12.960 |
Then we can talk about proof of work or proof of stake 04:33:19.480 |
And there's an incentive to have the attention span 04:33:22.840 |
necessary to do the homework, eat the broccoli 04:33:25.920 |
- But it's also an opportunity, at least it was for me, 04:33:30.440 |
is to take another look at the monetary system. 04:33:34.000 |
Even look at the, you know, I've been looking quite a bit 04:33:39.960 |
through the perspective of the monetary system, 04:33:42.240 |
or the gold standard and all those kinds of things. 04:34:00.960 |
And then that allows you to look at the future 04:34:03.360 |
of how we can change that in order to empower people. 04:34:09.800 |
that you're working on is fascinating because, 04:34:18.800 |
And discussing how that could be revolutionized 04:34:21.760 |
is fascinating because a lot of conversations 04:34:24.000 |
end up being on the internet about like number go up, 04:34:32.960 |
I think that's the same for Joe, that's just boring. 04:34:36.760 |
Like it's the investing, the financial side of it, 04:34:40.140 |
I know it has a lot of impact, but it's kind of boring. 04:34:43.520 |
- 'Cause long-term is not gonna have any impact. 04:34:45.080 |
If the ideas are strong, long-term is going to win. 04:34:50.400 |
The ups and downs of the short-term don't matter. 04:35:02.160 |
- You mentioned Diablo, maybe you're a fan of Diablo. 04:35:07.280 |
- Skyrim was great too, like the Elder Scrolls. 04:35:09.400 |
I actually bought the game that the Elder Scrolls 04:35:13.000 |
So way back in the day, the Elder Scrolls series 04:35:16.320 |
was inspired by a game called Legends of Valor 04:35:22.040 |
They ran out of money before they finished it, 04:35:23.640 |
so they just kind of like put this little thing on 04:35:27.440 |
So I actually bought all the intellectual property 04:35:40.240 |
and then he created Arena right after playing it. 04:35:42.520 |
- That was such a good game, Arena, Daggerfall. 04:35:47.040 |
- I had a copy of Daggerfall when I was a kid, 04:35:48.920 |
but it had a bug in, so when you left the dungeon, 04:35:58.580 |
- Yeah, no, the Daggerfall was the fascinating thing, 04:36:06.400 |
but Daggerfall was fascinating 'cause I think 04:36:11.080 |
it was like the largest because it was randomly generated. 04:36:29.760 |
I don't know how many video games do this well, 04:36:32.180 |
where the feeling is you can be lost here forever, 04:36:42.600 |
where Daggerfall was like, I can just keep doing this. 04:36:56.240 |
I mean, there's a nostalgia of youth that's there, 04:36:59.360 |
but it doesn't even have a class system, a level system, 04:37:02.120 |
the combat system is terrible, there's no journal, 04:37:13.120 |
when they did another one of my favorite games, 04:37:20.960 |
They should have never just done Throne of Baal, 04:37:22.840 |
they should have done an actual proper sequel, 04:37:32.440 |
and then you can kind of retrofit it and clean it up, 04:37:50.840 |
like algorithmically generated music is one example. 04:37:53.680 |
The problem with sound in games, as you mentioned, 04:38:00.000 |
so you have tons of repetition in the soundtrack. 04:38:12.920 |
The other thing is you have things like GPT-3 and so forth. 04:38:20.120 |
where you could actually have a dialogue with an AI, 04:38:37.000 |
and I don't want to spoil the plot of the game, 04:38:51.600 |
and it's like things have gotten an order of magnitude better. 04:39:06.480 |
Also, I'd love to explore alternative physics systems, 04:39:11.920 |
like hyperbolic geometry or these types of things. 04:39:15.560 |
And there's actually Hyperbolica is a game that does that. 04:39:19.040 |
And you can do down the Euclidean geometry as well, 04:39:23.680 |
And that's what we'll do is Legends of Valor. 04:39:28.560 |
It's kind of like, I saw Aerosmith years ago, 04:39:51.800 |
because of the Microsoft acquisition of Bethesda. 04:39:56.480 |
and there's a lot of belief that Elder Scrolls VI 04:40:03.760 |
I will go into, I'm all about love on the internet, 04:40:11.400 |
- Well, we might have to do a spiritual successor, right? 04:40:14.120 |
And it might have to happen with Legends of Valor. 04:40:17.440 |
But it's a passion project, so I have no time for it at all. 04:40:24.640 |
and we'll build a nice crew, and we'll do it in Wyoming, 04:40:27.440 |
probably in Wheatland or some really small town, 04:40:31.280 |
and then we'll have to build the whole city up 04:40:36.720 |
- Well, I like programmatically generated music. 04:40:46.720 |
'cause I remember Baldur's Gate was the first game 04:40:49.120 |
where I realized music is so important to the game. 04:40:52.200 |
It was the thing I remembered about the game. 04:40:54.160 |
It was the reason, it was the thing I thought about 04:41:13.960 |
or Bear McCready in to do that, it would be so cool. 04:41:25.080 |
- Yeah, Baldur's Gate's definitely in the top three. 04:41:30.280 |
And Arcanum was, Troika Games was just this amazing studio 04:41:42.160 |
in kind of like a 19th century Victorian England play, 04:41:46.320 |
but then there's also magic inside this game world. 04:41:52.040 |
And the more technology you have, magic stops working. 04:41:54.720 |
The more magic you have, it disrupts technology. 04:42:00.760 |
And so you're just this character in this game world 04:42:03.320 |
and you're just trying to figure out like where do you fit? 04:42:08.760 |
where you're kind of just a stowaway on a zeppelin 04:42:11.680 |
that gets shot down and you get dragged into this conspiracy 04:42:15.580 |
and you have to kind of figure out the conspiracy 04:42:21.960 |
And they've all been impacted by the proliferation 04:42:25.640 |
Like the humans use steam engines to clear cut 04:42:28.480 |
all the forest and it caused a lot of problems. 04:42:30.760 |
The dwarves leaked that technology to the humans 04:42:33.480 |
and so they kind of got exiled for it and so forth. 04:42:36.080 |
And you have to decide like where do you fit all this? 04:42:43.680 |
There's like 40 different endings for the game. 04:42:48.840 |
And you talk about a procedurally generated world, 04:42:53.080 |
you just walk and the world randomly generates. 04:42:56.120 |
where there was interesting things along the way. 04:42:59.820 |
and it was kind of the last of a generation of games. 04:43:27.840 |
you could actually talk the villain into killing himself 04:43:57.780 |
- Yeah, it's another one on the Infinity Engine, 04:44:02.760 |
And God, that was such an incredibly well-written game. 04:44:05.960 |
You play this character called the Nameless One, 04:44:07.680 |
this little blue guy, and you wake up in a morgue. 04:44:11.880 |
And every time you die, you lose all your memories. 04:44:14.180 |
And so you've just been apparently living this life 04:44:19.960 |
in this crazy city called Sigil who know you, 04:44:23.640 |
And you're trying to figure out your name, your identity, 04:44:25.680 |
and why do you have this curse where you live forever, 04:44:28.720 |
but you keep forgetting every time you get killed. 04:44:31.120 |
And it turns out you weren't such a nice person 04:44:36.560 |
well, if you can start over and you lose all your memories, 04:44:42.680 |
So it's an incredible game, Planescape Torment. 04:44:48.920 |
You can just kind of talk your way out of everything. 04:44:50.800 |
And there's probably like a thousand pages of dialogue 04:44:54.480 |
Those guys had a lot of fun and a lot of drugs 04:44:57.840 |
- Do you think these three games are the kinds 04:45:03.880 |
because we sort of got desensitized to the richness 04:45:08.880 |
of computer graphics and all those kinds of things 04:45:13.960 |
because your storytelling medium is so much more engaging. 04:45:17.440 |
You know, I was at the movie theater before COVID 04:45:21.160 |
was looking at their cell phone during the movie. 04:45:28.560 |
And the video game is one of the last mediums 04:45:30.600 |
where you have undivided attention of people. 04:45:35.960 |
And so I think the fact that you have VR and AR 04:45:39.080 |
and enhanced graphics and all these new gameplay mechanics, 04:45:42.480 |
it's a value add instead of a value negative. 04:45:47.720 |
and you're trying to connect people to something. 04:45:55.080 |
Or something like, it'd be great to do 13th floor 04:45:59.320 |
And the question is, well, how good of a story can you tell? 04:46:02.160 |
Well, you're constrained by your storytelling tools 04:46:05.240 |
The fact that games are so much more advanced now 04:46:14.200 |
and really good AI coming in the next five or 10 years, 04:46:26.280 |
The other thing is they're still educational. 04:46:27.720 |
You can teach people concepts that they never knew before. 04:46:36.760 |
A lot of people learned how computers work from Redstone. 04:46:52.900 |
also expand our knowledge, expand our ability to think, 04:46:57.120 |
explore different ideas and do education broadly defined 04:47:05.040 |
the entirety of life in the video game worlds. 04:47:08.160 |
Hopefully it doesn't look like Minecraft, but we'll see. 04:47:19.040 |
thinking about their career, thinking about life? 04:47:28.280 |
I mean, that ship has sailed a long time ago. 04:47:30.360 |
So learn how to learn and learn an appreciation 04:47:41.520 |
So good study skills, slip box notes, these things, 04:47:55.240 |
and then decide what's useful to you for that moment. 04:48:06.000 |
It's like how smart you are excuses everything else. 04:48:18.600 |
You have to be smart, but you also have to be a nice guy. 04:48:22.960 |
So learn things like closed circuit communication 04:48:26.440 |
These skill sets will always pay enormous dividends 04:48:31.400 |
Third, remember that you're judged for the things 04:48:33.280 |
that you have and what you do with those things. 04:48:37.800 |
When you have a lot, you have to do even more. 04:48:43.200 |
Learn how to give back, volunteerism, charity, 04:48:48.120 |
Those are so incredibly valuable to a person's development. 04:48:51.300 |
The people that you mentored in the academic world, 04:48:58.160 |
And it might just so happen they might eclipse you. 04:49:08.100 |
Make sure that you mentor people, you give back, 04:49:10.440 |
and you learn how to learn, and you learn how to teach. 04:49:12.680 |
Super important for your development as a person. 04:49:15.120 |
Now you'll notice all those things are agnostic 04:49:16.980 |
to whatever domain you happen to have chosen. 04:49:19.080 |
You could be in medicine or law or technology, 04:49:24.920 |
And don't conflate your earning and your career. 04:49:27.800 |
If people try to keep putting these things together, 04:49:32.760 |
There's a lot of cases where people do their passions 04:49:37.780 |
but then they have something else they do on the side 04:49:46.600 |
You see this a lot with musicians or other people. 04:50:01.760 |
And you had a crown and you kept calling yourself king. 04:50:24.860 |
What's the meaning of this whole thing of life? 04:50:31.620 |
- Does this have something to do with a farm? 04:50:39.700 |
It's like, if you're gonna live anywhere in Japan, 04:50:44.580 |
At four o'clock in the morning, you can get good ramen. 04:50:47.220 |
These are the things in life that make you who you are. 04:50:50.620 |
So there was a shogun and he was kind of a badass. 04:50:57.300 |
And then he got a bit disgruntled in his late 40s. 04:50:59.940 |
And he said, "You know, I'm just gonna give it all 04:51:09.740 |
He said, "No, no, no, that's what I'm gonna do." 04:51:14.700 |
And then he's just wandering throughout Japan 04:51:16.700 |
and having all these incredible, crazy adventures 04:51:31.060 |
and they notice him slumped over next to a cherry tree. 04:51:33.940 |
And so she goes over to try to rouse him and he's dead. 04:51:43.880 |
The point is that it's not the actual blossom 04:51:49.340 |
It's the things you do on a day-to-day basis. 04:51:53.560 |
the experiences you have, and the joy you take 04:51:55.700 |
in the things that you do here in the moment now. 04:51:59.860 |
You know, if you look at Jiro Dreams of Sushi, 04:52:17.120 |
And every day he gets to basically roll that stone 04:52:19.820 |
just a little bit better than the day before, 04:52:25.620 |
It isn't getting the stone up at the top of the hill 04:52:28.700 |
It's the fact that the act, you find that joy 04:52:35.180 |
That I think is the closest thing a human can get 04:52:44.860 |
And if you compare it to the size of the universe 04:52:51.840 |
is just find meaning in the things that you do 04:52:56.460 |
We have all this wealth and power in America. 04:53:13.720 |
you're in a position where you can find a modicum 04:53:23.180 |
is the ability to share that mindset with other people 04:53:29.560 |
'cause everybody comes to you, they're always, 04:53:33.180 |
"but this and that, a reputation this and that." 04:53:35.600 |
You have to somehow transcend all of it and say, 04:53:43.360 |
- See, you're also a fan of fishing, I read somewhere. 04:53:48.440 |
And one of my favorite books is "Old Man and the Sea," 04:53:51.160 |
where there's an old man sort of battling a big fish 04:53:58.360 |
and basically closing out the last chapter of his life 04:54:02.900 |
So I think another aspect of life with this boulder, 04:54:06.120 |
it feels like the boulder gets bigger and bigger 04:54:11.000 |
And you find yourself married to a particular struggle 04:54:15.280 |
in life that eventually just kind of overtakes 04:54:28.560 |
The broader vision that unites your work with Cardano 04:54:44.140 |
- Well, in mathematics, it was the Goldbach conjecture. 04:55:00.880 |
and you don't have the creativity and the raw inspiration. 04:55:04.080 |
This is why I've gotten to automated theorem proving 04:55:06.040 |
'cause what I lack in, 'cause I'm getting older, 04:55:16.520 |
But yeah, mathematics still has those last passions 04:55:22.280 |
Like quota complexes allow you to unify topology 04:55:26.600 |
and there are all kinds of cool things, but who cares? 04:55:34.400 |
Another thing I love to do is bring back the woolly mammoth. 04:55:37.040 |
You know, that's George Church's hidden pleasure. 04:55:39.240 |
In five to 10 years, it's actually gonna happen. 04:55:44.440 |
to let me raise his clone mammoth fence on my ranch. 04:55:48.420 |
- Among the bison, they'd probably get along really well. 04:55:50.800 |
And then I have to learn all these cool things 04:55:52.440 |
about woolly mammoths, like do you shave them 04:55:56.320 |
during the winter or do you just let that coat go 04:56:02.040 |
- I just had the image of Charles Hoskinson alone 04:56:05.000 |
on a bison farm trying to raise a woolly mammoth. 04:56:14.640 |
- Yeah, with a chalkboard that you keep scrambling on 04:56:22.480 |
You guys are all figments of my imagination anyway. 04:56:28.940 |
They get really damn big if you see those guys. 04:56:33.560 |
and catch the same fish twice and recognize it. 04:56:38.240 |
That'd be really cool, going back to the fish thing. 04:56:42.880 |
I've gone through a lot, we can just be like old friends. 04:56:53.440 |
Charles, this was one of the most amazing conversations 04:57:18.320 |
And thank you to Gala Games, Allform, Indeed, ExpressVPN, 04:57:25.000 |
Check them out in the description to support this podcast. 04:57:35.280 |
"until you have the courage to lose sight of the shore." 04:57:39.240 |
Thank you for listening and hope to see you next time.