Home

Scilla: A Smart Contract Intermediate Level Language

This wiki collects the related specification documents and tutorials. It also outlines the current project development status.

Roadmap

Things to implement next.

• Project Infrastructure and Development Process
• Features and Utilities
• Language Design
• Deployment on Zilliqa
• Analysis and Verification

Technical specification

A hyperlinked document is coming soon.

• Language specification (WIP)
• Position paper
• A paper with more examples