# CarDone video **URL:** \ **Category:** General Discussions\ **Created:** [25 April 2018 21:29 UTC](https://forum.cardano.org/t/cardone-video/11036 "2018-04-25T21:29:42Z")\ **Posts on this page:** 11\ **Page:** 1
**Author:** ![werkof](https://sea1.discourse-cdn.com/flex023/user_avatar/forum.cardano.org/werkof/32/1337_2.png) [@werkof](https://forum.cardano.org/u/werkof)\ **Post date:** [25 April 2018 21:29 UTC](https://forum.cardano.org/t/cardone-video/11036/1 "2018-04-25T21:29:42Z")
Charles broadcasted from his _Car_ what was _done_ recently. > **[Charles Hoskinson @IOHK\_Charles](https://www.pscp.tv/w/bbDmLXR3LTI4NzY4NDk3OTl8MU1ZR05weUxBeWJ4dyCE1ySSagau2DiA5NZMawlGED5HPPYCtOOaTPsBgCM-)** > > Cardano Update ---
**Author:** ![cdufour](https://avatars.discourse-cdn.com/v4/letter/c/e79b87/32.png) [@cdufour](https://forum.cardano.org/u/cdufour)\ **Post date:** [25 April 2018 23:45 UTC](https://forum.cardano.org/t/cardone-video/11036/2 "2018-04-25T23:45:42Z")
Thanks for posting it. It’s fantastic and I wish he would do more of this. Frankly, there are a lot of charlatans in this space, and it would do crypto in general a great service if Hoskinson got more mainstream exposure. Great demeanor and clear thinker. On another note, do you or anyone here have any experience with Mantis (ETC client) as I this will be opted as the client for CL? Vantuz ‘the Brain’… (@vantuz-subhuman) any thoughts? I’m guessing he or one of the other many brilliant characters on the forum might be able to speak to this part of the update. I’d love to read any opinions on this. ---
**Author:** ![pesuazo](https://sea1.discourse-cdn.com/flex023/user_avatar/forum.cardano.org/pesuazo/32/9679_2.png) [@pesuazo](https://forum.cardano.org/u/pesuazo)\ **Post date:** [26 April 2018 00:49 UTC](https://forum.cardano.org/t/cardone-video/11036/3 "2018-04-26T00:49:19Z")
Thanks for sharing…great update before the next update…😉 ---
**Author:** ![anon20038177](https://avatars.discourse-cdn.com/v4/letter/a/4af34b/32.png) [@anon20038177](https://forum.cardano.org/u/anon20038177)\ **Post date:** [26 April 2018 02:41 UTC](https://forum.cardano.org/t/cardone-video/11036/4 "2018-04-26T02:41:13Z")
So what happened here? Charles received a call while driving and someone on the other end of the call was desperate to hear of Cardano public news??? So he pulls over and streams some of the updates he has?? Jokes, huh? I think that he is setting a standard, a standard that will be referred to in years to come, this guy is putting his life into this project and that should not go unnoticed, Cardano has already rewarded it’s investor’s - (err givin them the chance to be rewarded at unbelievable gains) I think little things like an update from his car needs to be remembered if the man decides to head the project past 2020, let’s remember these day’s and the work he is putting in that show’s he deserves to be there for another 5 years - even if crypto/ADA tanks, this guy is truly putting heart and soul into this project. Thanx for sharing. ---
**Author:** ![vantuz-subhuman](https://sea1.discourse-cdn.com/flex023/user_avatar/forum.cardano.org/vantuz-subhuman/32/3976_2.png) [@vantuz-subhuman](https://forum.cardano.org/u/vantuz-subhuman)\ **Post date:** [26 April 2018 08:00 UTC](https://forum.cardano.org/t/cardone-video/11036/5 "2018-04-26T08:00:01Z")
> [@cdufour](#): > > On another note, do you or anyone here have any experience with Mantis (ETC client) as I this will be opted as the client for CL? Hi! Mantis is an ETC client, so it’s already have _some_ EVM implementation in it. It was long ago planned for `KEVM` (K-framework based Ethereum Virtual Machine) to replace the standard EVM in Mantis. This - if successful - would make Mantis prolly the safest ETC client there is, because it will be _literally_ **proved** to have no unexpected VM-bugs (to a degree a formal verification may guarantee it). As I understand, Charles talking about the fact that they will release KEVM-based version of Mantis first order and ASAP after getting hold of KEVM itself, so they can test it out themselves and to show it to people. But there’s no mention of it having any relation to Cardano in any way. It’s just that KEVM will be used both in Mantis **and** in Cardano-CL. > [@cdufour](#): > > Vantuz ‘the Brain’ ‘Pinky’ is more like my spirit-animal. Thanks to all the _really_ smart people in this community - I’m also just get to ask some interesting questions =) ---
**Author:** ![\_ilap](https://sea1.discourse-cdn.com/flex023/user_avatar/forum.cardano.org/_ilap/32/80886_2.png) [@\_ilap](https://forum.cardano.org/u/_ilap)\ **Post date:** [26 April 2018 08:33 UTC](https://forum.cardano.org/t/cardone-video/11036/6 "2018-04-26T08:33:18Z")
> [@vantuz-subhuman](#): > > ‘Pinky’ is more like my spirit-animal. 😁😁😁 ---
**Author:** ![FairCopy](https://avatars.discourse-cdn.com/v4/letter/f/a587f6/32.png) [@FairCopy](https://forum.cardano.org/u/FairCopy)\ **Post date:** [26 April 2018 12:31 UTC](https://forum.cardano.org/t/cardone-video/11036/7 "2018-04-26T12:31:14Z")
- Upcoming Cardano 1.2 release in May. - Paper wallet feature finished, security audit done, now undergoing testing. - Much faster wallet restoration from seed. - Smart contract testnets coming. - Ethereum-like smart contract support using [KEVM semantics](https://github.com/kframework/evm-semantics) will be available for the [Mantis](https://github.com/input-output-hk/mantis) Ethereum Classic client, this is to prove that the [K framework](http://kframework.org) works well in practice. - Another testnet for [IELE](https://iohk.io/blog/iele-a-new-virtual-machine-for-the-blockchain) will be released after. This should make it possible to write smart contracts in a number of popular languages. - There will be an extensive video update by [a project manager](https://iohk.io/team/gerard-moroney) on what [Runtime Verification](https://runtimeverification.com/) has been working on the past 6 months. - Research progress. - New paper about a massive update to Ouroboros is finished and will be released on [IACR’s eprint archive](https://eprint.iacr.org/). It solves the bootstrap-from-genesis problem, making Ouroboros’ security equivalent to PoW protocols’. It makes is possible for any new connecting client (wallet) to verify the blockchain using only the [genesis block](https://www.cardano.org/en/genesis-block/). This improves decentralization, as the clients don’t need to rely on trusted parties to provide checkpoints for them. This was already a thing in PoW cryptocurrencies like Bitcoin and Ethereum, but now Cardano’s PoS protocol will have the same security benefits as those and there’s mathematical proof of it. - Ouroboros was accepted to the [Eurocrypt 2018](https://eurocrypt.iacr.org/2018/) conference in Israel, where IOHK will showcase it among other things. - Paper about staking pools by [Elias Koutsoupias](https://iohk.io/team/elias-koutsoupias/) is under development. - High level model for the complex problem of delegation is done, solving problems like how to handle exchanges having your money or cold staking from a paper wallet or Ledger device. Now comes writing specifications and the implementation, which will take a while. - Development is moving to be more specification-driven. - Formal specification documents will be released in some weeks. This should make it possible for an independent engineering team to write Cardano backend (node) or wallet software, be it desktop or mobile. - The backend is being rewritten according to these specs. Rewrite of the backend is expected to be complete in about June-July. - Specs are difficult to read, so Director of Education [Lars Brünjes](https://iohk.io/team/lars-brunjes/) will make a video series to break down how the specification works and what it’s all about. - A later goal is proving formal correctness of the implementation, proving that it works exactly according to specs. - IOHK has grown some, they hired 27 people in the last 3 months. - Charles will be travelling to Ethiopia to talk with some people and the government, there’ll potentially be a Haskell class there. ---
**Author:** ![cdufour](https://avatars.discourse-cdn.com/v4/letter/c/e79b87/32.png) [@cdufour](https://forum.cardano.org/u/cdufour)\ **Post date:** [26 April 2018 13:06 UTC](https://forum.cardano.org/t/cardone-video/11036/8 "2018-04-26T13:06:06Z")
> [@vantuz-subhuman](#): > > KEVM will be used both in Mantis and in Cardano-CL. Ahh this is what I misunderstood. ‘Pinky’ it is. lol… Thank you. Enlightening as always. ---
**Author:** ![jiangh77](https://avatars.discourse-cdn.com/v4/letter/j/3bc359/32.png) [@jiangh77](https://forum.cardano.org/u/jiangh77)\ **Post date:** [28 April 2018 15:28 UTC](https://forum.cardano.org/t/cardone-video/11036/9 "2018-04-28T15:28:44Z")
What’s launch date for smart contract testnets? When is the release date for Cardano 1.2? Will there be a new version of Daedalus wallet coming out with the new release? The current version is 1.1.5813 Thank you ---
**Author:** ![vantuz-subhuman](https://sea1.discourse-cdn.com/flex023/user_avatar/forum.cardano.org/vantuz-subhuman/32/3976_2.png) [@vantuz-subhuman](https://forum.cardano.org/u/vantuz-subhuman)\ **Post date:** [28 April 2018 15:50 UTC](https://forum.cardano.org/t/cardone-video/11036/10 "2018-04-28T15:50:30Z")
> [@jiangh77](#): > > What’s launch date for smart contract testnets? When is the release date for Cardano 1.2? Will there be a new version of Daedalus wallet coming out with the new release? The current version is 1.1.5813 Please don’t ask same questions in multiple topic, thank you. See answer here: > [@Re-install Daedalus wallet version 1.1.5813 on windows 10](https://forum.cardano.org/t/re-install-daedalus-wallet-version-1-1-5813-on-windows-10/11116/6): > > You can do that. ~ second half of may No dates yet, afaik ---
**Author:** ![jiangh77](https://avatars.discourse-cdn.com/v4/letter/j/3bc359/32.png) [@jiangh77](https://forum.cardano.org/u/jiangh77)\ **Post date:** [28 April 2018 16:00 UTC](https://forum.cardano.org/t/cardone-video/11036/11 "2018-04-28T16:00:32Z")
Thank you for your fast response