Image for post
Image for post

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.

Adrian Irimia
Aug 6, 2018 · 3 min read

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.

Image for post
Image for post
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:

  • Some Javascript experience
Image for post
Image for post
SPONSOR: We are happy to announce Provably Fair as one of our sponsors for Zilliqa’s workshop. They are a fast growing blockchain startup from #Cluj, #Romania, that is revolutionising the way customers interact with gaming experiences around the globe. Thanks, guys! 👍

The Schedule

Image for post
Image for post
Please bear in mind that we are going to slightly adjust the content in order to align it with both attendees and organizer needs. Therefore please use the following link to have access to the last version of the schedule: https://docs.google.com/document/d/1znC-88p1cNAhtEUGRslwAfmmvytPh3ebfn6uCXteCaA/edit?usp=sharing

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,

Facebook event page,

➤ Follow us on Twitter,

➤ Follow us on LinkedIn,

➤ Join our Discord server.

cryptoland.tech

Since 2016, we have been involved in development of…

Adrian Irimia

Written by

cryptoland.tech

Since 2016, we have been involved in development of blockchain technology, first as individuals, now as a community model. Our focus is to educate software engineers, as well to support the improvement of blockchain ecosystems and to collaborate on different projects.

Adrian Irimia

Written by

cryptoland.tech

Since 2016, we have been involved in development of blockchain technology, first as individuals, now as a community model. Our focus is to educate software engineers, as well to support the improvement of blockchain ecosystems and to collaborate on different projects.

Welcome to a place where words matter. On Medium, smart voices and original ideas take center stage - with no ads in sight. Watch
Follow all the topics you care about, and we’ll deliver the best stories for you to your homepage and inbox. Explore
Get unlimited access to the best stories on Medium — and support writers while you’re at it. Just $5/month. Upgrade

Get the Medium app

A button that says 'Download on the App Store', and if clicked it will lead you to the iOS App store
A button that says 'Get it on, Google Play', and if clicked it will lead you to the Google Play store