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
• Basic Features and Utilities
• Language Design
• Deployment on Zilliqa
• Analysis-and-Verification

Technical specification

A hyperlinked document is coming soon.

• An incomplete draft in PDF is here.
• Position paper
• A paper with more examples