Dowiedz się o Zen

F* -Weryfikacja formalna

Wszystkie inteligentne platformy kontraktowe muszą radzić sobie z dwoma problemami: poprawną realizacją i zużyciem zasobów. Są one szczególnie trudne do rozwiązania na zdecentralizowanej platformie.

Zen bierze F* jako punkt wyjścia do definiowania inteligentnych kontraktów. F*, opracowany przez Microsoft Research, jest językiem funkcjonalnym, mającym na celu formalną weryfikację. Zen używa potężnych technik F*, zarówno do tworzenia dowodów poprawności, jak i do udowodnienia, że kontrakty są wykonywane w ograniczonym czasie. Dowody poprawności oznaczają, że każdy może napisać nową umowę, wdrażając konkretny rodzaj aktywów - na przykład opcję kupna - i każdy użytkownik lub kontrakt może od razu odkryć i wykorzystać ten zasób, z przekonaniem, że działa tak, jak twierdzi.

Ograniczone obliczenia

Udowodnione ograniczenia zasobów pozwalają górnikom akceptować i obciążać każdą transakcją, która korzysta z umowy, bez ryzyka ataku typu "odmowa usługi". Sprawdzone granice zasobów umożliwiają również bardzo istotną optymalizację: kontrakty mogą być kompilowane do kodu bajtowego .NET w momencie, gdy są tworzone, dzięki czemu wykonywanie jest znacznie szybsze niż w zinterpretowanym języku skryptowym.

UTXO i niezmienność

Na najniższym poziomie Zen działa podobnie do Bitcoin, z transakcjami, które odblokowują monety i blokują je ponownie na nowe wyjścia. Ten paradygmat, często nazywany paradygmatem "niewydanej transakcji" lub "UTXO", oznacza, że każda transakcja, w tym transakcja generowana przez kontrakt, ma wyraźnie widoczny wpływ na konsensus sieci, nawet przed uruchomieniem umowy lub weryfikacją podpisów transakcji. Kontrakty Zen są niezmienne: raz utworzone, nigdy się nie zmieniają wewnętrznie. Kontrakty, które muszą przechowywać dane, robią to na wynikach transakcji.

Aktywne transakcje Set & Offchain

Kontrakty Zen są opłacane, aby pozostały aktywne przez określony czas: po wyczerpaniu płatności stają się nieaktywne i nie obciążają już górników ani węzłów. Po reaktywacji kontrakty pojawiają się z ich dokładnym oryginalnym kodem, tak jakby nigdy się nie dezaktywowały. Pozwala to użytkownikom handlować zawartymi w kontrakcie aktywami bez konieczności korzystania z samych kontraktów, aktywując kontrakty tylko w celu ostatecznego rozliczenia.

Połączenie paradygmatu UTXO i aktywnego zestawu kontraktów pozwala również na kanały płatności zabezpieczone inteligentną umową. Użytkownicy mogą szybko handlować poza łańcuchem, zamieniając podpisane transakcje, które w przypadku sporu są umieszczane tylko w sieci Zen, lub zamknąć kanał. Nawet bardzo skomplikowane umowy mogą być przechowywane w rezerwie, nigdy aktywowane lub opłacane, o ile nie powstanie spór.

Oracles i dane zewnętrzne

Dane spoza plików blokujących Zen i Bitcoin umożliwiają porozumieniom w Zen o zdarzeniach i zasobach ze świata zewnętrznego. Wyrocznie Zen są wydajne i dobrze skompensowane: wyrocznie wykorzystują zobowiązanie do merkle do dużej ilości danych, a następnie sprzedają pojedyncze kawałki danych, ze sprawdzoną zapłatą za każdy kawałek.

Merged Consensus & Bitcoin Integration

W kopalniach Zen wydobywam blockchain zen, ale są również zobowiązani do monitorowania i sprawdzania poprawności łańcucha blokowego Bitcoin. Każdy blok w Zen może odnosić się do szeregu nagłówków bitcoinowych, tym samym zobowiązując się do konsensusu bitcoinów.

Nie tylko zwiększa to liczbę węzłów Bitcoin, ale także sprawia, że Zen współdziała z Bitcoinem. Każda akcja na Bitcoin może wpływać na wydarzenia na Zen.

Kontrakty Zen mogą monitorować adresy Bitcoinów i automatycznie wyeksportować zasoby. Oznacza to jednak, że użytkownicy Bitcoin mogą zajmować pozycje w Zen, zawierać kontrakty i podejmować bezpieczne zdecentralizowane transakcje bez opuszczania Bitcoin. Kontrakt Zen, który posiada zabezpieczenie wymusza odpowiednie płatności w Bitcoin.

Kredyty Bitcoin na Zen, zabezpieczone zabezpieczeniem, zyskują specjalne właściwości. Kontrakty mogą zrozumieć kwotę zabezpieczenia, istnienie faktycznych bitcoinów w sieci Bitcoin i stopień ryzyka. Mogą następnie akceptować wiele różnych źródeł kredytu Bitcoin, dostosowując ceny do ryzyka.

Bitcoin credits on Zen, secured by collateral, gain special properties. Contracts can understand the amount of collateral, the existence of actual bitcoins on the Bitcoin network, and the degree of risk resulting. They can then accept multiple different sources of Bitcoin credit, adjusting prices to match risk.