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

You might be interested in

LEAVE YOUR COMMENT

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

eos
EOS (EOS) 0,986885 1,68%
aave
Aave (AAVE) 116,82 0,87%
the-graph
The Graph (GRT) 0,384576 6,39%
kusama
Kusama (KSM) 44,87 0,35%
waves
Waves (WAVES) 3,65 3,61%
dash
Dash (DASH) 35,95 3,73%
bitcoin
Bitcoin (BTC) 65.290,41 1,36%
ethereum
Ethereum (ETH) 3.309,04 0,99%
cardano
Cardano (ADA) 0,602897 1,50%
tether
Tether (USDT) 0,924108 0,06%
xrp
XRP (XRP) 0,576072 1,16%
solana
Solana (SOL) 173,16 1,35%
polkadot
Polkadot (DOT) 8,87 1,91%
usd-coin
USDC (USDC) 0,923088 0,09%
dogecoin
Dogecoin (DOGE) 0,186699 11,48%
uniswap
Uniswap (UNI) 11,54 0,76%
terra-luna
Terra Luna Classic (LUNC) 0,000143 0,61%
litecoin
Litecoin (LTC) 88,75 1,31%
chainlink
Chainlink (LINK) 17,99 0,18%
bitcoin-cash
Bitcoin Cash (BCH) 523,08 16,68%
algorand
Algorand (ALGO) 0,250946 1,33%
matic-network
Polygon (MATIC) 0,945341 0,21%
stellar
Stellar (XLM) 0,126824 2,03%
cosmos
Cosmos Hub (ATOM) 11,61 5,43%
filecoin
Filecoin (FIL) 8,48 0,03%
tron
TRON (TRX) 0,110899 0,20%
ethereum-classic
Ethereum Classic (ETC) 29,92 3,36%
dai
Dai (DAI) 0,923185 0,22%
tezos
Tezos (XTZ) 1,30 4,41%
monero
Monero (XMR) 127,69 2,50%