Bitcoin hỗ trợ chức năng xác minh ZK qua hai con đường

Bitcoin như một hệ thống xã hội hoạt động ổn định lâu dài, xuất phát từ sự đồng thuận đạt được của con người về những vấn đề then chốt. Tuy nhiên, Bitcoin vẫn tồn tại một số vấn đề cần được giải quyết, như phí giao dịch đắt đỏ, tính ẩn danh không đủ, v.v. Để cải thiện những vấn đề này, có hai con đường khả thi:

1. Cho phép Bitcoin script hỗ trợ xác minh SNARK trực tiếp. Điều này cần đến mã lệnh OP_CAT, và OP_CAT rất có khả năng sẽ được thông qua. OP_CAT là một mã lệnh đơn giản nhưng mạnh mẽ, có thể làm cho Bitcoin script trở nên mạnh mẽ hơn. Nó có khả năng hỗ trợ xác minh chứng cứ Merkle, giúp xác minh SNARK dựa trên FRI. Mặc dù việc kích hoạt OP_CAT có thể ảnh hưởng đến lợi nhuận MEV của một số người, nhưng khả năng cộng đồng đạt được đồng thuận về nó là khá lớn.

2. Giải pháp dựa trên BitVM. BitVM cho phép Bitcoin xác minh bất kỳ nhiệm vụ tính toán nào, là con đường tốt nhất để thực hiện xác minh SNARK mà không cần thay đổi giao thức. Nó đã vượt qua giới hạn kích thước kịch bản của các khối Bitcoin thông qua cấu trúc kịch bản Taproot MerkleTree và giải pháp lưu trữ KV. BitVM cần phải kiểm tra hành vi ác ý thông qua chứng minh gian lận, nếu phát hiện vấn đề có thể lấy lại tài sản đã được đặt cọc trước.

Ngoài ra, Chain State Proofs do đội ngũ ZeroSync đề xuất cũng là một công nghệ đáng chú ý. Nó kết hợp ZK, có thể chứng minh tính hợp lệ của hash khối, giảm đáng kể chi phí vận hành nút. Công nghệ này không chỉ có thể nén khối lượng công việc đồng bộ và xác minh dữ liệu lịch sử Bitcoin, mà còn là một phần quan trọng trong việc thực hiện BitVM.

Dù chọn phương án nào, mục tiêu cuối cùng của cộng đồng Bitcoin là làm cho sản phẩm trở nên thực tiễn hơn, hỗ trợ nhiều tình huống khả thi hơn. Mặc dù những cải tiến này sẽ không được thực hiện trong thời gian ngắn, nhưng chúng đại diện cho hướng phát triển quan trọng của Bitcoin trong tương lai.