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.
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
The Schedule
I hope you are going to enjoy it. See you all on 4th of September 2018! 🤓
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.
➤ Meetup page,
➤ Follow us on Twitter,
➤ Follow us on LinkedIn,
➤ Join our Discord server.