Home

Scilla is an intermediate language for stateful message-passing smart contracts.

Roadmap

Things to implement next.

• Project Infrastructure
• 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