Linea Chuyển sang RISC-V khi nó xem xét lại tương lai của việc chứng minh Ethereum

Linea cho biết họ đang chuyển sang một kiến trúc proving mới được xây dựng xoay quanh RISC-V, đánh dấu một bước ngoặt lớn trong cách dự án layer-2 của Ethereum dự định mở rộng, xác minh và phát triển ngăn xếp công nghệ của mình. Trong nhiều năm, nhóm mật mã của Linea đã đi theo con đường mà họ mô tả là “khó khăn”: trực tiếp arithmetize Máy Ảo Ethereum, hay EVM, bằng cách thủ công chuyển từng opcode thành các ràng buộc toán học mà một prover có thể kiểm tra được.

Cách tiếp cận đó đã giúp dự án đạt mainnet và tạo ra một đặc tả hơn 1.000 trang, đã trở thành một mốc tham chiếu cho hệ sinh thái rộng lớn hơn. Nó cũng mang lại cho đội ngũ sự hiểu biết sâu sắc, thực tiễn về nội bộ EVM mà ít dự án có thể sánh được. Nhưng theo Linea, chính thiết kế đã đưa họ đi xa đến vậy cũng trở thành một gánh nặng.

Mỗi lần hard fork của Ethereum đều cần viết lại các module ràng buộc. Các nâng cấp thường lệ bị làm chậm bởi những thành phần được kết nối chặt chẽ, khó thay đổi nếu không đưa vào lỗi. Thay vì dành thời gian cho các ý tưởng mới và cải thiện hiệu năng, nhóm nghiên cứu thường bị cuốn vào việc quản lý độ phức tạp. Theo quan điểm của Linea, mô hình đó không còn là con đường tốt nhất để tiến về phía trước.

Giờ đây công ty nói rằng RISC-V mang lại một cách xây dựng lớp proving sạch hơn và nhanh hơn. So với mô hình trạng thái phức tạp và năng động hơn của EVM, RISC-V là một tập lệnh đơn giản hơn nhiều, với 32 thanh ghi và khoảng 40 lệnh. Với một hệ thống proving, Linea lập luận rằng sự khác biệt này có ý nghĩa ngay lập tức.

Các trace trở nên hẹp hơn, có thể được tạo theo thời gian thực, và cho phép prover bắt đầu làm việc trên các đoạn proof sớm hơn. Về mặt thực tiễn, kiến trúc được thiết kế nhẹ hơn, dễ xử lý hơn và hoạt động hiệu quả hơn ở quy mô lớn. RISC-V cũng thu hẹp một khoảng trống tương thích mà Linea cho biết đã khó giải quyết thông qua arithmetization EVM trực tiếp.

Hôm nay, Linea sử dụng Poseidon thay vì Keccak và duy trì biểu diễn trạng thái riêng của mình. Để đạt tương thích Type-1 Ethereum theo cách cũ, cần phải thủ công xây dựng Keccak, RLP và Merkle Patricia Trie vào hệ thống ràng buộc. Với RISC-V, Linea nói rằng một client EVM chuẩn có thể được biên dịch thành một binary RISC-V, để trình biên dịch xử lý các chi tiết đó và cho phép tương thích Type-1 ngay từ đầu.

Việc chuyển đổi này cũng phản ánh cách Linea đọc được hướng đi của chính Ethereum. Dự án cho biết cam kết của Ethereum Foundation đối với RISC-V là dấu hiệu rõ ràng nhất cho thấy lớp proving của Ethereum có thể trông như thế nào trong tương lai, và những hệ thống nào có khả năng phù hợp nhất với mô hình rollup được “đóng khung” sẵn. Tiếp tục đi theo con đường trước đó, Linea lập luận, sẽ khiến họ bị đẩy ra khỏi lộ trình L1—một điều họ không sẵn sàng làm.

Strategic Proving Shift

Linea nói rằng thời điểm là phù hợp vì phần lớn công việc khó khăn nhất đã được thực hiện. Nhóm đã triển khai một hệ thống sản xuất, hiểu tập lệnh mục tiêu, và biết các yêu cầu về bảo mật lẫn kiến trúc của môi trường mà họ đang xây dựng. Với hệ sinh thái rộng lớn hơn đang tiến về cùng nền tảng, Linea tin rằng những năm kinh nghiệm proving của họ giờ đây chuyển thẳng thành một cơ hội để đi nhanh hơn và xây dựng với mức độ đồng bộ cao hơn.

Quan trọng là, dự án nói rằng sự chuyển đổi này không loại bỏ những gì họ đã tạo ra. Ngôn ngữ native về ràng buộc của họ, zkC, sẽ được dùng để viết máy ảo RISC-V. Vortex và Arcane, các lớp proving và aggregation, được mô tả là không phụ thuộc vào kiến trúc, nghĩa là chúng có thể tiếp tục phục vụ cho ngăn xếp theo thiết kế mới. Linea cũng đang xây dựng khả năng tương thích kiểm chứng hình thức ngay từ đầu, với các ràng buộc được thiết kế để có thể xuất sang các công cụ như Lean.

Công ty nói rằng ngăn xếp mới nhìn chung sẽ mang tính module hơn, cho phép từng lớp được benchmark, audit hoặc thay thế độc lập. Điều đó có nghĩa là các tối ưu hóa cho prover có thể diễn ra mà không buộc phải thay đổi phần arithmetization nền tảng, và các cải tiến về hashing hoặc các thành phần khác có thể được đưa vào mà không kích hoạt các lần viết lại dây chuyền. Linea trình bày điều này như một bước tiến lớn so với hệ thống được ghép chặt mà họ đã sử dụng cho đến nay.

Dự án cũng đang nhấn mạnh quyền kiểm soát kỹ thuật rộng hơn của mình. Linea nói rằng họ có một trong những nhóm proving giàu kinh nghiệm nhất trong hệ sinh thái Ethereum và nằm trong số ít dự án sở hữu toàn bộ ngăn xếp, từ execution client và lớp consensus cho đến ZK prover và gateway. Với việc không có phụ thuộc bên thứ ba mang tính then chốt, nhóm cho biết họ được đặt ở vị thế tốt để thích nghi nhanh chóng khi bối cảnh proving của Ethereum thay đổi.

Thông điệp của Linea là rõ ràng: dự án tin rằng RISC-V không chỉ là một bản nâng cấp về hiệu năng, mà còn là một nền tảng mở và bền vững hơn cho giai đoạn tiếp theo của mở rộng Ethereum. Họ lập luận rằng kiến trúc mới dễ bảo trì hơn, dễ audit hơn và dễ để cộng đồng rộng lớn hiểu và đóng góp hơn.

Công ty nói rằng việc chuyển đổi này không chỉ nhằm tăng tốc. Đó là việc xây dựng một ngăn xếp có thể tồn tại vượt qua bất kỳ một đội nhóm đơn lẻ nào. Sẽ có thêm chi tiết sớm, nhưng trong lúc này, Linea đang phát tín hiệu rằng chương tiếp theo của họ sẽ được định hình ít bởi độ phức tạp hơn và nhiều hơn bởi tính module, tính tương thích, và sự đồng bộ với định hướng dài hạn của Ethereum.