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