Functional smart contracts on Cardano
Vložit
- čas přidán 10. 07. 2024
- In this session from the recent #Cardano2020 virtual summit, three of the leading minds behind smart contracts come together to outline their work: Senior IOHK research fellow, Prof Philip Wadler, opens the conversation talking about developing robust, secure, and accessible smart contracts on Cardano using Marlowe and Plutus.
IOHK technical architect Manuel Chakravarty then outlines how the Plutus language can be used to build new assets on Cardano. Plutus is the ‘batteries included approach’ which allows all programming to be done in a single Haskell library. Using this functional programming allows users to make a safe, deterministic programming environment for smart contracts and forging tokens.
---
Research lead for the Marlowe team Simon Thompson also joins us to discuss Marlowe, Cardano’s domain specific language for expressing financial contracts. Marlowe uses the language of the user rather than the language of the blockchain to create monetary agreements. With Marlowe you can:
- Analyze contracts without having to run them
- Check behavior through simulation
- Describe financial agreements on the blockchain
To learn more about Cardano visit www.cardano.org
To learn more about IOHK and our work: iohk.io
Get our latest news updates: Follow us on Twitter @InputOutputHK or read more on our blog iohk.io/blog/
Meet the team: iohk.io/team/
Work with us: iohk.io/careers/ - Věda a technologie
Already this is ahead of the game . In many many ways and I’m new I see so many opportunities with all of this!
CARDANO is the best...!!! 🔝🔝🔝🔝
This inspired me to learn Haskell and join the cardano community.
3:20 What we learned from Etherium
9:15 UTxOs vs Accounts
11:59 Thing about accounts
12:42 with accounts it's just whatever order things happening
13:37 What do you want to see on blockchain
14:49 Plutus core
17:15 IOHK's answer
Awesome presentation! Thanks to IOHK team and all the researchers working behind the scene. Now we know why Cardano is called 3rd Generation Blockchain.
When there is a synergy among enterprise, open source and academia we get a masterpiece that the Cardano is , I am hopeful that this will change the world in a positive way.
This tech will allow so many new businesses and organizations to form, which will have a positive impact on global societies
Thankyou for the amazing presentation 🙏
Very nice. I asked Charles about writing smart contracts on Cardano just the other day.
Cardano all the way up! IOHK rocks thank you guys!
Cardano 👍💪💪🚀🚀🚀
C A R D ₳ N O 🤩
I'm impresed :) Well well well done guys!!
Amazing detail thank you the functional foundation feels solid time for me to learn Haskell!
Thanks Manuel
This is super clear presentation. Thanks!
Such a good presentation. Thank you for your time.
Chronically underviewed!
Great Video with great explanations!
Very informative. Thanks!
Cardano ❤️
I am really excited about Cardano, but I was a little confused when the first speaker stated that you have to use Javascript and Solidity and you only have to use Haskell and Haskell Tx. I did not see an example of calling a Marlowe contract from the web application that is the purpose of Javascript within the Ethereum environment. I don't truly understand the comparison ... Please create a video and talk more about how would we interact with Plutus or Marlowe contract when writing a user application.
A masterpiece of content! Well done!
I love cardano
This is amazing !!!
Wow! thats why Cardano will win this race
I like the presentation style
@ 6:20 how does testing come after implementation? Love Cardano and you guys obviously know what your doing just commenting from my mechanical engineering background and implementation usually comes after design and tasting?
Not an engineer of any kind but I think he means with "to implement" is "to execute". You can't test a program that isn't executable...
how do you go from the policy script hash to the policy script? it's easy to go the other way around but how does a node know what script to execute if all they have is the policy hash without some sort of registry?
oh yeah this is the good stuff
Sound is not very good
What is the likelihood of ADA / Cardano, reaching the value of $ 10 or more ... this is the doubt of many investors. Thank you and congratulations to the video
Okay but how is the Plutus (non platform) code run in the browser? I think its kind of fundamental for a modern blockchain application to run basically everywhere with browser support? Will there any integration tools with websites? Maybe some standard interface to e.g. interact with browser based wallets like Yoroi?
What I also often miss, or i did not really get it, how does interaction between smart contracts happen? But maybe my mental model is wrong here, but how e.g. do I ask a Oracle smart contract for the weather state if I want to pay out a user only if the sun is shining? From that tx based model and explaination I can hardly imagine there is a smart contract ID where I can query the state as this would probably violate this TX based model. But how does it work then? :D
Great question ... I just asked the same question as I was a little confused of the comparison of Javascript and Solidity ... It was like he missed the boat on why Javascript is being used. If we were not creating Dapps we can use Solidity by itself so I am definitely lost.
anyone any idea about the 340 million usd for european CC?
david.plutus.iohkdev.io/ ist not reachable nor is plutus.iohkdev.io/ what are the correct links to get started?
We're in the process of updating all our Plutus documentation. Meanwhile, you can find all available documentation at testnets.cardano.org/en/ and docs.cardano.org/en/latest/
Please show likes
Watching this makes me want to take my investment out of Ethereum :S
I don’t understand why there are no fees associated when sending token inside the cardano blockchain? Fees are important to not incentivize users or bots to spam in the network... what am I not getting here?
do you have to have funds available to spam as you say? never heard of this before.... just wondering about it.
The fact that all transactions are deterministic means that you can expect the gas fees to be at a bare minimum. Also if they did up the gas fee in this model you would know that they were just in it for the money... which they aren't. So you find middle ground. To innovate I really like this approach because you can expect mass adoption rather quickly if it's cheaper to engage in your cardano project. But yes.. i could see where one could also introduce some sort of malicious activity as well.
There is still the basic transaction fee associated with it. But not an extra “gas” fee. Eventually stake pools can use native tokens as payment for transaction fees, but for right now ADA is required.
There will always be a transaction fee but nothing besides that is what he is trying to say.
HODL!!!
If Haskell's type system and formal verification methods are so important in delivering high assurance code as IOHK claims why even bother with automated quality assurance testing unit tests/integration tests? Isn't that something that Haskell combined with formal verification method was supposed to provide? Unit/integration testing is something that we use in this unpure, imperative languages. Haskell is supposed to better, isn't it?
If so, why even bother with Haskell then because every other language would also require automated quality assurance testing.
Much as I am on board with Charlses vision of financial sector I absolutely cannot see the benefits of using Haskell.
19:43 "virtual physical objects" are you for real?
The definition of virtual is: not physically existing but made by software to appear to do so. Example: "virtual machine"
If something is physical it's not virtual
If something is virtual it's not physical
This video is evidence for the belief that developers behind Cardano don't understand what real people want but maybe they can sell it to "virtual real people"
Relax dude. He said “virtual OR physical object”. Besides, it’s ridiculous to completely reject a whole team of developers just by a misuse of a term in one’s presentation lol
@@MrReelsun this is only one example. Be honest, consider the messaging across this entire video. Bragging that some aspect of your software can fit onto a napkin? This just seems so out of touch with reality to average folk. Average people know that software is complex, not simple. To say that the software fits on a napkin seems disingenuous at best and at worst it's a bold-faced lie. To me, I just see red flags everywhere in this video.
@@expchrist Of course this is a video for marketing, and they definitely would brag about their technology advantages. The napkin example is to illustrate how much simpler their system is comparing to Ethereum, and from a software engineering perspective, simplicity is important because the whole system is easier to maintain and upgrade. From your words, I can see that you are either not a software engineer or not a very good software engineer lol. I agree that the video isn’t very down to earth, but this is a tech sharing video and it’s not meant for the average people to relate. Average people can only see the technology advantage when it’s kicking Eth’s ass in terms of performance, transaction costs, and extensibility(and as a result a price surge of ADA).
@@MrReelsun But the issue is that they don't come across as credible. It's bad marketing.
Great information. Except, we don't need to see the presenter's talking head in a box covering up half of the slide.
Friends, this information is awesome. It is equally difficult to hear, because of the sharpness of the sound, terrible acoustics of the room. You dudes need a couple strategicly placed strips of acoustic absorbant material. Please.
The sound is awful. the only con with Cardano is lacking attention to presentation and marketing details which you can see in all the summits and talks about Cardano. With this treasury, they can hire people to do this for them. a better setup doesn't hurt, does it?
That's why you don't let a 17 y.o. with little to no experience in software engineering design a multi-billion dollar financial system.
its dumping like hell
Glad we bought the dip 11 months ago .. 8 cent Ada was a good decision.
Staked with BONE pool
Download Yoroi on Google play or iOS
I was excited about cardano but almost every sentence in this makes me feel like it has no chance.