ZK xác minh: Con đường không thể tránh khỏi của sự tiến hóa giao thức Bitcoin

2025-07-25 15:28:23

Giới thiệu ZK xác minh: Xu hướng tất yếu của giao thức Bitcoin

Bitcoin như một hệ thống xã hội, sự vận hành ổn định của nó phụ thuộc vào sự đồng thuận của mọi người về bản chất và hình thức đúng đắn của nó. Tuy nhiên, vẫn còn tồn tại những khác biệt rộng rãi và đang phát triển liên quan đến các vấn đề chính.

Satoshi Nakamoto ban đầu tưởng tượng Bitcoin là một hệ thống thanh toán điện tử P2P hoàn toàn mới. Tuy nhiên, Bitcoin đã hạn chế lưu lượng dữ liệu trong thiết kế sản phẩm, dẫn đến phí giao dịch đắt đỏ. Hơn nữa, dữ liệu giao dịch trên chuỗi Bitcoin đã phơi bày đáng kể tính riêng tư của người dùng, xa rời với tính ẩn danh mà ban đầu được tưởng tượng.

Để giải quyết những vấn đề này, cộng đồng Bitcoin đã đề xuất nhiều giải pháp cải tiến, trong đó hiệu quả lý thuyết tốt nhất là việc đưa vào các công nghệ liên quan đến ZK và SNARKs. Những công nghệ này có thể cải thiện đáng kể tính riêng tư và tăng khả năng xử lý giao dịch. Tuy nhiên, do giao thức Bitcoin rất khó để sửa đổi, các công nghệ này vẫn chưa được đưa vào giao thức Bitcoin cho đến nay.

Chức năng của script Bitcoin là hạn chế, không thể xác thực SNARK trực tiếp. Mặc dù về lý thuyết có thể xác thực bất kỳ tính toán nào, nhưng thực tế kích thước chương trình cần thiết để xác thực SNARK vượt quá giới hạn kích thước khối của Bitcoin.

Để thực hiện xác minh SNARK trong Bitcoin, hiện có hai con đường khả thi:

Bằng cách kích hoạt các mã lệnh đơn giản như OP_CAT, tăng cường chức năng của Bitcoin script, cho phép xác minh SNARK. OP_CAT có thể được sử dụng để xác minh bằng chứng Merkle, giúp xác minh SNARK dựa trên FRI.

Sử dụng công nghệ BitVM, không cần sửa đổi giao thức có thể xác minh bất kỳ nhiệm vụ tính toán nào. BitVM đã vượt qua giới hạn kích thước kịch bản thông qua cấu trúc Taproot MerkleTree và giải pháp lưu trữ KV, và sử dụng cơ chế chứng minh gian lận để đảm bảo an toàn.

Ngoài ra, công nghệ Chain State Proofs do đội ngũ ZeroSync đề xuất, kết hợp với 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í cho các nút hoạt động.

Nói chung, việc đưa ZK xác minh vào giao thức Bitcoin là xu hướng tất yếu, nhưng con đường cụ thể để thực hiện vẫn cần được nghiên cứu và thảo luận thêm. Dù chọn phương án nào, mục tiêu cuối cùng cũng nên là hỗ trợ nhiều tình huống thực tiễn hơn và nâng cao tính ứng dụng.

ZK2.25%

BTC-0.56%

Xem bản gốc

Trang này có thể chứa nội dung của bên thứ ba, được cung cấp chỉ nhằm mục đích thông tin (không phải là tuyên bố/bảo đảm) và không được coi là sự chứng thực cho quan điểm của Gate hoặc là lời khuyên về tài chính hoặc chuyên môn. Xem Tuyên bố từ chối trách nhiệm để biết chi tiết.

19 thích