Thật sự rất vui khi được làm việc với @intmaxIO, đặc biệt là @HiokiLeona, Erik và @missbitcoin_mai! Ngoài ra, tôi cũng đánh giá cao sự làm việc chăm chỉ của nhóm tôi (@_ddiaconescu_ và những người khác)! Giao thức tuyệt vời có thể xử lý khối lượng thanh toán lớn và thực sự quan tâm đến tính chính xác. Chúng tôi sẽ phát hành
Bài viết này được dịch máy
Xem bản gốc
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
Từ Twitter
Tuyên bố từ chối trách nhiệm: Nội dung trên chỉ là ý kiến của tác giả, không đại diện cho bất kỳ lập trường nào của Followin, không nhằm mục đích và sẽ không được hiểu hay hiểu là lời khuyên đầu tư từ Followin.
Thích
Thêm vào Yêu thích
Bình luận
Chia sẻ
