Zen 將從全球金融市場的某個細分領域開啟變革,但我們的願景非常遠大。從需要去中心化的市場和事業開始,我們致力於在越來越大的現有市場中推動比特幣的普及和應用,而不僅僅是跟從比特幣現有的應用場景,甚至淪落為又一個“區塊鏈技術”的販夫走卒。我們是小團隊,但我們在打造偉大的產品。
Zen 專案介紹
F*—形式驗證所有的智慧合約平臺都必須處理好兩個問題:正確執行和資源消耗。這兩個問題在去中心化的平臺上特別難解決。Zen將 F* 作為定義智慧合約的起點。F* 由微軟研究院開發,是一種用於形式驗證的函式式語言。Zen 使用 F* 強大的證明技術來建立正確性證明,並證明合約可在有限的時間內執行完畢。正確性證明是指任何人都可以寫一個新的合約,部署某種特定資產,例如看漲期權——任何使用者或合約都可以立即發現和使用該資產,並且相信該資產將按照它所宣告的方式執行。受限的計算經驗證的資源限制讓礦工們可以放心接受使用合約的交易並收取費用,而無需承擔來自拒絕服務攻擊的風險。經驗證的資源限制還有一個明顯的優勢:合約可以在建立時編譯為 .NET 位元組程式碼,使執行速度遠遠超過解釋型指令碼語言。UTXO 和不可篡改性在最低層次上,Zen 的工作方式與比特幣類似,透過交易解鎖代幣並將其鎖定到新的輸出結果中。這個範例通常被稱為“未花費的交易輸出”或“UTXO”範例,意思是即使在執行合約或驗證交易簽名之前,包括合約所生成的交易在內的每一筆交易都對網路共識產生了顯著的影響。 Zen 合約是不可篡改的:一旦生成,內容永遠不會發生改變。即使是需要儲存資料的合約,也是如此處理交易輸出結果。有效合約集合與鏈下交易在支付相應費用後,Zen 合約會在一定時間內保持啟用狀態:當費用消耗殆盡,它們會轉至非啟用狀態,不再為礦工或節點造成負荷。當合約被重新啟用時,將以其原有的原始程式碼再度呈現,就好像它們從未被停用過。這使使用者可以在不使用合約的情況下交易合約所發行的資產,僅為最終的結算而啟用合約。UTXO 範例和有效合約集合的組合也允許透過智慧合約來確保支付渠道的安全。使用者可以在鏈下快速交易,並交換籤名後的交易資訊。這些交易僅在發生爭議或為了關閉通道的情況下放到 Zen 網路上。即使非常複雜的合約也可以保留,無需啟用或支付費用,除非發生了爭議。預言機與外部資料來自 Zen 和比特幣區塊鏈以外的資料使 Zen 能夠就外部世界的事件和資產達成一致。Zen 的預言機效率很高,而且具有很好的獎勵機制:預言機不僅使用了默克爾樹處理大量的資料,還可以分別售賣單份資料,每份資料的支付都會經過驗證。合併共識與比特幣整合Zen 的礦工挖掘 Zen 的代幣時,還需要監測和驗證比特幣的區塊鏈。Zen 中的每個區塊都可能與若干個比特幣區塊頭部相關聯,這也就達成了比特幣共識。這樣不僅僅增加了比特幣的節點數量,同時也讓 Zen 與比特幣發生了協作關係。任何在比特幣上的操作都可能影響到 Zen 上的事件。Zen 的合約可以監控比特幣地址,並相應地自動發行資產。這意味著比特幣使用者可以使用 Zen,簽署合約,並在不脫離比特幣的情境下進行安全的去中心化交易。包含抵押品的 Zen 合約將確保相應的比特幣付款行為發生。BitzenZen 上的比特幣信用採取抵押擔保,並可獲得特定資產。合約可以識別抵押品的數量、比特幣網路上是否實際存在比特幣,以及相應的風險程度。合約可以接受多種不同的比特幣信用來源,並調整價格以匹配風險。
ZEN 團隊
關於更多Zen協議資訊:
風險提示:區塊鏈投資具有極大的風險,專案披露可能不完整或有欺騙。請在嘗試投資前確定自己承受以上風險的能力。本網站只做專案介紹,專案真假和價值並未做任何稽覈。