IOHK | Cardano development techniques, with Duncan Coutts, PhD

Cardano is being developed with the aim of making it high assurance software. This is code that is rigorously developed using certain techniques to ensure it is bug free and fit to carry huge amounts of value safely, something which is currently missing in the cryptocurrency area.
In this talk, Dr Duncan Coutts, IOHK’s Director of Engineering, explains a mathematical technique being used to specify and test new components of Cardano’s software. Benefits of this approach include reducing accidental complexity in the code, and a simpler specification leads to simpler implementation, and easier testing that can be conducted comprehensively.
There is no other project that has ever been built to these parameters, combining peer reviewed cryptographic research with an implementation in highly secure Haskell code. This is not the copy and paste code seen in so many other blockchains. Instead, Cardano was designed with input from a large global team including leading experts and professors in the fields of computer programming languages, network design and cryptography. We are extremely proud of Cardano, which required a months-long meticulous and painstaking development process by our talented engineers.
Duncan has more than 15 years' programming experience with Haskell and is a well-known member of the Haskell community. He helps maintain several popular libraries and tools including Cabal and ByteString. He has several years' experience in packaging the Haskell toolchain and took a leading role in establishing the Haskell Platform.
He holds a first-class degree in Computation and a D.Phil in Computer Science, both from Oxford University. He has published papers at international conferences, including ICFP. His research focus is on generating high performance code from idiomatic high-level Haskell code. This included co-authoring the ByteString and Binary libraries and work on stream fusion for lists. He has five years' experience teaching computer science, including four years spent teaching Haskell to mature students at graduate level.
--
See more at: iohk.io
Get our latest news updates: iohk.io/blog/
Meet the team: iohk.io/team/
Learn about our projects: iohk.io/projec...
Read our papers: iohk.link/paper...
Visit our library: iohk.io/resear...
In the press: iohk.io/press/
Work with us: iohk.io/careers/
See more on Cardano: iohk.io/projec...
--
The Cardano PortfolioThe Cardano HubThe source for all things Cardanowww.cardanohub...
Cardano Blockchain Explorer
An open source block explorer for the Cardano project
cardanoexplore...
Cardano Documentation
Full technical documentation of the project
cardanodocs.com
Cardano Roadmap
Development path of the Cardano project
cardanoroadmap...
Why Cardano
The philosophy behind the project
whycardano.com
Daedalus Platform
Open source platform
daedaluswallet.io
The Cardano Foundation
Supervisory and educational body for the Cardano Protocol
cardanofoundat...
Cardano Foundation KZbin
All the latest videos & tutorials
www.youtube.co....
Cardano Foundation
Follow the Foundation
/ cardanostiftung
Cardano Slack
Join the conversation
cardano.heroku...
Cardano reddit
Join the conversation
/ cardano
IOHK
Development partner
iohk.io
IOHK blog
Read about the latest technology advancements
iohk.io/blog/
-

[@user-vd8px2fo7w]

Give the man his cup of tea

[@ZAK-gc4ru]

you guys develop we guys will purchase them at low and support you guys..

[@trigger357]

The man is a genius. He is a critical* key to 3rd Generation Blockchain Technology. Keep up the amazing work team.

[@peterstewart295]

Detrimental = Dangerous and harmful, are you sure that's what you meant?

[@trigger357]

Critical*

[@trigger357]

Thanks for catching that

[@nakedgorillaable]

bla bla bla.

[@trigger357]

"The absence of Failure is an important quality" -DR. DUNCAN COUTTS

[@samueltg6914]

blockchain wizard lvl 9000

[@YoungGrizzly]

Everyone is like "OMG the market is crashing" and im like, "So have you seen the new IOHK video today?" This is what really matters people. Watch their content and follow their code repos and bug resolution pages.

[@conspiracyboy5015]

Interesting, good work, I feel that when the ctypto `bounce` comes, Cardano will move up into the top four coins slot with a higher value compared to the Bitcoin.

[@MattTaylorVariety]

Great video! Liked and subbed! Your dedication to the project in making it better shows. Being a video producer myself, I appreciate the quality of your video as well. I like how you explain what a blockchain is, for use newbies who are investing in crypto currency who really don't have a clue what it is. Thanks for that. Being new to this world I am taking a look at a lot of different coins to invest in, Cardano is certainly one of them, I am also intrigued with the privacy coins, PIVX, Zcash, DeepOnion to name a few. Looking to round out a good portfolio. I like what I see from you guys so far, keep it up!

[@SyphriX]

Crypto aside, this is a solid approach to test-driven development in the world of commercial software. I'd love to see this talk adapted to a more general engineering audience.

[@potplucker]

Respect for the effort Cardano is making to create a superior blockchain. A comment was made during presentation generally about about how ownership of a larger stake should entitle that owner to greater influence of vote. I do agree that should be a factor used when considering a proposal vote. But as we see in other blockchains like Steem it can adversely effect fairness of distribution of assets. Those that hold the most can manipulate the system to gain even more and reducing distribution to those that hold lesser stake. A possible solution is to run a second vote side by side that allows for all voting members to have equal influence no matter the stake. Then if both votes produce the same result of acceptance that proposal can more surly be considered as good for the blockchains development. If the vote returns with different outcomes perhaps the proposal needs more work to equally serve all stakeholders of the community.

[@happenedtomorrow]

I like IOHK and I know Cardano has been written from scratch in Haskell (high assurance technique called formal verification) ...everything nice and great team. What I don't like is your POV about anonymity. For you full anonymity can be counterproductive and you've preferred to find the right mix of individual privacy protection and provision for regulatory control. I strongly believe true and fully anonymity should be the first feature for a coin today and I'm sure this year all privacy coins are going to explode. When I understood that my ADA value cannot grow alot (cardano market cap is really HUGE)....I've dumped all my ADA and invested in some true anonymous cryptocurrencies like Spectre, NAV and DeepOnion. Sure they are smaller projects...but they also are less FRAGILE and among those privacy coins you can find hidden gems for your investment.

[@mattiasjayadambrosio4017]

I do think also ADA could have some privacy matters when it comes to full anonymity, but the developers which are working on are kind of really smart people for what I can understand, it's really hard to follow their thoughts but what I can grasp is this, if it will appear a problem, they will resolve it. by the way your altcoins you've mentioned are really interesting too, IMO particularly DeepOnion, but privacy coins as a whole will definitely be a great topic this year :)

[@williamwebster8367]

Awesome work Dr. Coutts! Long live ADA & IOHK!

[@alk99875]

What event was this?

[@deepakparmar82]

I have huge respect for Cardano Team and Professionalism. Keep it up... On other hand; I would like to suggest that kindly make video more interesting. Sometime I feel, Simple thing is being discussed and explain in complicated way. :)

[@DheerajPalagiri]

I want to work for this company. How? Howwwwwwwwwwwww?

[@BinaryShad0]

be a genius with 10 years of haskell experience like him, or better yet the INVENTOR of haskell like phillip

[@joefunk76]

1) Learn Haskell 2) Learn Cardano’s codebase (publicly available on GitHub) They’ll probably hire anyone who’s useful enough, although there are probably not that many people qualified to work for them.

[@fiselects9146]

The background in the first 5 mins + the camera angles makes me feel like I'm watching an alien speak about otherworldly matters. An alien genius from the moon trying to get his spaceship back home

[@jovanorozco6962]

lmao

[@satoshinakam0to]

We have to start giving IOHK team some nick names - E.g. Duncan is Cardano Jesus

[@nakedgorillaable]

And charles is ? He has an amazing ability to understate things, maybe he is the Anti_Hype man? Once Charles said that the his all superstar team was pretty good, always hear him making kind of laughable understatements like that...

[@satoshinakam0to]

Anti Hype Man sounds suitable. Maybe his super power can be slow motion.

[@shiverstewed4353]

Crypto Gandalf. Respect!

[@wooheelee2706]

좋아요

[@TheArtOfTrading]

These guys are coding rockstars

[@dwyt84]

shut up and take my money

[@weightvest]

ADA, BTC, LTC->HODL.

[@jackrufio]

LTC? LOL, hodl til zero?

[@awkwardchocobo1838]

GILFOYLE

[@billjones6685]

Here is an abstraction for you: Move from a glacial pace to an exponential one... after you drink 10 cups of coffee.