Cardano 創辦人於 6300 萬美元 TVL 挑戰中推出全新程式語言

Cardano 創始人 Charles Hoskinson 正在開發一種新的程式語言，以應對區塊鏈面臨的商業需求考驗。Hoskinson 表示，他正與 Input Output Global 的軟體工程師 Lucas Rosa 合作進行此項目。該建議的語言支援基於意圖的交易和使用 Groth16 加密證明的證據攜帶資料。Hoskinson 將該建議語言描述為首創之類。該語言尚無上線日期，其架構、效能特性和技術規格也尚未公佈。

儘管 ADA 的市值約為 83 億美元，Cardano 的去中心化金融應用程式僅持有 6300 萬美元的資產。根據 DefiLlama 數據，截至 10 月 19 日，Cardano 在過去 24 小時內的去中心化交易所交易額約為 92.7 萬美元，週交易額為 835 萬美元，較前七天下降 25%。Cardano 當日記錄了 12,716 個活躍地址，處理了 28,146 筆交易，產生約 2,196 美元的區塊鏈手續費。Cardano 的穩定幣供應量約為 7000 萬美元，為金融應用程式提供了相對較小的美元計價流動性池。

DefiLlama 評估 Solana 的去中心化金融充幣額約為 59 億美元。在同一 24 小時期間，DefiLlama 評估 Solana 的去中心化交易所交易量為 14.5 億美元。Solana 的穩定幣供應量超過 155 億美元。Solana 的市值約為 620 億美元，約為 Cardano 的七倍，而 Solana 的去中心化金融充幣額則超過其 90 倍。

Cardano 的流動性有限，這帶來了超越交易處理能力的商業挑戰。去中心化交易所需要足夠的流動性，以在不造成顯著滑點的情況下支持大額交易。借貸平台則需要充足的充幣和借貸需求來產生收益。活動量有限會使應用程式更難以維持，從而降低額外資本進入生態系統的動機。

Ouroboros Leios 是一項即將推出的升級，旨在大幅提高 Cardano 的交易處理能力。開發路線圖目標是通過分階段實施，將吞吐量提升 10 至 65 倍，可能支援更複雜的應用程式。Hoskinson 表示，Leios 將實現他對 Cardano 的原始願景，包括去中心化共識與治理、擴展的未花費交易輸出賬戶模型、Plutus 智能合約、形式化驗證以及多個獨立節點實現。Leios 仍待部署。Cardano 相對較低的交易量表明，需求的增長可能與技術能力的提升同等重要。

所提議的程式語言可能改變開發者在 Cardano 上設計和運行應用程式的方式。基於意圖的系統讓使用者能夠指定期望的交易結果，而軟體則在預設條件下執行交易。基於意圖的執行可簡化多重資產交換、自動化執行和複雜的結算需求。帶證明的資料會將加密證據附加到資訊上，以支援該資訊的有效性。將帶證明的資料與 Groth16 零知識證明結合，可讓應用程式在不暴露所有底層資訊的情況下驗證特定交易或運算。此方法可支援需要自動結算、保密驗證以及去中心化服務之間更複雜互動的金融產品。

Rosa 曾協助開發 Aiken，這是一種旨在讓 Cardano 智能合約開發更易於使用的程式語言。Aiken 旨在簡化原本與 Plutus 及其基於 Haskell 的程式環境相關的開發工作。Aiken 的編譯器、測試工具以及更熟悉的語法，旨在降低開發者進入該生態系統的技術門檻。這項新計畫可能將此努力延伸至基於意圖的執行和加密驗證，隨著去中心化應用程式整合自動交易和自主軟體代理。

Cardano 已支援能驗證基於配對的零知識證明的密碼學原語。該建議語言的商業吸引力部分取決於該語言如何有效讓開發者存取這些功能。改進的開發者工具可降低應用程式上線的成本與複雜度，但開發者也需要使用者、流動性與交易需求，才能使應用程式實現商業永續性。