非常榮幸能與 @intmaxIO 合作，尤其是 @HiokiLeona、Erik 和 @missbitcoin_mai！ 另外，也感謝我的團隊（@_ddiaconescu_ 和其他人的辛勤工作）！這是一個非常棒的協議，能夠處理大量支付，並且真正注重正確性。 我們將發布
本文為機器翻譯
展示原文
Nethermind Security
@NethermindSec
01-16
It's been a pleasure collaborating with @intmaxIO on formally verifying key security properties of the INTMAX2 protocol using @leanprover. Blog post and source coming out shortly.
Formal verification is crucial for ensuring security and correctness of blockchain protocols like
來自推特
免責聲明：以上內容僅為作者觀點，不代表Followin的任何立場，不構成與Followin相關的任何投資建議。
喜歡
收藏
評論
分享
