Scilla - сокращение от Smart Contract Intermediate-Level. LAnguage - это промежуточный…
Scilla - сокращение от Smart Contract Intermediate-Level. LAnguage - это язык смарт-контрактов промежуточного уровня, разрабатываемый для Zilliqa.
Scilla был разработан как принципиальный язык с учетом безопасности смарт-контрактов.
Плюсы
Scilla - язык промежуточного уровня для проверенных смарт-контрактов.
Scilla обеспечивает четкое разделение между коммуникационным аспектом смарт-контрактов на блокчейне, что позволяет использовать разнообразные шаблоны взаимодействия, и программным компонентом, который имеет принципиальную семантику и поддается формальной проверке.
Минусы
Проблема с хранением - из-за высокой пропускной способности (тысячи операций передачи в секунду) для хранения потребуются гигабайты данных. Zilliqa выполняет сегментирование транзакций, а не состояния, что по сути означает, что каждый узел должен хранить все данные. Это возможно только с доступными терабайтами памяти.
Вопрос в том, как Zilliqa это удается и могут ли они сделать это таким образом, чтобы это не повлияло отрицательно на высокую пропускную способность их блокчейна.