什麼是 Motoko 程式語言 (DFINITY)？

Motoko 是一種為去中心化互聯網構建的新型通用程式語言。它被設計為安全且對開發人員友好。 Motoko 將使具有不同技能的開發團隊能夠建立新一代的去中心化應用程式。

Motoko 語言具有強大的奇偶校驗類型和可證明的安全保證，使程式設計師能夠建立複雜的系統，而不會引入可利用的漏洞。它還能夠實現和編寫智能合約。 Motoko 的設計目標、類型系統和執行模型，並展示了其在構建安全、可擴展和可組合的去中心化系統方面的實用性。

DFINITY 是一種新型公共區塊鏈計算機，將提供去中心化的雲端運算資源。它將是第一台支援基於WebAssembly（WASM）虛擬機格式的智慧合約的區塊鏈計算機，允許開發人員用任何符合WASM的程式語言編寫安全、高效能的智慧合約。

DFINITY 使用一種名為 Threshold Relay 的新共識協議，即使存在少數惡意行為者，也能抵禦 51% 的攻擊並保證活躍性。這使得 DFINITY 成為少數可以支援智慧合約功能的安全且可擴展的區塊鏈之一。此外，DFINITY 將提供一種創新的基於權益證明的隨機性信標，可用於智慧合約中，以重新排列資料清單、產生隨機數並隨機選擇網路參與者。

DFINITY 使用自己的程式語言 Motoko。 Motoko 是一種模組化函數式程式語言，專為在 DFINITY 區塊鏈電腦上建立智慧合約而設計。其特點：

• 具有類型推斷的強靜態型別。

• 用於模式匹配的代數資料型別。

• 具有詞法閉包的一流函數。

• 進階安全功能，例如自動記憶體管理、強制不變性和引用透明性。

Motoko 提供了一組豐富的抽象、資料類型和並發原語，允許開發人員創建複雜的應用程序，而無需處理較低層級的基礎設施問題，例如訊息傳遞、記憶體管理或垃圾收集。

Motoko 是作為語言設計的練習而開發的，旨在探索現代程式語言如果能夠利用互聯網電腦獨特的安全模型和分散式架構，會是什麼樣子。

互聯網計算機是一個公共電腦網絡，具有以前所未有的速度和規模託管和執行軟體的潛力。這是一個全新的互聯網，開發人員可以在其中建立勢不可擋、快速且安全的軟體。

網路計算機由ICP幣提供動力，用於支付網路運算和系統治理的費用。

互聯網電腦協議是一種突破性的區塊鏈協議，使生產者能夠以分散的方式運行通用軟體。