ColliderScript có triển khai chức năng hợp đồng Bitcoin trước OP_CAT không?

Tác giả: Haotian

Làm cách nào để hiểu sách trắng ColliderScript mới nhất do @StarkWareLtd phát hành? Nói một cách đơn giản: ColliderScript triển khai Covenant thông qua cơ chế xung đột băm mà không sửa đổi giao thức Bitcoin và triển khai các chức năng hợp đồng phức tạp của mạng chính Bitcoin trước đề xuất OP_CAT. Chính xác thì nó hoạt động như thế nào? Sự khác biệt so với OP_CAT là gì? Liệu nó có đẩy nhanh quá trình triển khai Starknet Bitcoin lớp 2 không? Sau khi đọc sách trắng, tôi muốn chia sẻ với các bạn:

1) ColliderScript, như tên gọi của nó, là một "collider", ngụ ý rằng cốt lõi của nó cơ chế là thực hiện xung đột băm trên các tập lệnh. Vì có hai loại script trong Bitcoin là Big Script và Small Script nên Big Script có thể xem dữ liệu giao dịch như chữ ký nhưng chỉ có thể xử lý các phép tính hạn chế và Small Script có thể thực hiện các phép tính tùy ý trên dữ liệu 32 bit nhưng không thể xem dữ liệu giao dịch.

Điều này có nghĩa là việc xác minh các tập lệnh lớn chỉ có thể bị giới hạn ở mức xác minh hạn chế như các giao dịch đã ký và hoàn toàn không thể xử lý logic hợp đồng phức tạp, trong khi các tập lệnh nhỏ thì có khả năng đáp ứng logic phức tạp Nhưng nếu không có liên kết quyền sở hữu chữ ký giao dịch, việc xử lý nó một cách riêng biệt là vô nghĩa.

Tôi nên làm gì? ColliderScript đã khéo léo thiết kế một “cầu nối” sử dụng SHA1 và RIPEMD để thực hiện xung đột băm 160-bit, đạt được sự tương đương giữa các tập lệnh lớn (xử lý dữ liệu lớn như chữ ký) và các tập lệnh nhỏ (chỉ có thể xử lý dữ liệu 32-bit). Mặc dù nó không thể xử lý dữ liệu chữ ký lớn hơn 32 bit trong các tập lệnh nhỏ nhưng nó có thể chứng minh rằng nội dung trong các tập lệnh lớn và nhỏ là nhất quán thông qua một bộ cơ chế xác minh mật mã.

Đó là một kỹ thuật toán học khéo léo mà ColliderScript có thể kết nối hiệu quả thông tin của các tập lệnh lớn và nhỏ, đồng thời logic giao dịch hợp đồng phức tạp có thể được tích hợp vào các tập lệnh nhỏ để tính toán Trong khi các tập lệnh lớn giữ lại xác minh chữ ký giao dịch, ColliderScript cuối cùng kết nối hiệu quả thông tin của các tập lệnh lớn và nhỏ, cho phép triển khai các chức năng hợp đồng phức tạp trong tập lệnh Bitcoin.

2) Tôi đã phân tích chi tiết OP_CAT trước khi viết bài. Đây là một đề xuất mã hoạt động hoàn toàn mới có thể kết nối nhiều dữ liệu chuỗi byte tập lệnh để xử lý. , từ đó đạt được khả năng tính toán và xác minh hợp đồng phức tạp tổng thể.

Thông qua OP_CAT, logic ban đầu cần được xử lý trong một khối dữ liệu có thể được chia thành nhiều đoạn dữ liệu và kết hợp động trong quá trình thực thi tập lệnh để đạt được tính linh hoạt hơn xác minh và tính toán. https://x.com/tmel0211/status/1783756759662043462

Vì OP_CAT là một đề xuất chưa hợp nhất nên không biết liệu nó có thể được đưa ra thành công hay không và sự xuất hiện của ColliderScript Chức năng hợp đồng của mạng chính Bitcoin có thể được triển khai trước tiên.

Tuy nhiên, giống như logic triển khai của BitVM, ColliderScript kết hợp logic tiền xử lý ngoài chuỗi, cái gọi là xung đột băm đòi hỏi một lượng lớn chi phí tính toán và lưu trữ. Theo sách trắng, mỗi lần sử dụng chức năng hợp đồng yêu cầu 2^86 truy vấn băm và 2^56 dung lượng lưu trữ, tương đương với việc tiêu thụ hơn 30 giờ năng lượng tính toán trên mạng Bitcoin, điều này sẽ làm tăng đầu tư vào nút một cách tự nhiên. chi phí và điện năng tiêu thụ, vv

Do đó, ColliderScript sẽ không thay thế hoàn toàn OP_CAT. Nó sẽ đóng vai trò là giải pháp chuyển tiếp để xử lý các hợp đồng có giá trị cao trong một số trường hợp cụ thể. các kịch bản kinh doanh giao dịch nhỏ và vi mô. Hướng đầu vào và đầu ra không tỷ lệ thuận.

Phải nói rằng, sự ra mắt của BitVM cũng có vấn đề về tính thực tiễn thấp, nhưng nó đã tạo ra một số lượng lớn các dự án như  , v.v., dựa trên đó cầu nối chuỗi chéo gốc và cơ chế chứng minh thách thức dành riêng cho Bitcoin được triển khai.

Lấy GoatNetwork làm ví dụ. Là một giải pháp Bitcoin layer2 có thể nhận ra chuỗi chéo bảo mật gốc và Sequencer phi tập trung, kernel triển khai OCP dựa trên BitVM2. Giao thức thử thách lạc quan, tất cả các tính toán và tương tác được thực hiện ngoại tuyến trên lớp thứ hai. Khi "thử thách" xảy ra, giao thức trên chuỗi sẽ được thực thi trên mạng chính Bitcoin và lớp 1 Bitcoin sẽ đóng vai trò là trọng tài để đảm bảo an ninh.

Tình thế tiến thoái lưỡng nan "thực tế" thực tế của CollideScript tương tự như hiệu ứng cá da trơn đổi mới tiềm năng của nó. Mặc dù có những rào cản về chi phí đối với việc phổ biến trên quy mô lớn, nhưng các tập lệnh có kích thước xung đột của nó sẽ thúc đẩy The. việc khám phá khả năng lập trình Bitcoin chắc chắn sẽ kích hoạt một số kịch bản ứng dụng cụ thể trước tiên.

Điều quan trọng là sự kết hợp giữa tiền xử lý ngoài chuỗi + trên chuỗi này sẽ mở khóa nhiều kịch bản ứng dụng phức tạp về lâu dài, tốt hơn là chỉ đơn giản xếp chồng lên nhau -Tính toán chuỗi và logic xác minh thực tế hơn một chút.

3) Tuy nhiên, điều thú vị là Starkware đã phát hành sách trắng ColliderScript. Trước đó @Starknet  nó đã đưa ra một kế hoạch chuyển đổi mới, từ thụ động sang chủ động, cho thấy mục đích là đẩy nhanh việc triển khai Bitcoin lớp 2.

Trong khi ca ngợi khả năng đổi mới công nghệ của nhóm Starkware, chúng ta cũng phải mong đợi sự ra mắt của Bitcoin lớp 2 của Starknet, điều này sẽ mang lại cho Bitcoin lớp 2 hệ sinh thái mang lại những gì ?