Dự án mới sử dụng các bản cuộn để xây dựng máy tính phân quyền dựa trên Linux

Dự án lớp hai Cartesi đã công bố một thiết kế tập trung vào cuộn lên cho Máy Cartesi của mình, một máy ảo dựa trên Linux cho phép các nhà phát triển chạy bất kỳ loại ứng dụng máy tính nào được bảo mật thông qua blockchain.

Thiết kế của Cartesi sử dụng một phiên bản sửa đổi một chút của Optimistic Rollups, một công nghệ lớp hai được phát triển trong hệ sinh thái Ethereum, để cung cấp năng lượng cho máy ảo của nó. Trái ngược với việc triển khai Optimism, sử dụng loại cuộn lên này chủ yếu để duy trì khả năng tương thích hoàn toàn với các hợp đồng thông minh Ethereum, Cartesi muốn cung cấp một môi trường phát triển truyền thống.

Máy ảo Cartesi mô phỏng kiến ​​trúc bộ vi xử lý RISC-V, một mã nguồn mở thay thế cho tập lệnh ARM thường được sử dụng trong điện thoại thông minh hoặc máy tính dựa trên M1 của Apple. Kiến trúc RISC-V cho phép chạy các môi trường phần mềm tiêu chuẩn dựa trên Linux. Đối với các nhà phát triển xây dựng trên Cartesi, điều này có nghĩa là các hợp đồng thông minh có thể được phát triển bằng hầu hết mọi ngôn ngữ và hệ sinh thái phát triển, miễn là nó được hỗ trợ bởi Linux.

Thiết kế dựa trên cuộn lên cho phép Cartesi kết nối một môi trường phức tạp như vậy với blockchain, dựa trên mô hình bảo mật của nó để đảm bảo tính hợp lệ của những gì xảy ra ở lớp hai. Tiền đề của việc tổng hợp là tất cả các thay đổi đối với trạng thái của môi trường bên ngoài, ví dụ như số dư ví và giao dịch trao đổi, cuối cùng được xuất bản dưới dạng nén cho lớp chính một blockchain, ví dụ như Ethereum.

Cải tiến lạc quan dựa vào việc xuất bản dữ liệu trên blockchain và cho phép một khoảng thời gian thử thách. Trong thời gian này, người dùng có thể gửi “bằng chứng gian lận” để báo hiệu rằng dữ liệu không chính xác, gây ra tranh chấp dẫn đến việc chỉnh sửa dữ liệu đó. Sau khi được giải quyết, trạng thái được hoàn thiện và đảm bảo hợp lệ thông qua mô hình bảo mật của blockchain. Tuy nhiên, thời gian rút tiền dài là một điểm thường bị chỉ trích.

Phiên bản Optimistic Rollups của Cartesi sử dụng cái gọi là giải quyết tranh chấp tương tác để cho phép chính chuỗi khối tính toán phiên bản chính xác của dữ liệu với chi phí tối thiểu. Erick de Moura, người sáng lập Cartesi, nói với Cointelegraph rằng thiết kế này cho phép chạy các phép tính phức tạp hơn nhiều so với những gì được cung cấp bởi máy ảo Ethereum:

“Các giải pháp tổng hợp khác chỉ làm cho mã Solidity hoạt động tốt hơn trên lớp 2. Tuy nhiên, chúng tôi đang tạo ra một thứ gì đó gần gũi hơn với một máy tính phi tập trung thực với hệ điều hành thực. ”

De Moura cũng nhấn mạnh rằng thiết kế của Cartesi là blockchain-bất khả tri và hoạt động trên các blockchain khác như Binance Smart Chain hoặc Matic – với nhiều tích hợp hơn sẽ được phát triển trong tương lai.

Vẫn còn phải xem liệu mệnh đề của Cartesi có tìm được lực kéo hay không. Trong khi hầu như tất cả các nền tảng hợp đồng thông minh đều áp dụng Solidity, thì dự án đang đi ngược lại. Tuy nhiên, môi trường dựa trên Linux có thể hấp dẫn đối với những người xây dựng các DApp phức tạp hơn nhiều.