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 27 times, 1 visits today)

You might be interested in

LEAVE YOUR COMMENT

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

kusama
Kusama (KSM) 178,31 ÔéČ 0,91%
compound-governance-token
Compound (COMP) 396,44 ÔéČ 9,43%
dash
Dash (DASH) 135,30 ÔéČ 1,57%
zcash
Zcash (ZEC) 99,18 ÔéČ 0,62%
yearn-finance
yearn.finance (YFI) 27.884,04 ÔéČ 2,53%
bitcoin
Bitcoin (BTC) 32.199,44 ÔéČ 2,07%
ethereum
Ethereum (ETH) 2.269,07 ÔéČ 3,16%
tether
Tether (USDT) 0,851280 ÔéČ 0,47%
cardano
Cardano (ADA) 1,15 ÔéČ 0,39%
xrp
XRP (XRP) 0,605760 ÔéČ 0,24%
dogecoin
Dogecoin (DOGE) 0,167452 ÔéČ 0,24%
polkadot
Polkadot (DOT) 15,69 ÔéČ 0,76%
usd-coin
USD Coin (USDC) 0,851280 ÔéČ 0,88%
uniswap
Uniswap (UNI) 19,84 ÔéČ 5,03%
bitcoin-cash
Bitcoin Cash (BCH) 450,30 ÔéČ 0,99%
chainlink
Chainlink (LINK) 19,76 ÔéČ 3,22%
matic-network
Polygon (MATIC) 0,876565 ÔéČ 0,93%
solana
Solana (SOL) 31,88 ÔéČ 7,93%
litecoin
Litecoin (LTC) 117,64 ÔéČ 1,01%
stellar
Stellar (XLM) 0,231899 ÔéČ 0,04%
ethereum-classic
Ethereum Classic (ETC) 42,83 ÔéČ 1,11%
eos
EOS (EOS) 3,41 ÔéČ 0,68%
tron
TRON (TRX) 0,057810 ÔéČ 3,19%
filecoin
Filecoin (FIL) 47,64 ÔéČ 1,25%
aave
Aave (AAVE) 308,53 ÔéČ 13,62%
monero
Monero (XMR) 207,11 ÔéČ 6,37%
dai
Dai (DAI) 0,851280 ÔéČ 0,54%
tezos
Tezos (XTZ) 2,68 ÔéČ 3,14%
cosmos
Cosmos (ATOM) 10,84 ÔéČ 1,03%
algorand
Algorand (ALGO) 0,705011 ÔéČ 0,43%