56 subscribers
با برنامه Player FM !
پادکست هایی که ارزش شنیدن دارند
حمایت شده


1 Venture Investing in Mobility + Tech with University of Michigan’s Early-Stage Zell Lurie Commercialization Fund 39:30
Amrit Kumar & Dr.Ilya Sergey: Scilla – A Formal Verification Oriented Contract Language
Manage episode 232838343 series 1652309
With the rise of smart contract technology, we’ve become acutely aware of the need for smart contract code to accurately reflect the intentions of its author; and for the code to have certain (safe) behaviors in all circumstances. Creating the languages and software tools to enable ordinary developers to write safe contracts has become an intense research endeavor in the cryptocurrency space.
Scilla is a Turing incomplete intermediate level language; inspired from the paradigms of functional programming and formal verification; that makes it easy for smart contract developers to automatically prove statements about smart contract behavior. For example, Scilla could allow a future multi-signature smart contract author to mathematically prove that funds in that contract would always be retrievable by certain addresses (and never get stuck like the Parity incident). The ability to mathematically prove such safety properties of the smart contract has the potential to be an enabling invention prior to widescale use of this technology.
In this episode, we are joined by Dr. Amrit Kumar and Dr. Ilya Sergey to discuss Scilla, the smart contract language of the upcoming Zilliqa blockchain. In a previous episode, we’ve already covered the vision and technical approach of Zilliqa to solve the transaction scalability problem of permissionless blockchains. This episode focuses specifically on their smart contract language development efforts.
Topics covered in this episode:
- Updated on Zilliqa’s progress since our last episode
- The technology of mechanised proofs
- Dr. Ilya Serger’s effort to mechanically prove safety properties of a blockchain consensus network
- Aims of the Scilla language
- Future capabilities enabled by the Scilla language
- Developer experience and perspective using formal verification tools
- How Scilla compares to Michelson, Tezos’ approach to smart contract languages with a similar end goal
- Current state of development of Scilla, and next milestones
Episode links:
- Our previous episode on the Zilliqa platform
- Ilya Sergey's paper on mechanising blockchain consensus
- Scilla whitepaper
- Michelson, Tezos platform's smart contract language
- Zilliqa blog for updates on platform development
- Coq, a formal proof management system
This episode is hosted by Meher Roy and Sunny Aggarwal. Show notes and listening options: epicenter.tv/238
611 قسمت
Amrit Kumar & Dr.Ilya Sergey: Scilla – A Formal Verification Oriented Contract Language
Epicenter - Learn about Crypto, Blockchain, Ethereum, Bitcoin and Distributed Technologies
Manage episode 232838343 series 1652309
With the rise of smart contract technology, we’ve become acutely aware of the need for smart contract code to accurately reflect the intentions of its author; and for the code to have certain (safe) behaviors in all circumstances. Creating the languages and software tools to enable ordinary developers to write safe contracts has become an intense research endeavor in the cryptocurrency space.
Scilla is a Turing incomplete intermediate level language; inspired from the paradigms of functional programming and formal verification; that makes it easy for smart contract developers to automatically prove statements about smart contract behavior. For example, Scilla could allow a future multi-signature smart contract author to mathematically prove that funds in that contract would always be retrievable by certain addresses (and never get stuck like the Parity incident). The ability to mathematically prove such safety properties of the smart contract has the potential to be an enabling invention prior to widescale use of this technology.
In this episode, we are joined by Dr. Amrit Kumar and Dr. Ilya Sergey to discuss Scilla, the smart contract language of the upcoming Zilliqa blockchain. In a previous episode, we’ve already covered the vision and technical approach of Zilliqa to solve the transaction scalability problem of permissionless blockchains. This episode focuses specifically on their smart contract language development efforts.
Topics covered in this episode:
- Updated on Zilliqa’s progress since our last episode
- The technology of mechanised proofs
- Dr. Ilya Serger’s effort to mechanically prove safety properties of a blockchain consensus network
- Aims of the Scilla language
- Future capabilities enabled by the Scilla language
- Developer experience and perspective using formal verification tools
- How Scilla compares to Michelson, Tezos’ approach to smart contract languages with a similar end goal
- Current state of development of Scilla, and next milestones
Episode links:
- Our previous episode on the Zilliqa platform
- Ilya Sergey's paper on mechanising blockchain consensus
- Scilla whitepaper
- Michelson, Tezos platform's smart contract language
- Zilliqa blog for updates on platform development
- Coq, a formal proof management system
This episode is hosted by Meher Roy and Sunny Aggarwal. Show notes and listening options: epicenter.tv/238
611 قسمت
همه قسمت ها
×
1 Stripe: The Stablecoin (R)Evolution - John Egan 1:05:36

1 t1 Protocol: Unifying Ethereum's L2 Liquidity Through Real-Time Proving - Can Kisagun 1:01:41

1 DappCon 25: The Ticker Is $ETH - Jerome de Tychey, Joshua Dávila & Nixorokish 1:12:32

1 Lombard: Unlocking Bitcoin DeFi Through Liquid, Yield-Bearing LBTC - Jacob Phillips 1:11:09

1 ETHPrague: ETH Renaissance - Austin Griffith, Brenda Loya, Joseph Schweitzer, Marek Olszewski 1:00:25

1 Initia: Incentively Aligned Appchains - Ezaan Mangalji, Anil Lulla & Jose Maria Macedo 1:02:08

1 Ethereum Foundation: Humanity’s Shared World Computer - Hsiao-Wei Wang & Tomasz Stańczak 1:10:21

1 Taiko: Scaling Ethereum in a Decentralised Manner - Joaquin Mendes 1:08:05

1 Mysten Labs: How Sui Leverages Move to Build the Composable Web3nternet - Adeniyi Abiodun 1:03:09

1 Tally: The Software Layer for Tokenized Organizations - Dennison Bertram 1:01:21

1 Lido V3: Ushering in Institutional Staking Through stVaults - Hasu 1:19:32


1 Solana: From On-Chain Nasdaq to the Pump Fun Craze - Anatoly Yakovenko 1:18:28

1 Build on Bitcoin: Combining Bitcoin's Security With Ethereum's Versatility - Alexei Zamyatin 1:10:10

1 Puja Ohlhaver: Why Community Currencies Are Crucial for Governance in DeSoc 1:04:42

1 Nevermined: Payment System for the AI Agentic Economy - Don Gossen 1:04:38

1 Turtle Club: Helping Web3 Users Monetize Their On-Chain Activity - Esfandiar Lagevardi 1:09:25


1 Balancer: Custom AMMs and Liquidity Solutions - Fernando Martinelli 1:04:35



1 RedStone: The Oracle Pioneering the Future of DeFi - Marcin Kaźmierczak 1:04:40

1 Privado ID & Quark ID: On-Chain ZK-Powered Unified ID - Diego Fernandez & Evin McMullen 1:06:49

1 Abundance: The First 1 Gigagas/second Stack for Sovereign Rollups - Hilmar Orth 1:09:00

1 Monad: The EVM-Compatible 10,000 TPS L1 Blockchain - Keone Hon 1:10:54


1 Bitcoin OS: Bitcoin Block 853626 Changed Everything For BTC Smart Contracts - Edan Yago 1:10:20

1 Symbiotic: Scaling Shared Security Through Restaking - Misha Putiatin 1:05:36

1 Ari Juels: Can AI Weaponize Blockchain Smart Contracts? - Chainlink 1:04:05


1 Anoma: Solving Cross-Chain Interoperability Through Intents - Adrian Brink 1:05:02

1 Dappnode: Plug-n-Play Decentralization - Eduardo Antuña, Pol Lanski 1:18:46


1 Blockworks: The Future of Crypto = AI, Memecoins and DePIN - Jason Yanowitz Live @Permissionless 59:58

1 Konstantin Lomashuk: '#bitcoin is like a #memecoin' - cyber·Fund 1:06:57

1 Celestia: 1Gb Blocks, Rollup Interoperability & Lazy Bridging. Ismail Khoffi & Mustafa Al-Bassam 1:03:48

1 Numerai & Predictoor: How AI Changed Crypto Prediction Markets - Trent McConaghy & Richard Craib 1:20:36


1 Arcium: Parallelized Confidential Computing Network - Yannik Schrade 1:02:10

1 Polymer: A New Era for Interoperability...on Ethereum! - Bo Du 1:02:19




1 MultiversX: Blockchain Sharding 101 - Lucian Mincu 1:08:49

1 Mel Project: Is Web3 Truly Decentralised? - Eric Tung 1:18:06

1 How Gnosis 3.0 Paves the Way for Mass Adoption - Friederike Ernst 1:10:20


1 ‘Aave v4 Will Unify Cross-Chain Liquidity’ - Stani Kulechov 1:10:48

1 Fabric Ventures' Investment Thesis Since the Dawn of Bitcoin to AI - Richard Muirhead 1:09:24

1 Plurality: How Taiwan Managed to Unite Its People Through Tech - Audrey Tang & Glen Weyl 1:01:32

1 'Ethereum Needs Polygon's Aggregation Layer to Scale' - Brendan Farmer & Sandeep Nailwal 1:05:56

1 EthStaker: Ethereum Staking Wars - Nixorokish & Superphiz 1:02:09

1 PsyDAO: Decentralising Psychedelic Research - Dima Buterin & Paul Kohlhaas 1:21:46

1 Crypto ETFs: Trojan Horse or Big Win? - Austin Griffith, Mona El Isa, Peter Van Valkenburgh 1:12:29

به Player FM خوش آمدید!
Player FM در سراسر وب را برای یافتن پادکست های با کیفیت اسکن می کند تا همین الان لذت ببرید. این بهترین برنامه ی پادکست است که در اندروید، آیفون و وب کار می کند. ثبت نام کنید تا اشتراک های شما در بین دستگاه های مختلف همگام سازی شود.