Wave編碼語言

什麽是Wave？

在Crypdolphin中，您使用Wave編程語言編寫智能合約。本頁面鏈接到關鍵的Wave資源，並比較了Wave和Solidity編程語言。

為什麽選擇Wave？

Wave的一個主要優勢是數據的可組合性。始終可以創建一個新的結構（資產）Y，其中包含初始資產X。更重要的是，通過引入泛型，可以定義能夠包裝任何資產的泛型包裝器Z(T)，為包裝的資產提供附加屬性或將其與其他資產組合。

Wave vs. Solidity

目前，區塊鏈語言領域的主要參與者是Solidity。作為最早的區塊鏈語言之一，Solidity旨在使用眾所周知的數據類型（例如字節數組、字符串）和數據結構（如哈希表）實現基本的編程語言概念，並能夠使用眾所周知的基礎構建自定義抽象。 然而，隨著區塊鏈技術的發展，人們逐漸認識到區塊鏈語言的主要目的是操作數字資產，而這些語言的主要特點是安全性和可驗證性（這是額外的安全層）。 Wave專門設計來解決這兩個問題：數字資產的表示和對其的安全操作。為了提供額外的保護，它與Wave Prover驗證工具一同開發。這使得Wave開發者可以為其應用程序的關鍵正確性屬性編寫形式化規範，然後使用驗證工具檢查這些屬性是否對所有可能的交易和輸入都成立。