Zcash ZEC tăng 12% khi Ironwood Formal Verification gần hoàn thành

Token ZEC của Zcash đã tăng khoảng 12% sau khi các nhà phát triển đứng sau Project Tachyon thông báo rằng họ sắp chứng minh chính thức rằng pool shielded Ironwood sắp ra mắt của mạng không có lỗi làm giả không thể phát hiện. Mức tăng giá này diễn ra sau tiến trình công việc xác minh chính thức nhằm loại trừ lỗi tính đúng đắn (soundness bug) trong mạch zk-SNARK của Zcash, có thể đã cho phép đúc ZEC ẩn. Lỗ hổng Orchard, được nhà nghiên cứu Taylor Hornby phát hiện, là một lỗ hổng trong mạch mà Zcash sử dụng để che giấu giao dịch, mặc dù các nhà phát triển tin rằng không có khai thác nào xảy ra. Ironwood dự kiến sẽ kích hoạt vào cuối tháng 7 với cơ chế turnstile cho phép người dùng chuyển tiền từ pool Orchard dễ bị tấn công và giúp chứng minh rằng không có hành vi làm giả nào diễn ra.

Lỗ hổng Orchard Cho Phép Khả Năng Làm Giả Ẩn

Lỗ hổng Orchard là một lỗi soundness trong mạch zk-SNARK mà Zcash sử dụng để che giấu giao dịch. Lỗi soundness cho phép một người chứng minh không trung thực thuyết phục mạng về một tuyên bố sai, và trong trường hợp này có thể cho phép kẻ tấn công đúc ZEC giả mà không để lại dấu vết trên chuỗi. Vì bất kỳ khai thác nào cũng sẽ vô hình, các nhà phát triển có thể vá lỗi, nhưng không thể chứng minh rằng nó chưa từng được sử dụng. Taylor Hornby đã phát hiện ra lỗ hổng.

Ironwood Giới Thiệu Xác Minh Chính Thức và Cơ Chế Turnstile

Ironwood là một pool shielded mới dựa trên Orchard, được xây dựng lại với lỗ hổng đã được sửa. Nhóm Tachyon cho biết họ 'chủ yếu thực hiện một nỗ lực toàn diện để xác minh chính thức Ironwood, loại trừ các lỗi làm giả không thể phát hiện', và lưu ý rằng những lỗi như vậy 'chỉ có thể tồn tại trong đặc tả' vì lỗi triển khai để lại bằng chứng có thể phát hiện trên sổ cái. Để xử lý các đồng coin đã có trong pool dễ bị tấn công, Ironwood bao gồm một turnstile. Ví chuyển tiền từ Orchard vào Ironwood, và vô hiệu hóa các khoản thanh toán trong pool cũ đặt ra một giới hạn trên về lượng ZEC có thể lưu hành, giúp chứng minh rằng không có hành vi làm giả nào xảy ra. Các nhà phát triển cho biết họ tin rằng không có khai thác nào xảy ra, và turnstile được thiết kế để biến niềm tin đó thành thứ mà mạng có thể kiểm tra. Các nhà phát triển cho biết họ dự kiến kích hoạt Ironwood vào cuối tháng 7, và việc xác minh chính thức của pool mới là công việc sẽ giải quyết liệu lỗ hổng làm giả có từng là rủi ro thực sự hay không.

Giá ZEC Đã Phục Hồi Khoảng Một Nửa Khoản Lỗ Sau Khi Tiết Lộ

ZEC đã giảm từ khoảng 600 USD xuống còn khoảng 300 USD trong vòng hai ngày sau khi tiết lộ, sau đó phục hồi lên khoảng 457 USD. Token hiện đã lấy lại khoảng một nửa số tiền đã mất. Mức tăng 12% diễn ra sau thông báo từ các nhà phát triển Project Tachyon về tiến trình xác minh chính thức.

Các Nhóm Phát Triển Đứng Sau Nâng Cấp Ironwood

Bản nâng cấp đang được xây dựng bởi một nhóm các đội ngũ Zcash, bao gồm Zcash Open Development Lab, một spinout từ các kỹ sư cũ của Electric Coin Company đã huy động được 25 triệu USD trong năm nay để tài trợ cho công việc về quyền riêng tư. Taylor Hornby, người phát hiện ra lỗ hổng Orchard, làm việc tại Shielded Labs.

Câu hỏi thường gặp

Lỗ hổng Orchard trong Zcash là gì?

Lỗ hổng Orchard là một lỗi soundness trong mạch zk-SNARK của Zcash có thể cho phép kẻ tấn công đúc ZEC giả mà không để lại dấu vết trên chuỗi. Được phát hiện bởi nhà nghiên cứu Taylor Hornby, lỗi này cho phép một người chứng minh không trung thực thuyết phục mạng về một tuyên bố sai, mặc dù các nhà phát triển tin rằng không có khai thác nào xảy ra.

Cơ chế turnstile của Ironwood hoạt động như thế nào?

Turnstile cho phép ví chuyển tiền từ pool Orchard dễ bị tấn công vào pool Ironwood mới. Việc vô hiệu hóa các khoản thanh toán trong pool cũ đặt ra một giới hạn trên về lượng ZEC có thể lưu hành, giúp chứng minh rằng không có hành vi làm giả nào xảy ra trong thời gian tồn tại lỗ hổng.

Khi nào Zcash sẽ kích hoạt nâng cấp Ironwood?

Các nhà phát triển dự kiến kích hoạt Ironwood vào cuối tháng 7. Việc xác minh chính thức của pool mới là công việc sẽ giải quyết liệu lỗ hổng làm giả có từng là rủi ro thực sự hay không.