StarkWare xác minh bằng chứng không kiến thức trên mạng thử nghiệm Bitcoin

Nhà phát triển blockchain StarkWare tuyên bố đã xác minh bằng chứng không kiến thức đầu tiên sử dụng bộ xác minh STARK mới của mình trên mạng thử nghiệm Signet của Bitcoin.

Bằng chứng khái niệm ban đầu để thử nghiệm bộ xác minh liên quan đến việc xác minh một vấn đề toán học — cụ thể là số thứ 32 trong dãy Fibonacci bình phương. Bước tiếp theo là tổng quát hóa thiết kế và cho phép nó thực hiện một loạt các tính toán đa mục đích rộng hơn, công ty cho biết trong một tuyên bố chia sẻ với The Block.

“Chúng tôi đã nói rằng chúng tôi muốn mở rộng Bitcoin và giải phóng sức mạnh của blockchain để thay đổi thế giới,” CEO của StarkWare, Eli Ben-Sasson, cho biết. “Đây là chúng tôi đang làm điều đó. Đây là bước đầu tiên của chúng tôi trong việc cho thấy Bitcoin có thể làm gì với công nghệ không kiến thức.”

StarkWare, được định giá 8 tỷ đô la trong vòng đầu tư cuối cùng, là nhà đóng góp chính cho Ethereum Layer 2 Starknet. Sự phát triển mới nhất này theo sau kế hoạch của StarkWare, được công bố vào tháng 6, nhằm mang lại khả năng mở rộng ZK cho Bitcoin cùng với Ethereum sau khi một đề xuất kỹ thuật được gọi là OP_CAT cung cấp khung cần thiết để mang lại khả năng mở rộng STARK cho Bitcoin.

Không có chuỗi bổ sung nào được tạo ra — kế hoạch của StarkWare sử dụng cùng mạng Starknet với cùng quản trị và tokenomics, hỗ trợ mở rộng Bitcoin mà không cần phải chia tách, nhóm đã làm rõ vào thời điểm đó. Mỗi dapp có thể chọn nơi nó muốn giải quyết — một hoặc cả hai, Ben-Sasson nói với The Block tháng trước.

Bộ xác minh STARK mới của StarkWare, được xây dựng hợp tác với công ty đầu tư mạo hiểm L2 Iterative, sử dụng OP_CAT, cho phép phát triển các Layer 2 dựa trên ZK trên mạng Bitcoin, được thiết kế để giúp nó mở rộng nhanh hơn, công ty giải thích.

“Đây là một nỗ lực to lớn và mất một lượng thời gian đáng kể,” Weikeng Chen của L2 Iterative cho biết. “Chúng tôi bắt đầu từ con số không. Không có thông tin nào về bằng chứng ZK trên Bitcoin. Không có thông tin nào liên quan đến các phép toán toán học cần tuân theo. Chúng tôi phải xây dựng toàn bộ ngăn xếp, cuối cùng dẫn đến việc triển khai bộ xác minh STARK.”

OP_CAT là gì?

OP_CAT là một đề xuất giao ước kỹ thuật sử dụng các tính năng kịch bản nâng cao để giới thiệu chức năng hợp đồng thông minh cho mạng Bitcoin. Nó có thể cho phép các trường hợp sử dụng, bao gồm các "kho tiền" an toàn cho phép các giao dịch có thể đảo ngược, các khoản thanh toán định kỳ tự động và tập trung vào quyền riêng tư, các chuyển khoản bị khóa thời gian cho các kịch bản như thừa kế và các công cụ tài chính phức tạp như ký quỹ và trái phiếu.

OP_CAT ban đầu được bao gồm như một trong những mã lệnh đầu tiên trong Bitcoin. Tuy nhiên, người tạo ra ẩn danh Satoshi Nakamoto đã vô hiệu hóa nó cùng với một số mã lệnh khác vào năm 2010 do lo ngại về khả năng tạo ra các kịch bản có thể dẫn đến các lỗ hổng.

Cộng đồng Bitcoin vẫn đang tranh luận về việc triển khai đề xuất này trên mạng chính, với khả năng bất kỳ đợt chia tách mềm OP_CAT nào phụ thuộc vào sự kết hợp của các cân nhắc kỹ thuật, bảo mật và đồng thuận cộng đồng. Tuy nhiên, hiện tại nó có sẵn trên mạng thử nghiệm.

StarkWare cho biết họ đang “công khai ủng hộ” việc phê duyệt đề xuất này vì “những lợi ích rõ ràng mà nó mở ra cho cộng đồng Bitcoin cũng như hệ sinh thái blockchain rộng lớn hơn.”

Signet của Bitcoin là gì?

Mạng Signet của Bitcoin phục vụ mục đích của một mạng thử nghiệm, tương tự như các mạng thử nghiệm khác của Bitcoin, bằng cách cung cấp một môi trường có kiểm soát cho các nhà phát triển thử nghiệm các tính năng, ứng dụng và công cụ mới trước khi triển khai chúng trên mạng chính của Bitcoin.

Tuy nhiên, Signet khác với các mạng thử nghiệm truyền thống của Bitcoin do tính chất được phối hợp tập trung và sự ổn định và bảo vệ bổ sung chống lại các hoạt động spam hoặc độc hại.