Functional smart contracts on Cardano

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 http://www.cardano.org
To learn more about IOHK and our work: https://iohk.io
Get our latest news updates: Follow us on Twitter @InputOutputHK or read more on our blog https://iohk.io/blog/
Meet the team: https://iohk.io/team/
Work with us: https://iohk.io/careers/

(Visited 19 times, 1 visits today)

You might be interested in

LEAVE YOUR COMMENT

Your email address will not be published. Required fields are marked *

tether
Tether (USDT) 0,841199 0,03%
usd-coin
USD Coin (USDC) 0,841105 0,05%
zcash
Zcash (ZEC) 190,68 0,28%
tezos
Tezos (XTZ) 5,62 6,18%
uniswap
Uniswap (UNI) 30,02 1,12%
bitcoin
Bitcoin (BTC) 53.270,61 4,89%
bitcoin-cash
Bitcoin Cash (BCH) 640,58 13,63%
ethereum
Ethereum (ETH) 1.928,22 6,30%
litecoin
Litecoin (LTC) 228,40 8,45%
dash
Dash (DASH) 250,51 5,78%
cardano
Cardano (ADA) 1,19 7,78%
chainlink
Chainlink (LINK) 30,45 9,13%
compound-governance-token
Compound (COMP) 410,46 4,15%
cosmos
Cosmos (ATOM) 20,38 8,11%
dai
Dai (DAI) 0,841199 0,08%
monero
Monero (XMR) 272,62 4,10%
omisego
OMG Network (OMG) 8,08 3,22%
polkadot
Polkadot (DOT) 35,75 4,44%
siacoin
Siacoin (SC) 0,023302 2,26%
stellar
Stellar (XLM) 0,558125 13,95%