Webinar: Learn how to code on Zilliqa with Scilla

With a mainnet that has been live for over a year, Zilliqa has already achieved this. However there is a different area which deserves focus in the blockchain space and that is Security. In recent times we have seen hacks of smart contracts, for example DAO, imBTC+Uniswap, imBTC+Lendf etc. That’s why Zilliqa has developed Scilla, short for Smart Contract Intermediate-Level Language. Scilla is an intermediate-level smart contract language which has been designed as a principled language with smart contract safety in mind. In this session you will learn about Scilla and discover how easy it is to program in Scilla. If you'd like to learn more about Scilla before the webinar then please go to the learnscilla website via this link: https://bit.ly/36i6Okb

This 60 minute session will provide you with:

• A short introduction to Zilliqa.
• A basic overview of the language Scilla.
• Explain key concepts like transition etc.
• Using those concepts to provide examples of current DAPPS/Smart contracts that are live and being used.

// Agenda //

16:00: Intro by BCNL.
16:05: A short introduction to Zilliqa by Amrit Kumar, President and Chief Scientific Officer at Zilliqa.
16:15: Introduction, key concepts and practical use of Scilla by Arnav Vohra, Developer Evangelist at Zilliqa.
16:50 Q&A.
17:00 end

// About Scilla //

Scilla, short for Smart Contract Intermediate-Level Language, is an intermediate-level smart contract language developed for Zilliqa. Winner of OOPSLA 2019 Distinguished Artifact Award, Scilla has been designed as a principled language with smart contract safety in mind.
‍
Scilla imposes a structure on smart contracts that will make applications less vulnerable to attacks by eliminating certain known vulnerabilities directly at the language-level. Furthermore, the principled structure of Scilla will make applications inherently more secure and amenable to formal verification.
‍
The language was developed hand-in-hand with formalization of its semantics and its embedding into the Coq proof assistant — a state-of-the art tool for mechanized proofs about properties of programs.

// About Zilliqa //

Zilliqa is a high-performance, high-security blockchain platform for enterprises and next-generation applications. Developed through academic research and helmed by a team of experienced scientists, engineers, venture creators and leaders in the financial services, Zilliqa addresses limitations in scalability and security, enabling real-world usability across a variety of industries, including finance, digital advertising, and gaming. In 2019, Zilliqa became the first public blockchain platform to be built on sharded architecture, with smart contracts written in the platform’s secure-by-design programming language, Scilla.

Website: https://www.zilliqa.com/