Bitcoin hỗ trợ hai con đường xác thực ZK: OP_CAT và BitVM

Bitcoin như một hệ thống xã hội, sự thay đổi trong giao thức của nó cần có sự đồng thuận rộng rãi. Từ khi ra đời đến nay, Bitcoin vẫn đối mặt với những vấn đề như phí giao dịch cao và thiếu tính riêng tư, cần phải cải thiện. Tuy nhiên, việc sửa đổi giao thức Bitcoin không phải là điều dễ dàng.

Trong khi không thay đổi giao thức Bitcoin, có hai phương án khả thi để thực hiện chức năng xác minh ZK:

1. Kích hoạt mã lệnh OP_CAT. OP_CAT có thể làm cho Bitcoin script trở nên mạnh mẽ hơn, hỗ trợ xác minh chứng cứ Merkle, giúp thực hiện xác minh SNARK dựa trên FRI. OP_CAT đã tồn tại trong các phiên bản đầu tiên của Bitcoin, vì vậy khả năng được kích hoạt lại là khá lớn.

2. Giải pháp dựa trên BitVM. BitVM sử dụng Taproot và lưu trữ KV, vượt qua giới hạn kích thước kịch bản của các khối Bitcoin, có thể xác minh bất kỳ nhiệm vụ tính toán nào. Nó đảm bảo tính đúng đắn của phép tính thông qua cơ chế chứng minh gian lận.

Ngoài ra, Chain State Proofs do nhóm ZeroSync đề xuất cũng đáng chú ý. Nó kết hợp công nghệ ZK, có thể giảm đáng kể khối lượng công việc đồng bộ và xác minh dữ liệu lịch sử Bitcoin, giảm chi phí vận hành nút.

Dù chọn phương án nào, mục tiêu của cộng đồng Bitcoin là hỗ trợ nhiều ứng dụng khả thi hơn dưới điều kiện đảm bảo an toàn. Mặc dù những cải tiến này sẽ không hoàn thành trong thời gian ngắn, nhưng về lâu dài, việc Bitcoin giới thiệu chức năng xác minh ZK là xu hướng không thể tránh khỏi.