非常荣幸能与 @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相关的任何投资建议。
喜欢
收藏
评论
分享
