卡爾達諾智能合約簡單解釋

Plutus 腳本語言基礎知識

1. Plutus是專為Cardano智能合約執行環境設計的函數式程式語言。

2.它運行在擴展的UTXO（EUTXO）模型上，該模型與以太坊基於帳戶的模型有根本的不同，它將每筆交易輸出視為一個獨立的、不可變的單元，承載著價值和邏輯。

3. 每個 Plutus 腳本都必須在交易被接受到分類帳之前通過驗證，從而強制執行確定性結果並消除其他生態系統中常見的重入漏洞。

4. 腳本被編譯到 Plutus Core 中，這是一種低階中間表示，在鏈上部署之前經過形式驗證以確保正確性和安全性。

5. 開發人員使用 Haskell 語法編寫 Plutus 合約，利用強大的類型安全性和編譯時保證來減少執行階段錯誤並提高可審計性。

馬洛金融契約模型

1. Marlowe 是一種建構在 Plutus 之上的特定領域語言，專為選擇權、互換和託管安排等金融協議量身定制。

2.它抽象化了低階區塊鏈機制，允許非程式設計師（如經濟學家或法律專業人士）透過視覺化編輯器或聲明性語法來定義合約邏輯。

3. 合約由角色、操作和結果組成，在運行時強制執行嚴格的時間順序，以防止競爭條件或不明確的狀態轉換。

4. 所有 Marlowe 合約都會自動轉換為 Plutus Core 並遵循相同的驗證規則，確保與 Cardano 共識層完全相容。

5.模型支援可組合性：多個Marlowe合約可以嵌入到單一交易中，無需外部預言機即可實現複雜的多方協調。

銜尾蛇共識整合

1. 智能合約的執行完全發生在 Ouroboros 時代，其中老虎機領導者驗證包含 Plutus 腳本的交易以及定期傳輸。

2. 腳本執行消耗的計算資源以「記憶體單位」和「CPU 單位」衡量，兩者均按交易限制，以防止拒絕服務攻擊並確保公平的費用分配。

3. 此協定強制執行嚴格的時間鎖定機制，要求腳本指定與卡爾達諾紀元和時隙計時基礎設施一致的有效間隔。

4. 不允許外部狀態讀取；所有輸入都必須在交易上下文中明確提供，保持不變性並實現合約評估的完全可重玩性。

5. 權益池運作者獨立處理腳本驗證，共識只需要就最終輸出達成一致，而不需要中間運算步驟，從而減少節點間同步開銷。

透過 Project Catalyst 進行鏈上治理

1. ADA 持有者使用原生代幣提交融資提案、對技術升級進行投票（包括與智能合約標準相關的 CIP）並分配財務資源。

2. 每個提案都經過社區審查、正式評估和連續 epoch 的多階段投票，最終批准觸發自動財政支出。

3. 卡爾達諾上部署的智慧合約可能包含治理掛鉤，允許代幣加權決策修改費用結構或獎勵分配邏輯等參數。

4. 投票權直接根據質押的 ADA 餘額計算，沒有委託處罰或鎖定要求，在保持參與激勵的同時保留了流動性。

5. 所有治理行動都會產生可透過公共探索者存取的鏈上記錄，支援透明度並啟用第三方工具進行分析和問責追蹤。

原生代幣與 NFT 功能

1. Cardano本身支援多元資產發行，這意味著可以在不部署自訂智慧合約的情況下鑄造代幣（包括穩定幣和NFT）。

2. 策略腳本管理代幣的創建和銷毀，以 Plutus 編寫並在帳本層級執行，為供應控制和元資料完整性提供加密保證。

3. Cardano 上的 NFT 將豐富的元資料直接編碼到交易輸出中，並在區塊生產期間由驗證器進行驗證，而不是依賴鏈外儲存解決方案。

4. 代幣傳輸與 Plutus 腳本執行以原子方式共存，從而實現跨資產條件邏輯，例如，僅在收到指定 ADA 金額時才釋放 NFT。

5. 每項資產都帶有從其 Plutus 腳本哈希派生的唯一策略 ID，建立可證明的來源並實現跨錢包和市場的確定性識別。

常見問題解答

Q1：卡爾達諾智能合約要gas費嗎？不會。交易費用是根據規模和計算複雜度計算的，但沒有像以太坊 EVM 那樣的動態 Gas 計量機制。每單位消耗的記憶體和 CPU 的費用是固定的，在提交時確定。

Q2：Plutus 腳本可以與外部 API 或預言機互動嗎？不直接。外部資料必須透過可信任的鏈下服務攝取並作為交易輸入的一部分提交，然後根據腳本內預先定義的約束進行驗證。

Q3：已部署的 Plutus 合約是否可以升級？是的，但前提是原始腳本明確包含升級邏輯，例如引用可變策略 ID 或將權限委託給治理控制的位址。

Q4：卡爾達諾如何處理合約重入？ EUTXO 模型本質上可以防止重入，因為每個輸出都完全在新交易中消耗；呼叫之間不存在共享的可變狀態，從而消除了遞歸呼叫風險。