智能合約安全分析項目Certora的形式驗證服務已支持以太坊編程語言Vyper

Author：

Block

Time：8/15/2023 11:38:37 PM

8月15日消息，智能合約安全分析項目Certora的形式驗證服務已支持以太坊編程語言Vyper，使智能合約開發人員能夠在部署代碼后審計之前檢測錯誤。

其它快訊：

英國法律委員會：英格蘭和威爾士現行法律可適用于智能合約:金色財經報道，英國法律委員會（Law Commission）今天表示，英格蘭和威爾士的現行法律可以適用于智能合約。根據該委員會的說法，對智能合約的執法并不需要對現有法律框架進行大規模的修改，除非在某些情況下，可能只需要對普通法進行微小的修改。今天的公告結束了委員會關于智能法律合約方面的工作，這是其第十三項法律改革計劃的一部分。該聲明還確認了英國司法管轄工作組在2019年11月就加密貨幣和智能法律合約達成的結論。根據法律委員會的說法，普通法的靈活性足以適應智能合約等新興技術。因此，該委員會表示，英格蘭和威爾士的管轄范圍非常適合商業和創新。法律委員會還呼吁市場參與者采取積極的措施，以應對智能法律合約的激增。這些準備條款包括創建風險條款來解釋智能合約的性能，以及建立用于理解智能法律合約中自然語言和計算機語言之間聯系的協議。然而，法律委員會還指出，作為其結論的一部分，需要在智能合約和一般新興技術引起的沖突解決領域進行更多的研究。在向政府提出的建議中，委員會同意某些類型的智能合約將帶來獨特的法律問題。與此同時，法律委員會也在研究加密貨幣和數字資產法規，重點關注產權，不論是有形的還是無形的。[2021/11/26 7:11:20]

庫幣安全事件更新：AKRO已暫停代幣轉賬，將升級智能合約:Akropolis于推特上表示，針對此次庫幣熱錢包異常轉賬事件涉及的AKRO代幣，Akropolis已對黑客地址進行封鎖，并全面暫停AKRO代幣轉賬，將對智能合約進行升級。[2020/9/28]

Curve智能合約中鎖定總價值超過3億美元:7月23日發文稱，DeFi鎖定的總價值仍在上升。自上周五以來，DeFi穩定幣交易平臺Curve在其智能合約的鎖定總價值中增加了2.26億美元，現已超過3億美元。按照鎖定總價值計算，Curve已成為第五大最受歡迎的DeFi協議。（Decrypt）[2020/7/23]

friend.tech：將向測試用戶空投獎勵積分

8月15日消息,去中心化社交平臺friend.tech官方宣布,本周五起將開始向應用程序測試用戶空投獎勵積分。在測試期間,這些積分將在鏈下進行收集,并且在應用程序正式發布后將有特殊用途。在接下來的六個月內,將分發一億...

Block Chain：8/15/2023 11:38:57 PM

Immutable zkEVM測試網已正式上線

8月15日消息,以太坊NFT二層擴容方案Immutable X開發公司Immutable宣布其Immutable zkEVM測試網已正式上線,現有的智能合約和Solidity代碼可以免費直接遷移到Immutable的...

Block Chain：8/15/2023 11:38:54 PM

Immutable：超過20家游戲公司已與Immutable合作，支持Immutable zkEVM發布

金色財經報道,Web3游戲平臺Immutable已開始與Polygon Labs合作對其Immutable zkEVM進行公開測試.

Block Chain：8/15/2023 11:38:51 PM

Nexon已決定將其區塊鏈組織整合至子公司Nexon Universe

金色財經報道,據游戲行業人士透露,Nexon已決定將其區塊鏈組織整合至子公司Nexon Universe,并正在辦理相關手續.

Block Chain：8/15/2023 11:38:46 PM