什麼是普利拓斯（卡爾達諾）？

Plutus 是卡爾達諾最重要的元件之一，它支援在卡爾達諾上創建智慧合約和去中心化應用程式（dApp）。

智能合約是自動化合約，可用於以透明的方式交換金錢、財產、股票或任何有價值的東西，同時避免中間人的服務。

Plutus 是一種高階程式語言，可讓開發人員以函數式方式在 Cardano 上編寫智慧合約。它基於 Haskell，提供一流的安全性和高效能的獨特組合。

開發人員將能夠使用 Plutus 和 Haskell 創建 dApp（去中心化應用程式），然後安全且有效率地在區塊鏈上運行它們。

Plutus 的誕生源於人們對擁有一種清晰、直觀和一致的語言在卡爾達諾上編寫智能合約的渴望。它是專門為與區塊鏈互動而設計的。它基於 Haskell，Haskell 是一種通用函數式程式語言，已經存在了幾十年，並在工業界和學術界廣泛使用。它是一種靜態類型的純函數式語言，具有強大的類型系統。

Plutus 程式在兩種不同的環境中運作：

第一個是區塊鏈節點，當你的金融合約被想要使用它的人提交時，它就會在其中運作；

另一台是您的桌上型計算機，您可以在提交之前在本地編寫和測試合約。

合約除了其綁定變數的值之外沒有任何狀態。它可以向帳本讀取和寫入數據，但不能在本地儲存任何資訊。根據輸入的變化來改變合約結果的唯一方法是透過遞歸，因為 Haskell 中沒有循環或變數。

每個綁定變數的值出現在交易的輸出中；此外，合約可以傳回事件清單以記錄在區塊鏈的事件日誌中。

合約不允許與區塊鏈以外的外部資源交互，因此它們比傳統的智能合約更容易驗證和推理。

事實上，Haskell 長期以來一直用於編寫關鍵的金融軟體，例如巴克萊交易平台和彭博終端機。

Haskell 如此適合金融程式設計的原因是它允許您以有原則的方式用小組件建立大型系統。例如，Plutus 合約是用 Haskell 的子集編寫的——該子集功能純且沒有副作用。這意味著您可以確定，如果您為合約提供相同的輸入數據，它將始終產生相同的輸出。