Scilla налагает структуру на смарт-контракты, которая сделает приложения менее уязвимыми для атак за счет устранения определенных известных уязвимостей непосредственно на уровне языка.
Кроме того, принципиальная структура Scilla сделает приложения более безопасными и поддающимися формальной проверке.