背景介紹
本文原作者 Muneeb Ali 於6月10日釋出於 Blockstack 官方部落格。點選左下方“閱讀原文”閱覽公告原文。
我們很高興地宣佈與Algorand攜手建立了一個獨立的開源專案，以支援Clarity智慧合約語言的未來設計和開發。Algorand 是區塊鏈行業的領軍專案，有著與我們相似的深厚科學根基。
Algorand和Blockstack PBC的科學家們都意識到：區塊鏈行業要超越當前狀態發展成熟，需要更安全、更可靠且可預測的智慧合約語言。透過合作，我們希望進一步提高智慧合約的嚴謹性，並歡迎其他個人或機構參與，以滿足高風險交易開發人員的需求。來自麻省理工和普林斯頓的博士將領導Blockstack PBC和Algorand為此開源專案做出貢獻，其中也包括Clarity當前的核心開發人員。
常見的“非確定性”程式語言受其性質所限，在某些情況下未執行就無法精確得知合約的行為。與之相反，Clarity是一種“確定性”語言，透過數學上的確定性，允許開發人員提前知道程式可以做什麼。這就解決了阻礙區塊鏈大規模、正式被使用的一個關鍵障礙。
Algorand創始人Silvio Micali博士表示：“智慧合約是區塊鏈被採用不可或缺的驅動力，因為它消除了對第三方中介的需求，並促進了無摩擦的經濟交換。隨著智慧合約中儲存大量的資產——且資產價值也日益增加，諸如Clarity之類的下一代程式語言，可為大型企業和政府解鎖基於區塊鏈的解決方案，這些機構需要更高階別的信任和安全。”
此外，我們認為這一圍繞Clarity的專案也為跨鏈通訊提供了一種可能方案，並邀請更多人參與。最終，我們希望打破壁壘，消除對第三方中介的依賴，並透過提供一門廣泛使用的確定性開源語言，助力開發者之間無縫發起和執行合約。
迄今為止，這是首次有兩個領先的加密貨幣專案攜手支援一種新的智慧合約語言。我們對於Clarity未來的可能性感到非常興奮。
