Risk Harbor宣布為Anchor和UST推出自動化跨鏈智能合約風險和脫鉤保護

Risk Harbor宣布為以太坊上的儲蓄協議Anchor和Terra穩定幣UST推出自動化跨鏈智能合約風險和脫鉤保護。針對Anchor智能合約風險，Risk Harbor利用Terra創建的Eth Anchor橋來檢查aUST到UST的可贖回性。如果贖回能力明顯低于預期，用戶將被允許把他們的aUST換成另一種穩定幣衍生品，如cUSDC、yvDAI等。為了預防UST脫鉤損失，RiskHarborh會在Uniswapv3上檢查1小時內wrappedUST到USDC的時間加權平均價格（TWAP）。如果該價格低于預定的損失閾值，索賠是有效，Risk Harbor將允許UST持有人將他們的UST換成USDC。否則，索賠無效。

區塊鏈公司Etherisc推出以加快航班延誤保險索賠的新產品:1月20日消息，為保險行業定制區塊鏈協議的公司Etherisc正在推出一款針對航班延誤和取消的新鏈上產品。Etherisc聯合創始人Christoph Mussenbrock表示，該公司的FlightDelay產品將于周四上線，旨在使保險索賠申請更快、更透明。該應用程序將發布政策，對航班取消或延誤超過45分鐘的旅客幾乎即時支付。該項目旨在消除手工提交保險索賠的文書工作和冗長過程。（Blockworks）[2022/1/21 9:02:45]

萬向區塊鏈與生態圈合作伙伴形成RISC-V國際區塊鏈SIG:2月26日消息，萬象區塊鏈和艾托斯·伊奧宣布加入RISC-V International成為戰略成員，并與LeapFive、StarFive和SiFive合作組建了RISC-V International的新區塊鏈SIG（特殊利益集團）。該小組將幫助將區塊鏈技術與RISC-V解決方案相結合，并促進可信區塊鏈數據庫的開發。[2021/2/26 17:55:48]

動態 | 微軟公布新開源形式驗證工具VeriSol，旨在優化智能合約質量:據Crypto Globe消息，6月3日，微軟研究院（Microsoft Research）在博客中揭示了一個新的開源形式驗證工具。該工具旨在提高使用Solity（為以太坊區塊鏈構建的編程語言）子集編寫的智能合約的質量。 新工具名為VeriSol（即Verifier for Solidity），曾出現在一篇概述微軟Azure區塊鏈智能合約驗證的設計和應用的學術論文中。博客文章稱，盡管VeriSol迄今仍然是一個主要由Azure智能合約驅動的原型，但研究人員對其期望很高，同時也在鼓勵開放協作以促進形式驗證發展并引入主流智能合約開發中。[2019/6/4]