Cardano (ADA)

From List Wiki
Jump to: navigation, search

Related Wiki List Type
Cryptocurrencies List of All
Cryptocurrency Exchanges List of All
Cryptocurrency Wallets List of All
Cardano (ADA) Trading Platforms List of All
Bitcoin (BTC) Detail Page
Ethereum (ETH) Detail Page

Official site (website): YouTube video (channel): YouTube video (channel): Facebook account (fb): Official Twitter account: Official Twitter account: Reddit: Discussion forum: Discussion forum: Github: Explorer: Website (site): Website (site): Website (site): Website (site): Website (site):

Truth and facts[edit]

  • What is Cardano? Cardano is a soon to be decentralized, fully open source, public blockchain protocol and cryptocurrency project.
  • Cardano coin is called ADA, the cryptocurrency of Cardano. The official wallet supporting Ada is the Daedalus wallet, there are several third party wallets including a browser wallet called Yoroi and several mobile phone wallets.
  • The project aims to become a smart contract platform similar to Ethereum, contracts will be written in Solidity and Plutus languages.
  • Cardano uses Ouroboros proof of stake instead of proof of work, which is more energy efficient.
  • Cardano is known as Ethereum of Japan because of high number of investors and developers in Japan working on Cardano project.
  • Cardano could also be called Ethereum of Hong Kong, as the company behind Cardano is called IOHK, input-output Hong Kong which is based in Hong Kong.
  • Cardano makes extensive use of peer review and formal methods, core components are built using the Haskell and Rust programming languages. There is a focus on interoperability and scalability.[1] Cardano scaling [2]
  • IOHK have committed to the project until 2020.
  • Split into 'Epochs'
  • Slot leaders instead of miners
  • Consensus over range of blockchains.
  • Ability to scale vertically and horizontally.
  • Potentially multiple Epochs at the same time.


  • Charles Hoskinson, a co-founder of Ethereum, is the founder of Cardano. He is also the chief officer of Input-Output Hong Kong (IOHK).

Story and history

  • Cardano is founded in 2015 and ADA is launched in 29 September 2017.

Video Playlist[edit]

Cardano (ADA coin) in a Nutshell

00:00 What's up everyone, my name is Michael and welcome to box mining.
00:01 Today I want to talk about Cardano, it's a blockchain project with the coin called ADA.
00:06 And it's been called many names really, it's been called the Ethereum of Japan, is being called Ethereum killer and there's been a lot of excitement about this coin and a lot of requests for a video review.
00:21 So in this video I'm gonna talk about the basics of Cardano, what is Cardano, who's behind Cardano, because this really helps me think about Cardano and what is trying to do.
00:31 I'm also gonna be talking about a few components of Cardano, the proof of stake algorithm called Ouroboros and of course Cardano scaling and how it's trying to solve the problems related to Ethereum.
00:45 I'm also going to talk a little bit about the Cardano roadmap and of course the company behind Cardano called IOHK input/output Hong Kong.
00:53 I'm also going to cover a little bit about the competition that Cardano gonna face as well, so you can make your own judgment on Cardinal.
01:02 This is a nutshell video, so I'm just gonna try to cover as much as possible in the shortest amount of time as possible, that way you get a brief overview of what's happening here.
01:12 This will serve as a good starting point for understanding of Cardano.
01:16 Of course everything covered here is my personal opinion and not financial advice.
01:20 So let's start off with how to think about Cardano and for me personally the easiest way I can think about Cardano is through its founder Charles Hoskinson.
01:30 So Charles is the chief executive officer of io HK and IO Hk is the developers behind Cardano, so that's how it's all related.
01:41 Well Charles Hoskinson is also a co-founder of Ethereum.
01:46 So he's been there since very start and he's seen, and he's been there try involving, drawing Ethereum out of Bitcoin, adding the smart contract features, and that's why it all clicked for me.
02:00 For me just knowing who's behind this realize, all right this guy wants to extend Ethereum, wants to fix the problems behind Ethereum and Cardano is exactly that.
02:10 So let's start off what is Cardano?
02:13 So Cardano is a blockchain protocol, its own blockchain, just like Ethereum is its own blockchain you know, bitcoin is its own blockchain, it's got a cryptocurrency called ADA.
02:23 So you can transfer ADA on the Cardano blockchain.
02:26 It does one thing very well, and it's main objective is to do smart contracts.
02:31 So this is very similar to what Ethereum does.
02:34 Ethereum is all about starting those smart contracts and those decentralized applications.
02:39 Smart contracts are all about programmable money, it's about removing that trust that you have to place into people and putting that on a decentralized trust as nature.
02:51 So how does that even work?
02:53 Well you probably might have heard about initial coin offerings, icos.
02:57 Those are an example of a decentralized application.
03:00 When you want to contribute to an ICO, you can send Ethereum to an address and with that address, that is a decentralized application and it will assign you tokens based on how much Ethereum is sent.
03:14 The thing is when you send that Ethereum, you have a guarantee that this contract, as long as it's legit, as long as you know, you see what's happening, that this contract will provide you with tokens.
03:25 We also have other examples of this, such as crypto kiddies, we have kitty cats living on the blockchain and you can make kitties and produce different kitties of different or similar nature and that is another example of a decentralized app, because it runs on a blockchain and it runs in a decentralized fashion.
03:44 There's no one that can say, oh yeah we're not gonna give you any tokens or anymore or you can't create your own kitties.
03:49 All the rules are written in a smart contract and you can trust a smart contract to run because it's technically a machine, it's a line of code.
03:58 So it's not influenced by personal opinion, is not influenced by a third middleman, and that's a major advantage of Ethereum.
04:05 But of course a theorem has some problems.
04:08 Because smart contracts are programmable, it's quite expensive to run very complex operations on Ethereum.
04:16 So in terms of computational power, Ethereum really isn't very powerful as a supercomputer, it's very weak, it's been kind of correlated to a old Nakia phone.
04:27 That's how slow it is and how much memory it got.
04:32 It's made slow because it's the first one that was ever built.
04:34 There's another issue of equilibrium of course that is transactions for a second.
04:38 Sometimes during an ICO, you already can see that Ethereum blockchain gets clogged up by the number of people who want to send transactions.
04:46 The number of transactions per second right now, currently on the Ethereum blockchain is quite low.
04:52 So these are some issues with the Ethereum protocol and this is something that Charles Hoskinson, the creator of Cardano spotted and he wants to fix, so that's where it all makes sense to me.
05:03 So of course Ethereum is also trying to fix these problems, I want to point that out straight out.
05:10 And of course it's a little bit harder for Ethereum because Ethereum is already running.
05:15 Implementing changes on Ethereum is like implementing changing changes on a moving machine, changing the engine on something that's already running, and this is extremely difficult.
05:25 So Cardinal had a time, since 2015 when it was originally founded and conceived to create a new version of a smart contract system, with something called proof of stake.
05:36 So I'm going to talk about this and this is something that they've been working on for quite a long time.
05:41 So since founding in 2015, Cardano been kind of in a research phase and now it's finally presenting its own blockchain, so this what happened very recently.
05:51 So they did all this research, they spent all this time to slowly design a new blockchain.
05:55 Before this new blockchain, they're using something called provably secure proof of stake blockchain protocol.
06:02 So what does this even mean and how does this affect you?
06:06 Well if you know something about Ethereum, Ethereum is secured by mining.
06:11 It creates new blocks, kind of putting all those transactions on that happens on Ethereum into a block via process called proof of work or mining.
06:20 So we have something like I've been talking about a lot about these processors, you get GPUs, you get different GPU units that mine and it they take electricity and they take a lot of power to secure the Ethereum Network.
06:36 Proof of stake is a way of replacing miners, it's in changing stuff like this to a stake in a project.
06:43 For example in ADA, in Cardano, you just hold ADA, now you prove that you hold this and now you can start creating blocks.
06:51 So instead of owning a miner you can just own ADA.
06:55 And the thing is proof of stake, because it doesn't require power to run, it's very energy efficient and allows a way to secure the network with just the network itself.
07:07 So this is the way that we achieve consensus, we make sure that everyone's on the same page, all those accounts are balanced, this is what proof of stake is trying to do.
07:17 But instead of running it by miners, it's run by these slot leaders which hold ADA coin.
07:21 So it's cheaper to run and it's almost as secure.
07:27 The thing is right now, there's a lot of projects that want to move to proof of stake, but they can't or something like Ethereum, they want to move to proof of stake, but they want to face it and introduce it in small parts because of the security element.
07:40 By securing a network by mining, you offer what is known, what is Bitcoin experiencing, it's Bitcoin has been secured for many many years and there wasn't any way that you can like hack the Bitcoin network.
07:54 This is why things like, oh we can create Bitcoin out of thin air just can't happen.
07:59 This is also why bitcoin is a store of value.
08:01 You can't just arbitrarily create Bitcoin and in the same way you can opportunity create Ethereum.
08:08 I like to also say that securing a blockchain is very different from securing the distributor apps that run on a blockchain.
08:14 So for example Ethereum people have heard about the Ethereum hacks but they're actually applications written by other developers that are running on Ethereum.
08:23 The Ethereum network itself has not been hacked.
08:28 If it has, then people can just steal funds or rewrite transactions and just cost general chaos but Ethereum is also trying to be a store of value as well.
08:39 So I do want to make that distinction, what Cardano wants to do is it wants to secure everything by proof of stake and of course using a new Proof of stake called Ouroboros.
08:48 Another thing that Ouroboros allow is it allows Cardano to scale.
08:53 So I did talk about how Ethereum is quite slow in terms of computational strength.
08:59 The number of transaction per second and of course the computational power of the network is quite low and that's why gas is expensive, to pay for something that's computationally very expensive, you might even run out of gas sometimes.
09:13 Cardano splits time periods into epochs and this is something that's not seen before, and it's quite unique to Cardano.
09:21 Instead of miners, we have slot leaders that create new block, secure the network, mine those transactions, process those transactions and of course they try to achieve consensus in the network.
09:32 So everyone that's on Cardano has is on the same page.
09:37 And this is what's important about distributed computing.
09:40 And the thing is of course, Cardano isn't just about a single blockchain.
09:44 Theoretically Cardano can scale so thats slot leaders can create different block chains too.
09:49 So by doing so, by splitting the workload between multiple block chains, you're no longer limited to one single block chain and one congestion, it's like having many roads out of a city is suggesting having one Road out of a city.
10:05 If you have one Road out of a city it gets congested at times and then you feel so helpless because you just can't move, just may be a traffic jam, maybe a car crash, something happens and nothing can get done.
10:18 But having multiple roads, but having multiple block chains, you allow a greater transaction throughput and alternatives.
10:25 This can also be scaled vertically and horizontally too.
10:28 So Cardano can have multiple epochs running at the same time.
10:32 So it's like a two dimensional scaling instead of a single dimensional scaling.
10:36 This allows for a lot of transactions to be done.
10:38 And the best explanation for this, if you guys are very interested, is the Cardano whiteboard with Charles Hoskins.
10:45 So you can watch this video, it's been really great and he explains it very well about how its organized and how they want to solve the issue of scaling on Ethereum using this method.
10:55 So I think this was one of the most attractive things about Cardano and why people call it the Ethereum killer.
11:01 It's because of the fact that it can scale both vertically and horizontally to have a huge amount of transactions and to do a huge number of calculations on it too.
11:12 Of course there's a lot of other things that haven't covered here about Cardano.
11:17 For example it's written in the language Haskell, and Haskell is viewed to be quite modern and advanced as a programming language.
11:25 They've also been trying to make sure that the distributor apps running on Cardano is extremely safe and they try to encourage better coding practices including industrial-grade kind of like airplane type coding press practices.
11:38 So these are all things that Cardano trying to do to solve the issues that we do see on Ethereum.
11:46 So I'll be saying that Cardano trying to be Ethereum killer but in a famous talk by metallic, metallic said that Ethereum killer is Ethereum.
11:54 Ethereum is also thinking about ways to scale.
11:57 And you know the idea of block chain in block chains.
12:00 Well there's a technology called plasma that Ethereum is gonna try to implement that will do block chain within block chains.
12:07 So there's a lot of improvements in Ethereum that they're trying to implement but of course it takes a while.
12:12 So one of the competition sources for Cardano will be Ethereum itself because it is also a moving target.
12:19 We also have EOS, EOS has an amazing way of dealing with transaction throughput and of running decentralized applications.
12:28 They also have a different kind of ideology.
12:31 So if a user wants an interactive a smart contract, the smart contract provider would be the one that pays for the transaction.
12:40 So they'll have to stake various amounts of Eos.
12:42 And this is a kind of a go reversal so if you want to interact with your app, say you want to use Facebook, you don't want to be paying for transactions like every time you click like, you don't be paying that, you want Facebook to be the one that provides everything and hosts it.
12:58 So that's kind of the idea behind EOS.
13:01 It has a different way of thinking, but it's also tried to you know cater for decentralized apps and of course smart contracts.
13:10 We also have IOTA as a potential competitor as well.
13:12 IOTA doesn't offer as much in terms of smart contracts but its transactions are free, so the way it scales is going to be completely different.
13:20 This is a very brief summary of Cardano and of course I do want to say that the name Ethereum of Japan came about because of the number of investors and the developers that are working on the Cardano project in Japan.
13:32 So there's a lot of involvement in the Japanese community in here, that's why it's kind of called Ethereum of Japan.
13:40 But it could equally be called the Ethereum of Hong Kong because of course a company behind it is called input-output Hong Kong and it's based in Hong Kong.
13:48 In fact IOHK have been trying to get developers who are previously developing for Ethereum to switch over to Cardano and they're starting incubator programs here in Hong Kong.
13:55 So because I am in Hong Kong as well, I'll try to keep you guys up to date with what they're trying to do.
14:02 So guys, I hope you enjoyed this video and I hope you guys understand a little bit more about Cardano.
14:08 If there's anything you don't want to understand or there's any features of Cardano that you want me to cover in addition to this, please leave a comment below and I'll try to include that in a follow-up video.
14:17 Thank you guys so much for watching this video, remember to share this video to anyone who might think it's interested in Cardano or researching about Cardano and hopefully that will provide a little bit of help for them as well.
14:29 Thank you guys so much for watching, remember to subscribe to this channel by clicking the little subscribe button down below and the notification about to get notified of new videos like this.
14:37 Thank you guys so much for watching, see you next time.

Cardano Block Explorer tutorial video

00:00 Welcome to the Cardano block explorer tutorial video.
00:11 The Cardano block explorer provides a user-friendly way of exploring the transactions that occur in the carbonic blockchain.
00:19 In this short tutorial, we'll use a test version of the Cardano block Explorer.
00:25 We'll learn how to search for epochs, slots, transaction IDs and wallet addresses using this free tool.
00:34 If you have previously used bitcoins block Explorer, transaction IDs and wallet addresses should be familiar to you.
00:43 Epoch and slots however are probably new concepts.
00:48 These differences arise out of Cardano use on a resolution Airy proof of stake algorithm called Ouroboros.
00:56 Let's start by exploring the transaction fees.
01:01 This is a list of transactions that have recently occurred in the Cardano blockchain.
01:08 The first of these columns tells us the transaction ID.
01:12 This is a unique code that identifies a particular transaction.
01:18 Next to it we have the time and date at which the transaction occurred.
01:26 Followed by the final column, that shows the quantity of ADA that was transferred.
01:33 If we want to learn more about any individual transaction, we can click on the transaction ID.
01:40 In this screen, we can learn more information about this transaction.
01:47 Including from which wallet address the ADA was sent, as well as which address received it.
01:56 From here, we can dig down one more level by clicking on the receiving address.
02:03 This screen displays further information about the account, including its current balance.
02:10 Let's return to the home page where we'll see the Cardano specific terms, epochs and slots listed.
02:21 In Ouroboros, ADA holders are randomly selected through a lottery and allocated to a specific time slot.
02:30 During this time slot, they are given the opportunity to produce a new block and update the blockchain.
02:40 When this time slot passes, the opportunity expires and passes on to a new ADA holder, who has been selected for the next slot.
02:51 Just like with minutes and hours, after a certain number of slots of paths, we enter into a new epoch, resetting the slot number to zero and beginning the lottery again.
03:05 The last slots table you can see here, gives us information about the activity that is occurred in the Cardano blockchain, in the most recent epoch, for each of the most recent slots.
03:19 This column tells us that in our current epoch and slot, there have been two transactions that have taken place.
03:32 If we return to the homepage at the top, we can see a search bar that allows us to search for a transaction by entering one of these, this is a search term.
03:47 If I paste in the transaction ID, which we were looking at earlier, we've taken back to the details page where we can see all the details of this transaction.
03:59 The Cardano block Explorer is a useful tool to navigate the Cardano blockchain.
04:06 While Cardano is in its testing phase, all transactions are for demonstration purposes only and no real funds are at risk.
04:18 We hope you've enjoyed this tutorial and we'll spend a few minutes examining the Cardano blockchain explorers features.
04:26 If you have any questions please leave a comment below and feel free to share this with your friends and family.

Cardano whiteboard with Charles Hoskinson

00:00 Hi I'm Charles Hoskinson, chief executive officer of input/output Hong Kong and I'm here today to talk a little bit about Cardano.
00:11 So to understand Cardano, first you have to understand where Cardano came from so let's talk about the first generation of cryptocurrencies.
00:17 So first gen is Bitcoin.
00:22 And the problem that Bitcoin was trying to solve was really could we create a decentralized money, could we create some sort of token that lives on some sort of decentralized blockchain maintained by people all around the world and that token would be scarce and tradable.
00:40 So when Alice and Bob want to send value to each other, there would be a mechanism for doing that did that did not require a trusted third party, a trusted intermediary.
00:52 Now this was kind of a really cool and interesting idea, it had very old roots, starting from the 1980s and Beyond.
00:58 But Bitcoin was really the first to bring this all together and it was a tremendously successful experiment.
01:05 After just a few years Bitcoin not only accrued thousands of users but also started being worth real money, tokens went from less than a penny to actually $1.00 to eventually $100.
01:17 And right around that time period we saw a huge influx of people saying boy this is really interesting.
01:24 However the issue is that the transaction between Alice and Bob has more than just the act of moving money associated with it, there's a story behind that transaction, there's terms and conditions.
01:36 For example what if Alice says the Bob I'll give you the money if and only if you mow my lawn, I'll give you the money if and only if you repair my roof, this is a contract, this is the story.
01:50 So first generation of technology wasn't really well suited for this, every single time someone wanted to make a change to Bitcoin, that have to build another cryptocurrency or they'd have to figure out how to install some sort of cumbersome overlay protocol like master coin or color coins.
02:05 So back in 2014, metallic pewter in myself and many others came together and launched the first second generation blockchain, and this is Ethereum.
02:14 Now Ethereum is kind of like when javascript came to the web browser.
02:21 We went from these static simple pages that were not terribly functional but at least they did something to pages that were fully programmable.
02:31 This then enabled us to build the Facebook’s, the Google’s, the Gmail’s, the experiences we've come to know and love.
02:38 So Ethereum brought a programming language to a blockchain.
02:42 So this programming language paradigm allowed smart contracts to be written, to have customizable transactions.
02:51 So when Alice sends that value to Bob, all those terms and conditions could then be embedded within the transaction, and it can be bespoke to her particular needs.
03:00 Now this paradigm like Bitcoin also took off and now Ethereum is among the largest of crypto currencies and has a huge developer community.
03:07 Unfortunately just like Bitcoin, we're starting to enter into a new realm, we're going into the third generation.
03:17 Where we've realized that Ethereum can't scale to millions of users, to billions of users.
03:25 Ethereum doesn't really have a good developer experience.
03:29 Ethereum and all cryptocurrencies have really a bad governance experience right now, where every single time there's a major disagreement, instead of finding a way to resolve it, we end up usually seeing things like Ethereum a Ethereum Classic, or things like Bitcoin and Bitcoin cash.
03:44 Furthermore there are big sustainability problems in the space, namely after the ICO money is out, for a project that's funded this way or let's say the venture capital runs out, who will fund and to grow the chain, who will fund to actually build out an ecosystem, these are big open questions.
03:58 So the third generation is all about three topics, one is scalability, two is interoperability, and finally there's this notion of sustainability.
04:17 So the Cardano project is really our philosophy, our vision on how to solve each of these categories in a way that we feel it's going to inherit the best features and lessons learn from generation one in generation two but also add a lot of new concepts and technologies in space.
04:38 And this project is built with some really good principles, namely two.
04:43 First off all the science that guides the solutions to these problems goes through some notion of peer review.
04:52 So we go to conferences, we write proper scientific papers, we engage universities and all the engineering, we have the goal to eventually implement as high assurance code.
05:02 Which means the same types of techniques one would see with the Shinkansen or a jet engine where when the failure of the system results in human death, we can apply those techniques to our protocols, the engineering and development, so that we have a much higher belief in the quality of the code.
05:25 This avoids events like the DAO, the parity hack and other such things as we've seen in the space.
05:29 So let's go through each of these in more detail, starting with scalability.
05:33 So scalability is kind of a loaded term and it has a heck of a lot of meanings.
05:42 But from a cryptocurrencies perspective, you can really think of scalability in three different perspectives.
05:50 So one of scalability in terms of transactions per second.
05:57 So you'll often hear people say well bitcoin has seven transactions per second or Ethereum has 10 or 20 transactions per second and this new protocol has 200 transactions or 300 transactions per second.
06:09 This notion of how many transactions are able to get into a block within some finite period of time.
06:16 But it's not the only thing that you have to concern yourself with.
06:18 Transactions carry data and as you get more transactions you require more network resources.
06:26 So there's also this notion of bandwidth or network, where for a system to scale if it's going to go to millions and billions of users that system could require hundreds of megabytes to gigabytes per second of bandwidth to be able to support all the data flowing through it.
06:41 This is their common in the enterprise world but not quite where we need to be in the peer-to-peer world.
06:45 And then finally there's this notion of data scale.
06:47 So blockchains store things hopefully forever.
06:54 And so every time you put a transaction in regardless if it's relevant or not, it ends up in the log.
06:57 And as you have more and more transactions per second, you need more and more data.
07:03 And as a consequence block chains will grow from megabytes to gigabytes, to terabytes, to petabytes and potentially even exabytes.
07:10 Again this is okay if the network grows.
07:13 But when we talk about a replicated system whose security model relies upon each node having a copy of the blockchain, this is not tractable for consumer hardware devices.
07:22 So Cardano, what we're trying to do is figure out ways to solve these problems in a very elegant way.
07:30 Namely that as we add people to the network, we naturally get more transactions per second, we get more network resources and eventually we'll get more available overall data storage, without compromising our security model.
07:42 So let's talk a little bit about some of the innovations we've already brought, namely with the throughput.
07:47 We have developed a peer reviewed white paper for our provably secure proof of stake protocol, called Ouroboros, and Ouroboros is among one of the most efficient consensus protocols in the cryptocurrency space.
08:10 And it's the first to actually be proven secure in a very rigorous cryptographic way.
08:17 The magic of hora Boris is that it's been designed in a modular way, and it's been designed with future proofing in its DNA.
08:25 So namely how Ouroboros works?
08:25 His Ouroboros breaks the world into epochs.
08:33 It takes a look at the distribution of tokens and grab it from a source of random numbers that's able to hold an election and create slot leaders.
08:49 Now these law leaders functionally do the exact same thing that a miner would do in Bitcoin.
08:54 So this is basically the same as a person who discovers a block, wins a block in Bitcoin.
09:01 But the difference is that it doesn't require the extensive computational resources that Bitcoin requires to construct a block.
09:07 And as a consequence, this system is considerably cheaper to run, even though we still have similar security guarantees that Bitcoin currently enjoys.
09:17 So it's a major advancement.
09:19 But the other really interesting thing is that these slot leaders don't have to just maintain a single block and a single chain.
09:26 They can actually maintain other blocks and other chains.
09:31 Because the cost of constructing a block is so low, it's actually now tractable to talk about consensus over a range of block chains instead of a single chain.
09:46 Furthermore, epochs perhaps could even be run in parallel.
09:48 So instead of having one epochs run and then another epic run, one cloud develop a system using Ouroboros, where epics run in parallel and transactions are partitioned accordingly.
10:03 What this effectively means is as you gain more users and your users gain more capabilities, these slot leaders will be able to maintain more types of block chains and also run transaction processing for blockchains in parallel, this is a major advancement.
10:16 The other cool thing is that Ouroboros has very rigorous security standards in terms of its theoretical foundations as well as its implementation.
10:26 So as a consequence, as we develop new capabilities for the protocol, these capabilities are somewhat composable, meaning that these capabilities will also be secure.
10:35 Whereas other systems, one has to prove these things on a case in case basis, in some cases make major modifications or changes to their system.
10:42 In addition to this, we intend on Ouroboros actually being quantum resistance, sometime in 2018 hopefully.
10:49 Where when the slot leader signs these blocks.
10:52 They'll be using a quantum resistant signature scheme, so we can get even more future proofing into the system.
10:57 So that's kind of the first view is how do we construct a way of maintaining the network that doesn't cost three hundred thousand dollars an hour, which is what Bitcoin currently costs at the current market rate of five thousand per coin, and how do we build a system that allows us to go parallel and also allows us to potentially maintain multiple chains concurrently, this is the heart of Ouroboros.
11:17 Now as we mentioned before, one of the most important things when one develops new cryptography is to make sure that this cryptography is developed in a very rigorous, peer-reviewed way.
11:29 So Ora Boris actually was accepted at crypto 17, where our team went there and to present it, and future versions of the protocol continue to go through more rigorous peer-review, giving us a high assurance that the conceptual design of the system is correct.
11:47 The other side of it is we're actually modeling a formal specification of Ouroboros using side calculus, which is a wonderful formal modeling language that's machine understandable, that eventually we're going to be able to connect to the Haskell code in our github repo and actually show that we've correctly implemented the protocol, this is a standard that actually does not exist in our space, and we're very excited to be the first to bring it to the space.
12:13 But that's not the only thing required for scalability.
12:15 You also need the ability to move large amounts of data at the same time.
12:24 As our network grows from a few hundred transactions per second to thousands to tens of thousands to hundreds of thousands of transactions per second, you cannot maintain a homogeneous network topology.
12:35 In other words you cannot have a situation where every node has to relate every message because there will be nodes that don't have those capabilities, especially as they grow.
12:47 So we're actually looking at a new type of technology called RINA, and this stands for recursive internet work architecture.
12:58 And so Rina is basically a new type of structuring networks using policies and clever engineering principles, mostly conceived by John Day, who's based out of Boston University.
13:21 And the goal here is to build a heterogeneous network that gives you similar types of privacy guarantees, transparency guarantees, scalability guarantees that you would expect to get from network protocols like TCP IP, but do so in a way where you can actually reason about how the network is going to compose in a formal capacity.
13:42 So in other words, RINA is a major step forward that will give us a way to very naturally tune and configure Cardano as it grows from hundreds to thousands to tens of thousands of transactions per second.
13:53 And something that will very seamlessly connect and interoperate with tcp/ip.
13:57 We're very excited to bring this in part to the Cardona ecosystem in 2018 and in completely around 2019.
14:05 And we think it will be a big solution to a lot of the network overhead issues that we have.
14:10 Finally we have this notion of date-ish scaling.
14:16 So this is among the hardest of the problems, and it's one that we're still examining and looking at, but the reality is that not everybody requires all the data, the transactions that Alice sends the Bob are not necessarily relevant to even Jayne and Bill.
14:34 They're only relevant from the context that these people are able to infer from them the tonal ownership the money and know that the tokens they receive are legitimate and correct.
14:45 So you have techniques like pruning, you have techniques like subscriptions, and some form of compression, which one applied in a setting, in a very intelligent way can actually reduce substantially the amount of overall data one user has to have.
15:09 There's also the idea of partitioning.
15:12 Partitioning is where a user doesn't actually have a full copy of the blockchain, rather they have some chunk of the chain as opposed to many other chunks, and there's some notion that you can put all of these things together.
15:29 So one of the goals of the Cardano project is to study this in a very rigorous way and to come up with new blockchain architectures as they become necessary, that will allow people to have much smaller amounts of data but overall still get the same level of assurance and security that the transactions they receive, the computations that are performed are correct.
15:50 So part of this research also involves some of our ideas about side chains.
15:56 And we'll get to that actually when we get to the interoperability section but as a brief mention, all a side chain really is, is two components.
16:03 First, it's the notion of creating a compressed representation of a blockchain and it's a notion of creating interoperability between chains, ie a way of translating transactions between chains.
16:19 So some of the proofs that we've come up with some of our recent sidechains research give us a lot of hope that we can create compress representations of a blockchain as it grows from gigabytes to terabytes to petabytes, and that these proofs can give us high level of certainty that the transactions we're seeing, the history we're seeing is correct even though these proofs are quite small, megabytes to kilobytes.
16:42 So this is kind of our solution to data, is to approach it and in both a pragmatic way where we start restricting in some cases what people see in a very intelligent case-by-case basis, we partition things where and when we can and we find out really intelligent cryptographic ways to compress history which give us the same level of confidence even though we don't have all of it but do all of this in a way where we don't remove the original replicated security guarantee that Bitcoin has endowed the space with.
17:13 The other fortunate thing is well, TPS tends to grow quite a bit and network resources also tend to grow quite a bit, storage is still relatively cheap and available so we believe that the data scaling side of Cardano will be something that we don't have an urgency to resolve until late 2018 to mid 2019.
17:30 The research has just started at a University of Edinburgh and we intend to continue it and we believe we will have our first approaches probably by the middle part of 2018 and eventually have a total solution to this problem by the end of 2019 for the system.
17:47 So this is kind of the first component, let's build a protocol that allows us to scale up the TC transactions per second so as we gain more people into the ecosystem we get more throughput.
17:59 Let's create a network stack developed by one of the early internet pioneers that has learned from some of the issues that tcp/ip has on other systems and is a bit less fragile and a bit easier to configure in tune so that it can handle a large heterogeneous network based upon real-life scenarios.
18:17 And let's come up with some clever ways of handling the use of data in our system without compromising our security guarantees and also when a partitioning is adopted, so something like BitTorrent, you actually gain a lot more resources for overall storage.
18:30 So if we don't have to replicate the database, rather we can distribute it.
18:34 There is some hope that we can build a large distributed file system for Cardano and thus actually have total available petabytes of data even though any particular user only has to have a small amount.
18:47 So that's the first pillar, this notion of scalability.
18:50 But the third generation demands two more and therefore for the Cardinal project, we will do these things.
18:57 First, there's this idea of interoperability.
19:01 So interoperability is this idea that there will not be one token to rule them all, so sorry Bitcoin.
19:09 You're going to have many networks like Ethereum and Bitcoin and ripple and legacy systems like the traditional bank networks running on older protocols like Swift and older settlement networks like ACH and so forth.
19:34 And these systems all speak their own languages and these systems all have their own business logic and rules.
19:40 So currently as it stands, it's very difficult for Ethereum and Bitcoin to understand each other, substantially more so for the old banking networks which have the added requirement of metadata and attribution to the transactions.
19:54 So the problem is that if you don't have a single standard and if you don't have a canonical way of communicating with these systems, then you run into a situation where value gets very fragmented.
20:10 So regardless of how decentralize any one of these particular ecosystems happen to be, the kingmaker will be the small on and off boarding hubs that control the movement of value between these systems.
20:21 Currently we are seeing those as exchanges but there are others who could come and these exchanges are very fragile.
20:28 They're subject to being hacked, they're subject to draconian regulation, occasionally they get shut down because of unwise regulatory policy, or in some cases wise regulatory policy.
20:39 And this is really not a good situation to be in for a supposedly decentralized permissionless ecosystem to have a small group of actors control whether one can convert their value from one system to another system.
20:54 Furthermore, when people do business in this world, if these businesses are regulated or even semi regulated, they usually do have to interface and interact with the traditional financial world.
21:06 For example, let's say that you're a cryptocurrency company and you issue an erc20 token.
21:10 Okay so that ERC 20 token, let's say you have a crowd sale and you raise millions of dollars worth of ether, and as a actual company with a bank account in a legal jurisdiction, you begin selling that ether and deposit millions of dollars into your bank account.
21:31 Well then Bank is a regulated entity, then the first question they're going to ask is where did you get these millions of dollars from?
21:41 And the bank will then ask you to explain, to provide some data and details, you'll say oh well, I had a crowd sale and I sold an erc 20 token and I got a bunch of ether.
21:56 They say okay, well who did you get it from, who are your customers, and you respond people over the Internet, and unfortunately that's really not a good answer.
22:05 And this entity has a regulated business entity that has to file suspicious activity reports, that has to deal with people on their side like the Treasury Department or maybe European Union and so forth.
22:17 These entities feel that this is a very risky proposition and this is the unfortunate reality that we tend to live in in our world.
22:24 We have fragile inter links throughout crypto currencies as well as the legacy financial system and there's really no way to escalate transactions in a very natural way so that when one wants to do business with the legacy world, that metadata, that attribution, the compliance information that one would want to have is not present and as a consequence anybody doing business here automatically becomes a high-risk business, this is an unfortunate situation.
22:53 So the idea of a third-generation cryptocurrency with respect to interoperability is a cryptocurrency that has the capacity of being able to understand and watch other cryptocurrencies.
23:05 A cryptocurrency that when it sees Ethereum, an event occurring here can actually verify if that event is true or false.
23:11 For example if Alice says she has ether and sends ether to Bob, this cryptocurrency ought to be able to actually know that that's a legitimate transaction if it's something in the concern of the third-generation crypto currency.
23:26 So cross chain transfers are reliable and they should be able to do this without needing a trusted third party, that's the single most important thing because we want to create an Internet of blockchains, an internet of value that flows around, just as easily as Bitcoin flows around or ether flows around, we want to move cross chain.
23:44 So the first component of that is to have some notion of side chains.
23:49 Though this is not a new idea, atomic cross chain swaps or side chains, these things have been around for a long time, they've been proposed since as early as 2012 perhaps even sooner.
23:59 But the basic concept is that there is some way of structuring information from one chain to another chain such that when a transaction is sent, that compressed structuring of information gives you the ability to know if that transactions legitimate or not.
24:19 In other words the person sending it to you actually has that value and also this value is not a double spent, it's a very important concept.
24:28 The other side of it is that you have to have the ability to do this in a very compressed way.
24:33 There are over a thousand cryptocurrencies in use and cryptocurrencies are becoming larger and larger, so you can't say well the only way to understand the other system is to have a copy of the entire blockchain of the other system, this is not a scalable solution, you have to be able to look at these systems in a very compressed way.
24:49 So Cardano has started its sidechains effort.
24:55 We recently published a paper with Andrew Miller Danica's Andros and a glassy osseous.
24:59 And this paper contains a very well thought out approach for how to generate proofs in the proof-of-work world, called non interactive proofs of proof of work, and we're very hopeful that this approach can also be adapted in the proof of stakes setting and then these two things together, combined with some clever engineering, should allow us to have a pretty deep and detailed understanding of what's going on amongst other crypto currencies which are here to stay.
25:26 However, this is only part of the story.
25:30 Even if we can create a utopia where all block chains can talk to each other and be seen and heard and they go from blind deaf and dumb to very intelligent and bravos, the issue is that this world is still incompatible with this world.
25:45 Principally because of three factors, one is the notion of metadata, two is the notion of attribution, and three is the notion of compliance.
25:58 So metadata is the story behind a transaction, it's not that you've spent fifty dollars that matters, it's where did you spend it, what did you spend it on, to whom did you give it to, these types of things, that's metadata.
26:14 It's really not well provisioned in the cryptocurrency space.
26:17 However it's the bread and butter of the legacy financial world, there's an enormous amount of value in the metadata of transactions.
26:25 And in some cases the metadata of transactions allows transactions to be put into a hierarchy of risk, certain types of transactions are tremendously risky.
26:35 For example if there's a wire transfer between two American banks based in New York amongst large companies, this is very common and happens all the time, if there's a wire transfer from a small American company to a small Russian institution which in turn then goes to Iran, which in turn then goes to South Africa, this is a totally different scenario, even if the amounts are the same.
26:58 The amount of hops the people who have touched it, the nature of the organizations, how long they've been doing business, this is all metadata.
27:06 The problem is that metadata is incredibly personal, it's incredibly private, and it has a big difficulty in the cryptocurrency space because all the transactions here are permanent, they live on a blockchain, they're transparent and the minute that we would attach metadata to a transaction here, we'd run into a situation where we could be potentially exposing very sensitive information to the general public.
27:30 So one of the goals of the Cardano project is to figure out where, when and how we can put metadata on a blockchain and benefit from some of the factors that we really care about, such as audit ability, as well as immutability and time stamping, because tempering with metadata is a very very risky thing, it's very important in cases to have this but at the same time posting metadata to a blockchain in a responsible way, perhaps encrypted or perhaps with a special scheme that only allows certain people to see it whereas others cannot.
28:03 Attribution is about identity, it's about the naming of actors involved in transaction, it's a subset of metadata but it's so important it deserves its own consideration.
28:15 It's not just good enough to know the story behind the transaction, you have to know where the money came from and where the money's going.
28:23 That's Alice to Bob, JPMorgan Chase the Wells Fargo and so forth.
28:26 This is so incredibly important that we've decided to try to construct a way where if one desires to add attribution to a transaction, it can be done in a pretty streamlined and easy way.
28:40 But the difficulty is establishing a web of trust or some sort of identity hierarchy.
28:45 One of the reasons why we live in an internet with passwords and usernames is because we actually don't have a good way of identifying the people on the Internet.
28:57 It would be great if everybody had a public key and there was an easy way to distribute these things and an easy way to verify that Bob's public key was actually Bob's public key, and this was one of the goals of the PGP project, it was never realized.
29:09 As a consequence the second consolation prize that we've had to deal with on the Internet has been this terrible dystopia where one has a username and a password usually easy to guess, usually easy to hack and usually reused amongst many different websites and causes certainly a lot of problems.
29:27 So the same problem there is incumbent here.
29:30 The difference is that cryptocurrencies are factories for cryptographic credentials.
29:35 They give you a place to store public keys, they give you a place to store a web of trust and a whole bunch of cryptographic mechanisms that go above and beyond what one would see in a normal web site.
29:47 Crypto currencies are basically factories for cryptographic credentials.
29:53 Unlike normal websites or unlike the current internet, crypto currencies give you the ability to organize, manage, store public keys and develop all kinds of webs of trust as well as an even more advanced layer cryptography which has been invented over the last 20 years.
30:10 So part of the goal of the Cardano project is to start exploring how we can use these things that we're currently using for storing and saving our money to actually also identify ourselves when and how we want to do.
30:25 And the hope is that this can then be used when people are required to give attribution of transactions.
30:34 For example perhaps when they send value to an exchange or back, they can do so in a very graceful and easy way now.
30:40 The final component is this compliance component.
30:43 And compliance is a construction of things like kyc which stands for know your customer, things like AML, it stands for anti money laundering and things like anti terrorist financing, ATF.
30:53 And basically they're all the same notion of, there's a transaction that's occurred, what do we know about this transaction such that we can say it's a legitimate transaction.
31:04 This is something that is not really considered in the crypto world, but it's the bread and butter of every single financial institution, whether they're in exchange, they are a bank or anybody who's in a position to be a money service business where they're handling money on behalf of somebody else.
31:19 There's very harsh and strict global regulation in standards for how anti money laundering and know your customer and compliance needs to work in general.
31:28 So with respect to this, our hope is that we can find a healthy balance where once we've distributed these cryptographic credentials and once we have provisions for metadata, that these two factors can be put together in a very creative way on a case-by-case basis and a voluntary basis, so that when somebody in the crypto world wants to do business in the legacy world, they have an ability to escalate the transaction from a standard crypto currency transaction to one that a bank would actually recognize and feel very comfortable with.
32:01 For example the scenario that we gave in the beginning of this presentation about this ERC 20 token crowd sale, one could entirely imagine the idea of saying that the only way one can send ether to this transaction would be if it stamped with some metadata accessible to the person being sent to and it has some identity information that's transitive such that when they cash out and go to the bank, they can disclose that to the bank.
32:30 But the key here is doing this in a way that protects privacy and doing this in a way that doesn't necessarily make people custodians of the data, as we've seen with Equifax hack and other such things, custodianship of personally identifiable information is quite problematic.
32:46 So a big goal of the Cardano project is to explore this side of the space using new cryptography, using optional metadata and also using things like trusted Hardware for example, which give us all kinds of capabilities from very secure ways to store credentials to the ability to provide guarantees that data has been destroyed after a period of time to things like geo tagging for example.
33:09 So this is the interoperability side, and if we're successful with this we can really think of Cardano is that glue that can facilitate the Internet of blockchains where Bitcoin can stay Bitcoin, Ethereum can stay as Ethereum, ripple can stay as ripple and the banks don't have to change much, but Cardano provides that necessary bridge that isn't centralized and isn't fragile, rather it's a large decentralized network and it really ushers in this great new era of interoperability.
33:37 In the last two sections we talked about scalability and interoperability respectively, but the third pillar of a third generation blockchain and what a Cardano aspires to be and probably one of the most important of the three pillars, is this idea of sustainability.
33:52 And you could break sustainability into two components.
33:54 First there is the idea of how do we pay for things.
33:59 So crypto currencies are not companies.
34:09 Even if one is to say a crypto currency or a token as a security, it's still somewhat decentralized, it's still infrastructure, it's much more like roads, it's much more like tcp/ip their protocols.
34:24 And so when you talk about a protocol, that's open-source.
34:26 The idea is to minimize the operational cost of that protocol.
34:32 So things like putting tolls on the protocol or intellectual property on the protocol, even if it's well intended for example to fund a foundation are likely to be less competitive than completely open completely free protocols.
34:45 So as a consequence, it's very difficult to figure out exactly how one ought to maintain these systems, pay for these systems in the long term.
34:54 So certain proposals such as a patronage type of model where a corporation decides to volunteer its developers may work in the short term but the challenge is that those developers end up having a huge amount of influence over the evolution and growth of the system.
35:11 So one can argue that a patronage model will lead to centralization of power into the hands of a few companies that want to modify the protocol in a certain direction.
35:21 For example right now, the w3c is having a large debate about bringing DRM into the browser.
35:28 And we've already seen the e FF resigned from the w3c because they feel that larger companies in that effort are influencing this process towards the benefit of large content distributors as opposed to a free and open web.
35:44 So patronage may not be the best way.
35:47 ICO are also an interesting way and they're like a quick jolt of energy.
35:52 They provide a lot of capital, and if there's good governance behind that capital and good people behind the capital, certainly can result in the creation of a great product, great protocol.
36:01 But the problem is that an ICO is an indefinite event or a continuous funding event, rather it's a large flood of money in the very beginning to do something.
36:10 But no matter how large that pile of money is, it's finite and eventually run out.
36:16 So the first thing is can we construct a system that has a Treasury?
36:22 A Treasury is where a blockchain is able to print money and put some of that money into a decentralized bank account and that decentralized bank account is funded through inflation.
36:45 So the first to pioneer this model was Dash.
36:48 If you look at Bitcoin, every time a block is produced, it started with 50 coins per every block and then it decreased by factor of two every four years and now we're down to 12 and a half, all of that goes to the miner.
37:04 With the Dash model instead of having all of it go to the miner, some of it actually goes into this decentralized bank account.
37:10 Then there is a democratic method to vote on funding proposals.
37:14 So what Bob can do, is Bob can submit up a ballot to the Treasury.
37:23 And then the token holders can vote in if there's high enough threshold, if there's a high enough amount of voting, Bob's ballot will be approved and the Treasury will open up and pay Bob.
37:43 So this abstract model is actually incredibly robust because it has a way of being refilled on a continuous basis, it's directly proportional to the overall influence of size of the currency.
37:56 So as the currency grows, it has more and more resources available, which in turn can be spent to grow the currency, so there's a positive feedback loop.
38:05 And also it has a democratic process, a Democratic participation connected to the system that allows the stake holders in the system to start having discussions about priorities, namely what ballots ought to be funded.
38:16 For example Bob can say, I'm a developer and I want to sustain the system and submit a ballot.
38:24 And then Alice can say I'm a marketer and I want to market the system and create content videos.
38:28 And now the token holders get to choose what do they think is a higher priority, further development or marketing.
38:36 Or perhaps a scientist wants to write a new protocol to improve the existing protocol.
38:40 Maybe it's a new privacy primitive for example or maybe it's a bit more security with the network stack or a bit more anonymity with the network stack.
38:50 So instead of going to the National Science Foundation or the European Union and trying to get a traditional research grant, scientists of the future may even be able to use the Treasury model to propose funding for research.
39:02 Or perhaps you're an application developer, adapt developer, maybe you want to bring state channels to Ethereum.
39:09 Under the current model, one has to do an ICO or something along those lines, issue an unnecessary token that really doesn't provide any utility above and beyond what a ether provides, but do so to raise capital in order to be able to bring this innovation into the system.
39:25 Instead of having that and segregating value away from the principal token, the token holders now have a mechanism where they actually can provide funding for this dap, and that's a really exciting proposition.
39:34 The challenge however is, that the construction of such a system is a tremendous endeavor and requires quite a bit of deep thought.
39:43 First off there has to be a proper and fair voting system.
39:46 Second there has to be incentives to vote, incentives to participate above and beyond some notion that this system is going to to be a common good.
39:57 There's a kind of a tragedy of Commons notion there.
40:02 Third there has to be an easy way to submit ballots.
40:05 But do so in a way where ballots actually, the reasonable ballots have higher precedence and priorities over absurd ballots.
40:12 And do this all in a way that's completely decentralized and do this all in a way that is somewhat distributed and doesn't require centralized governance.
40:21 So a Treasury is quite hard.
40:24 Dash had a first example of it, they've had tremendous success as a project as a consequence.
40:28 So at IOHK, we are quite interested in this model.
40:33 We think this is one of the single most important things about sustainability because it's leaving something behind embedded within the system itself that allows the system to pay for its own bills.
40:43 Yet it is, as I mentioned, quite a bit of research.
40:48 So we've already started the process.
40:50 We first started examining the voting system and we're looking into using a modification of liquid democracy.
40:56 And then combining that with an incentivized Treasury model that we have developed with a joint partnership with researchers at Lancaster University as well as some of our personnel that come from Ukraine.
41:18 And our hope is develop a reference Treasury model that's abstracted from any cryptocurrency, it's just a module that can be plugged into a cryptocurrency such as Ethereum classic or Cardano.
41:27 The hope is that the system will have a fairly sophisticated way of balancing the needs and incentives of token holders as well as the needs of those seeking funding in a reasonable way.
41:39 Now this is an inexact science, it's one that requires quite a bit of iteration and this is why we're trying to construct this system in a modular capacity so that the treasury system can be upgraded independent of the protocol itself if necessary.
41:52 So this is something we're very excited about, we should be publishing a paper fairly soon, prying quarter four of 2017 and our hope is to roll out the first generation of the reference treasurer model into the Cardano protocol by about the middle part to the end of 2018 depending upon how long the research takes.
42:09 But there's another side to sustainability, it's not just about how do we pay for things, it's also about where should we go, and this is an even bigger meta question.
42:20 So cryptocurrencies are living creations, they're not static in that once you've written the code it's finished, it's done, there's no notion of 2.0.
42:43 You have to be able to change them as technology changes, use cases change or new innovations come out that you can benefit from tremendously.
42:52 And generally you do this either with soft forks or hard Forks.
42:58 But these are Forks nonetheless, meaning that you have to change something.
43:09 The problem is that, in current cryptocurrencies generation 1 & 2, there is no canonical way of deciding which fork is proper amongst many that have been proposed.
43:22 And as a consequence, this results in a situation where eventually irreconcilable differences develop, and we see the chain break apart.
43:30 We seen this with Bitcoin and Bitcoin cash, we've seen this with etherium and etherium classic and it will only continue as these systems grow on scale and value.
43:42 So what we have to do is argue by analogy, are there any social systems that humanity has constructed which while they may be controversial, have still maintained a degree of stability and update ability, constitutions are the closest notion that we have, that's the highest law of a country.
43:59 A constitution doesn't change too much especially constitutions like the American Constitution and they're somewhat difficult to change.
44:07 But when they do change, there's universal consensus post change that they're going to follow.
44:11 We don't see a fracturing of the country into two Americas or two UKs or something like that, we kind of get consensus around it.
44:22 Why, because it's a slow deliberate process one that people agreed to follow at least in principle.
44:27 So if we were to treat protocols as constitutions, one ought to be able to amend the Constitution, one ought to have a process to do so.
44:37 Because we're engineers and we like reusability, our hope is to use the very same types of mechanics that are used in the Treasury system for approving ballots to actually being able to consider Cardano improvement proposals.
44:52 So Alice or Bob, the developer can propose a sip and then there is going to be a process which Alice and Bob can follow, that allows the network to vote on whether this should be ratified or not.
45:17 This should be a slow systematic, deliberate process that takes time and effort with increasingly higher thresholds prior to eventual adoption.
45:25 Now the first generation of this technology is more about process and mechanism, it's a meta consideration that lives outside of the network but relies on tools within the network.
45:38 For example the ability to do voting by stake weight.
45:40 Later versions, we're going to explore the idea of converting a Cardano improvement proposal into something that's machine understandable.
45:51 Similar to a formal specification of a protocol, there is this notion that maybe we can actually specify a cryptocurrency in a way that the cryptocurrency actually understands its own design.
46:09 If this is possible, then it may be possible to actually verify if a client is following a specification.
46:18 In other words, when Alice and Bob create their wallets to connect to Cardano, there's this machine understandable canonical notion of how Cardano ought to be configured, and their clients will actually be able to self accredit and verify if they're actually following the protocol or not.
46:34 So this is kind of generation two and three, this idea of taking a social process and eventually mechanizing that social process in ways that give us a protocol that lives above the particular software.
46:49 And we're very hopeful that we can use emerging techniques from programming language Ethereum and formal verification to pursue these ends.
46:55 So the first micro example of this are going to start materializing with the formal verification of smart contracts, which is a very important topic for reducing bugs and ensuring that smart contracts are stable and reliable.
47:11 And this is an area of research that we're pursuing very vigorously at i/o HK, and we intend on having several publications come out throughout 2018.
47:18 Our hope is that those techniques can then be raised a level and we can begin having protocol level descriptions of how Cardano ought to work as a full cryptocurrency stack.
47:29 And then eventually we can pursue formal verification that clients are pursuit are connected to a specification.
47:37 In the short term however, the Cardano improvement proposal process will be completely written up by quarter 1 of 2018, and IOHK will begin following that process as it upgrades and iterates the Cardinal protocol.
47:51 And once our treasury voting system is in place, we will make special accommodations so that every Cardano improvement proposal can eventually go through a process of voting with higher rigor on hard Forks and less rigor on soft Forks, but nonetheless there's still some notion of this.
48:06 We already have an upgrade system built-in, if one goes to Cardinal Docs, there's a specification on Cardinal for how that system works and later on that system will be superseded by our new voting system that we intend on rolling out with the Treasury.
48:26 So this is sustainability in a nutshell.
48:28 It is our view on how we should responsibly pay for things and our view of where should we go.
48:36 As protocol start, there's usually a lot of founder vision and a lot of initial philosophy.
48:40 But as more people come into the ecosystem as more hopes and dreams get invested into the ecosystem, eventually these ecosystems grow beyond their founders and so it's incredibly important to have a process for changing the protocol in a very slow, deliberate, methodical way that's inclusive as possible and as resistant as possible to any particular power brokers ability or machinations.
49:02 So that's Cardano.
49:04 Cardano is a third-generation protocol, it's built with peer review, it's built with high assurance software standards, it's built in Haskell, my fav programming language, it's built by a large international team and are very well funded in IOHK committed to it until 2020, and it's built to be sustainable interoperable and scalable, our view of how do we get cryptocurrencies from the first million to the first billion.
49:29 Thank you so much for watching and I hope to hear from you guys soon.



Frequently asked questions[edit]

  • What is the difference between Cardano and Ethereum?
The founder of Cardano, Charles Hoskinson, who is the co-founder of Ethereum, tries to improve on Ethereum with Cardano. Cardano uses proof of stake instead of proof of work, which is difficult to change in Ethereum as Ethereum is essentially a running machine while Cardano is a new machine. Cardano tries to improve the scalability issue with Ethereum and to speed up the Ethereum system like transaction per second.