Узнать о Zen

F* - Формальная верификация кода

Все платформы смарт контрактов должны решать две проблемы: правильное выполнение и потребление ресурсов. Это очень трудно решить на децентрализованной платформе.

Zen принимает F* в качестве отправной точки для определения смарт-контрактов. F*, разработанный Microsoft Research, является функциональным языком, направленным на формальную проверку. Zen использует мощные методы доказательства F* как для создания доказательств правильности, так и для доказательства того, что контракты выполняются в течение ограниченного времени. Доказательства правильности означают, что любой желающий может написать новый контракт, реализующий конкретный вид актива — например, опцион на покупку, после этого любой пользователь или контракт может сразу обнаружить и использовать этот актив, с уверенностью, что он выполняет то, на что требуется.

Ограниченное вычисление

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

UTXO & неизменность

На самом низком уровне Zen работает аналогично биткойну, с транзакциями, которые разблокируют монеты и снова блокируют их для новых выходов. Эта парадигма, часто называемая парадигмой «непотраченных выходов транзакций» или «UTXO», означает, что каждая транзакция, включая транзакцию, сгенерированную контрактом, оказывает заметное влияние на консенсус в сети даже до запуска контракта или проверки подписи транзакций. Контракты Zen неизменны: после их создания они никогда не меняются изнутри. Контракты, которые должны хранить данные, поступают на транзакционные выходы.

Космплекс активных контрактов и офф-чейн транзакции

Контракты Zen оплачиваются, чтобы оставаться активными в течение установленного промежутка времени: после истечения срока платежа они становятся неактивными и больше не обременяют майнеров или ноды. Когда они активируются, контракты появляются с их точным первоначальным кодом, как будто они никогда не были деактивированы. Это позволяет пользователям торговать контрактными активами без использования самих контрактов, активируя контракты только для окончательного расчёта.

Сочетание парадигмы UTXO и комплекса активных контрактов также позволяет обеспечить каналы платежей, гарантированных смарт-контрактом. Пользователи могут быстро торговать офф-чейн, обмениваясь подписанными транзакциями, которые дать знать о себе сети Zen только в случае спора, или закрытии канала. Даже очень сложные контракты могут храниться в резерве, будучи неактивными или оплаченными, пока не возникнет спор.

Оракулы и Внешние данные

Данные за пределами Zen и блокчейнов биткойна делают возможными соглашения о событиях и активах в Zen из внешнего мира. Оракулы Zen эффективны и получают высокие вознаграждения: оракулы используют обязательство дерева Меркла к большому количеству данных, а затем могут т продавать отдельные части данных, с проверенной оплатой за каждую часть.

Объединенный консенсус и биткойн интеграция

В Zen майнеры добывают блокчейн Zen, но также требуется контролировать и ратифицировать блокчейн биткойна. Каждый блок в Zen может ссылаться на несколько заголовков блоков биткойна, таким образом, совершать консенсус биткойна.

Это не только увеличит количество нодов биткойна, но также обеспечивает взаимодействие Zen с биткойном. Любое действие с биткойном может повлиять на события в Zen.

Контракты Zen могут контролировать адреса биткоина, и автоматически выдавать соответствующие активы. Но это означает, что пользователи биткоин могут занимать позиции в Zen, заключать контракты и совершать безопасные децентрализованные сделки, не покидая биткойн. Контракт Zen, который удерживает залог, навязывает соответствующие платежи в биткойне.

Bitzen

Биткойн кредитует Zen, обеспеченный залогом, получает особенные параметры. Контракты могут узнавать сумму залога, наличие реальных биткойнов в сети Биткойн, а также степень риска. Затем они могут принимать несколько разных источников кредита биткойна, что корректировать цены для соответствия риску.