Несвязанные Смарт-Контракты

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