|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
馬洛
馬洛是什麼？
Marlowe 是一種金融合約程式語言，旨在讓非程式設計師輕鬆編寫金融合約，例如衍生性商品、貸款和其他協議。它還使程式設計師更容易正式驗證這些合約是否正確。
該計畫由卡爾達諾背後的區塊鏈研發公司Input-Output Hong Kong（IOHK）發起。
Marlowe 是 IOHK 將形式化方法引入智慧合約程式設計的一部分，但它與以前的方法不同，它是專門為金融應用程式而設計的。為了實現這一目標，其設計者研究了金融理論，特別是諾貝爾經濟學獎得主肯尼斯·阿羅 (Kenneth Arrow) 的著作，他開創了現代金融背後的許多數學思維。這產生了一組基於現實世界金融概念（例如時間和金錢）的內建抽象，而不是其他程式語言中的更通用的概念（例如列表、函數和變數）。
馬洛是基於已在伊莎貝爾定理證明中被形式化的金融契約理論。這賦予了它一些其他合約語言所沒有的獨特功能：
推理合約預期價值的能力。
正式驗證合約屬性的能力。
此外，馬洛合約可以在卡爾達諾區塊鏈上執行。用戶可以在 Playground 上即時試用，它允許用戶在不了解區塊鏈技術或智慧合約的情況下建模和執行合約。
Marlowe 被設計為一個簡單而強大的金融建模工具。它的語法盡可能簡單，以便程式設計師和非程式設計師都可以使用它。
Marlowe 可用於多種用途，但它特別適合以下用途：
建構互動式金融合約
定義決策過程的遊戲和協議
模擬業務流程，例如涉及金融或保險的業務流程
金融市場建模
探索賽局理論中的思想
它在沙盒環境中運行，允許各類開發人員在卡爾達諾上編寫智慧合約。
目前，Marlowe 將在卡爾達諾上運行，但它不僅僅與卡爾達諾綁定。未來，它也可以用於在其他區塊鏈上編寫智慧合約。
|
可信任執行環境 (TEE)
可信任執行環境 (TEE) 是主處理器內的安全區域，提供受保護的空間，敏感程式碼和資料可以在其中運行，而不必擔心外界的篡改或觀察。 |
|
人類鑰匙
人類金鑰是從您的身分、您的知識或您擁有的東西衍生出來的加密金鑰。它們用於保護數位資產、保護隱私和訪問去中心化網路。 |
|
開放金融（OpenFi）
OpenFi是「開放金融」的縮寫，是一個將傳統金融（TradFi）與去中心化金融（DeFi）結合的金融框架。 |
|
匯總即服務 (RaaS)
匯總即服務 (RaaS) 允許建構者快速建立和啟動自己的匯總。 RaaS 供應商提供端對端解決方案，例如底層技術堆疊的客製化、無程式碼管理以及與核心基礎架構的一鍵客製化整合。 |
|
數據可用性採樣 (DAS)
資料可用性採樣（DAS）是一種使去中心化應用程式能夠驗證區塊資料的可用性的方法，而不需要每個參與者下載整個資料集。 |
|
多種數據可用性 (MultiDA)
這個區塊鏈架構使用多個資料可用性（DA）服務來確保資料冗餘。 |