Cypherpunk nói phần mềm đều có lỗ hổng, xác minh hình thức tăng bảo mật

Cypherpunk, công ty nắm giữ ZEC trong treasury, đã lên tiếng sau biến động mạnh của token này, cho rằng mọi phần mềm đều có lỗ hổng và an ninh blockchain cần được tăng cường bằng formal verification cùng provable correctness.

Trong thông cáo trên X, Cypherpunk nói AI có thể giúp phát hiện lỗi nhanh và rộng hơn, nhưng yếu tố quyết định là ai tìm ra vấn đề trước khi kẻ xấu khai thác được. Công ty cũng nhấn mạnh Zcash đang thể hiện khả năng này qua bản cập nhật sắp tới.

Trước đó, ZEC bị bán tháo sau khi xuất hiện lo ngại về một lỗ hổng bảo mật có thể dẫn đến việc phát hành vô hạn. Giá token đã giảm hơn 50% trong một ngày.

Cypherpunk cũng đề cập rằng Bitcoin từng bị “overminted” 184 tỷ BTC do lỗi, nhưng lập luận này không đồng nghĩa với việc từ bỏ công nghệ blockchain. Thay vào đó, công ty cho rằng việc cải thiện cơ chế bảo mật là hướng cần thiết.