Web3研究如何在Polkadot上集成Kadena的智能合約語言

2019-11-13     幣視界

Web3基金會正在研究如何為Polkadot生態系統採用區塊鏈初創公司Kadena的Pact智能合約程式語言。

Kadena周二在CoinDesk的Invest:NYC活動中宣布,這兩個組織簽署了一項協議,啟動一項研究項目,以研究如何將Pact集成到不同的區塊鏈平台中。

Pact旨在促進使用不同區塊鏈的開發人員之間智能合約的執行。Kadena希望該語言將成為智能合約標準,而不管開發人員首選的區塊鏈如何。

該公司的創始人斯圖爾特·波普喬伊(Stuart Popejoy)於2019年6月推出了跨鏈智能合約語言,適用於「混合區塊鏈」,包括公共和私人領域。Kadena聲稱Pact是使用Formal Verification執行智能合約的首批「人類可讀」語言之一,Formal Verification是一種使用數學方法驗證算法「正確性」的方法。

以前稱為Chainweb,嘉手納基地的blockchain平台 正式上線 11月4日,共同編織10驗證的工作(POW)blockchains同時運行。同時,該公司還宣布了2,000萬美元的代幣銷售。

該網絡通過同時運行多個區塊鏈,共享的默克爾根(merkle roots)允許在不同網絡之間共享數據,從而解決了現有PoW網絡的擴展挑戰。

Kadena 於2018年4月通過出售未來代幣簡單協議(SAFT)籌集了1200萬美元。Fidelity Investments的私人投資者部門,Devonshire Investors,Multicoin Capital,Asimov Investments,SV Angel和SIG參與了代幣銷售。

Web3 Foundation的互操作性項目緊隨Web3 Foundation的互操作性項目之後,該公司推動將區塊鏈平台與通用智能合約語言集成的努力促進了不同權益證明(PoS)區塊鏈平台的納入。

「 Web3基金會期待Kadena即將進行的可行性研究的結果,並更多地了解Pact語言在Polkadot生態系統中的作用。」該基金會負責人Dieter Fishbein在一份聲明中說。

由以太坊聯合創始人加文·伍德(Gavin Wood)發起,Polkadot 於7月啟動了DOT代幣銷售,當時估值為12億美元。三支未具名的中國基金購買了一定比例的代幣,估值低於10億美元。

由Polychain Capital加入的Web3基金會於10月成立了一個新的投資基金,以支持Polkadot。沒有公開該支持的金額。

文章來源: https://twgreatdaily.com/zh-cn/tJfWYm4BMH2_cNUgB0Uy.html