Diving into Scilla: A Safe-by-Design Smart Contract Language

FYI: ➤ cryptoland.tech is on Discord , Twitter and LinkedIn! Join our community and let’s keep in touch.

Join cryptoland.tech on September 4th, from 09:45 till 18:00, at ClujHub, Cluj-Napoca, Romania, for our FREE full day workshop about a safe-by-design smart contract language developed by Zilliqa’s team, namely Scilla.

We are delighted to have Amrit Kumar, ​ Head of Research at Zilliqa, and Han Wen Chua, Developer Relations at Zilliqa, in Cluj-Napoca, Romania. They are coming all the way from Singapore to share their knowledge about smart contract programming.

IMPORTANT: Bear in mind please that we have only 50 seats available in ClujHub , therefore we strongly recommend to register using this 👉 form 👈 before 1st of September 2018. The first-come-first-served rule will be applied. Thanks.

Therefore, we are inviting all Smart Contract Developers, whether they just kicked off or are pretty advanced developers, to bring their laptops to a hands-on session introducing Scilla, a smart contract language designed as a principled language with smart contract safety in mind.

SPONSOR: We are delighted to have Transylvania Labs as our main sponsor for Zilliqa’s workshop. Please check here their website https://www.transylvanialabs.com/ and read more about Transylvania Labs research&development activities. Thank you, guys!

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 safe.

For more information, you may visit https://scilla-lang.org/ to get started with programming with Scilla before the session starts!

On the event day, Amrit Kumar will kick off at 10:00 in the morning with an overview of Zilliqa project. Then he will move into Scilla language design principles and Han Wen Chua will have a demo on Scilla IDE / Testnet / Javascript Library API.

After lunch, a hands on session is scheduled. And that’s when the fun part kicks in 😁. Therefore we are going to form teams and aim to write our own contract/dapp. The pseudo codes will be written on the whiteboards and then presented by each team.

At 15:00 we will continue with a coding session to develop the contract and from 17:00 Amrit will have a demonstration of Coq Formal Proof for crowdfunding contract and how Coq proofs are generated.

Prerequisites:

Laptop that can runs NodeJS

Some Javascript experience