日韩毛片在线视频-日韩毛片在线影视-日韩美aaa特级毛片-日韩美a一级毛片-久久夜夜操妹子-久久夜夜肉肉热热日日

快速發布求購 登錄 注冊
行業資訊行業財報市場標準研發新品會議盤點政策本站速遞

軟件所在區塊鏈跨鏈協議驗證方面獲進展

研發快訊 2023年11月13日 09:12:36來源:軟件研究所 18959
摘要隨著區塊鏈行業的迅速發展,異構而孤立的區塊鏈系統之間亟需數據和功能的互操作性。這種需求最終促使跨鏈技術的誕生。

  【儀表網 研發快訊】近日,中國科學院軟件研究所計算機科學國家重點實驗室的科研人員,撰寫的題為Formal Analysis of IBC Protocol的研究論文,被網絡協議方面的重要國際會議ICNP 2023接收(the 31st IEEE International Conference on Network Protocols)。該研究首次形式化分析了區塊鏈跨鏈通訊協議IBC(Inter-Blockchain Communication),發現了IBC協議存在的部分問題,并提出了相應的修復建議。
 
  隨著區塊鏈行業的迅速發展,異構而孤立的區塊鏈系統之間亟需數據和功能的互操作性。這種需求最終促使跨鏈技術的誕生。區塊鏈跨鏈通訊協議為異構且相互獨立的區塊鏈系統之間的通用數據和信息的跨鏈交換提供支持。IBC協議是目前應用最為廣泛的跨鏈通訊協議之一。在解決區塊鏈系統間連接問題的同時,跨鏈技術削弱了區塊鏈系統的安全性,導致跨鏈項目存在一定的安全隱患。
 
  為了提高跨鏈通訊協議的安全性和可靠性,該研究使用規約語言TLA+對IBC協議核心層(transport, authentication,ordering (TAO) layer)部分進行建模,并使用模型檢測工具TLC進行驗證。該工作提取了官方文檔和IBC協議實際使用中應當滿足的性質作為驗證目標,并對這些性質進行形式化說明,以幫助開發者和用戶更好地理解IBC協議。同時,該工作根據跨鏈通訊的特點,主要建模了連接握手、通道握手和數據包處理相關的實體和行為,以探究鏈上模塊和鏈下中繼不確定行為對鏈間安全的影響。該研究通過適當的安全假設和建模抽象使模型在保留核心語義的同時能夠被高效驗證。
 
  通過對這些性質的驗證,研究發現IBC協議存在兩類嚴重的邏輯錯誤:連接和通道握手可能由于未能分配標識符或匹配對方鏈端而無法完成;發送的數據可能由于不正確的通道設計和異常狀態處理而無法正確接收或超時。通過對反例的分析和性質的精化,該研究進一步探討了造成問題的原因并給出相應的修復建議,以幫助開發者更好地設計和實現IBC協議。上述研究發現的所有問題和建議均反饋給協議開發者社區,且大部分得到了確認。
 
基于IBC協議的跨鏈通訊框架圖

我要評論
文明上網,理性發言。(您還可以輸入200個字符)

所有評論僅代表網友意見,與本站立場無關。

版權與免責聲明
  • 凡本網注明"來源:儀表網"的所有作品,版權均屬于儀表網,未經本網授權不得轉載、摘編或利用其它方式使用上述作品。已經本網授權使用作品的,應在授權范圍內使用,并注明"來源:儀表網"。違反上述聲明者,本網將追究其相關法律責任。
  • 本網轉載并注明自其它來源的作品,目的在于傳遞更多信息,并不代表本網贊同其觀點或證實其內容的真實性,不承擔此類作品侵權行為的直接責任及連帶責任。其他媒體、網站或個人從本網轉載時,必須保留本網注明的作品來源,并自負版權等法律責任。
  • 如涉及作品內容、版權等問題,請在作品發表之日起一周內與本網聯系,否則視為放棄相關權利。
  • 合作、投稿、轉載授權等相關事宜,請聯系本網。聯系電話:0571-87759945,QQ:1103027433。
廣告招商
今日換一換
新發產品更多+

客服熱線:0571-87759942

采購熱線:0571-87759942

媒體合作:0571-87759945

  • 儀表站APP
  • 微信公眾號
  • 儀表網小程序
  • 儀表網抖音號
Copyright ybzhan.cn    All Rights Reserved   法律顧問:浙江天冊律師事務所 賈熙明律師   儀表網-儀器儀表行業“互聯網+”服務平臺
意見反饋
我知道了
主站蜘蛛池模板: 久久黄色毛片 | 丝袜美臀综合图 | 日韩深夜 | 欧美三级一区二区 | 男人天堂网2021 | avtt国产| 中文字幕日本在线观看 | 欧美精品一区二区久久 | 亚洲人成绝费网站色ww | 97久久精品人人澡人人爽 | 欧美成人私人视频88在线观看 | 色老头成人免费综合视频 | 一级特色大黄美女播放网站 | 97日韩 | 免费在线视频一区 | 欧美日韩在线免费观看 | 成年视频xxxxx在线网站 | 18亚洲男同志videos网站 | 国产精品亚洲欧美 | 国产一二三区在线观看 | 成人日韩在线观看 | videos欧美黑白爆交 | 日日干视频 | 免费黄色影院 | 精品在线播放 | 在线成人免费看大片 | 久在线视频 | 欧美一区二区三区视频在线观看 | 亚洲永久中文字幕在线 | 亚洲第一天堂无码专区 | 中国毛片网 | 国产精品视频在 | 亚洲色图综合图片 | 草草草视频 | 在线看你懂| 国产日韩欧美二区 | 日韩一级二级三级 | 免费特黄 | 亚洲伦理影院 | 亚洲欧洲日本精品 | 午夜影院一区二区 |