[Lighter × Succinct]: Tầm nhìn về hợp đồng hiệu suất cao và bộ sắp xếp chia sẻ được thúc đẩy bởi ZK

Chainfeeds Dẫn nhập:

Kiến trúc này xác lập sự phân công rõ ràng: L1 (Ethereum) đóng vai trò là bảng cân đối tài sản toàn cầu an toàn, chịu trách nhiệm lưu trữ vốn; L2 (Lighter): là lớp thực thi hiệu năng cao, chịu trách nhiệm quản lý rủi ro; Hạ tầng ZK (Succinct): là lớp nền tảng mật mã, kết nối hai bên một cách đáng tin cậy.

Nguồn bài viết:

Tác giả bài viết:

jaehaerys

Quan điểm:

jaehaerys: Trong quá trình theo đuổi khả năng mở rộng của blockchain, câu chuyện về L2 lâu nay bị chi phối bởi phép ẩn dụ về cầu nối. Để tham gia vào môi trường Rollup có thông lượng cao, chi phí thấp, người dùng buộc phải khóa tài sản trên L1 và nhận một tài sản tổng hợp tương đương trên L2. Tuy nhiên, mô hình này lại phát sinh các vấn đề mới: phân mảnh thanh khoản, cùng hàng loạt vụ tấn công cầu nối xuyên chuỗi thảm khốc — những vụ tấn công này đã trở thành một số trường hợp mất mát tài sản lớn nhất trong lịch sử tài chính phi tập trung. Để giải quyết, một hướng tiếp cận thay thế mới đã xuất hiện: thay vì chuyển tài sản sang môi trường tính toán, chỉ cần mang thông tin có thể xác thực về tài sản sang môi trường tính toán. Ý tưởng này lần đầu được nhắc đến trong một buổi livestream của SuccinctLabs, khi nhà sáng lập Gauntlet, Tarun Chitra, suy ngẫm về tương lai của hệ thống ZK và cho rằng giao thức ZK có thể giúp việc di chuyển tài sản trở nên tự nhiên và hiệu quả hơn. Tài sản có thể tiếp tục được khóa trên Ethereum mainnet (L1), nhưng thông qua bằng chứng không kiến thức (ZKP), giá trị của chúng có thể được xác thực an toàn trên L2 và sử dụng làm tài sản thế chấp. Như vậy, vị trí và chức năng của vốn được tách biệt: tài sản ở lại môi trường an toàn nhất là L1, còn giá trị của chúng được phản chiếu lên L2 hiệu năng cao, từ đó nâng cao hiệu quả sử dụng vốn. Ví dụ, vị thế stETH hoặc Morpho Vault của người dùng có thể tiếp tục sinh lợi trên L1, đồng thời bằng chứng giá trị của chúng được sử dụng làm đòn bẩy thế chấp trên L2. Mô hình này không chỉ giảm rủi ro xuyên chuỗi mà còn thúc đẩy khả năng kết hợp và tương tác an toàn giữa các lớp. Mô hình này được hiện thực hóa nhờ sự kết hợp giữa Lighter và Succinct. Lighter là một sàn giao dịch phi tập trung hợp đồng vĩnh cửu (Perp DEX) dựa trên sổ lệnh giới hạn tập trung (CLOB), với lựa chọn kiến trúc cốt lõi là sử dụng mạch zk tùy chỉnh thay vì zkVM hoặc zkEVM đa năng. Thiết kế này giúp hệ thống mật mã của nó tối ưu hóa riêng cho các chức năng khớp lệnh, động cơ quản lý rủi ro và logic thanh lý, do đó cực kỳ hiệu quả khi xác thực các chức năng giao dịch cụ thể, tránh được nút thắt cổ chai đắt đỏ và chậm chạp của các bằng chứng đa năng. Ở chiều ngược lại, Succinct cung cấp SP1 zkVM — một máy ảo dựa trên RISC-V, hỗ trợ đầy đủ hệ sinh thái Rust, có thể mã hóa hiệu quả các logic ứng dụng phức tạp như phương pháp định giá DeFi Vault hoặc động cơ thanh lý. Ngoài ra, Succinct còn vận hành một mạng lưới tạo bằng chứng phi tập trung (SPN), là một thị trường cạnh tranh tạo bằng chứng do GPU, FPGA, thậm chí tương lai là ASIC vận hành, có thể tạo ra các bằng chứng cần thiết một cách nhanh chóng và chi phí thấp. Khi kết hợp cả hai, người dùng có thể sử dụng tài sản sinh lợi trên L1 để giao dịch đòn bẩy trên L2 mà không phải hy sinh lợi nhuận. Ví dụ, người dùng tiếp tục nhận lãi từ Morpho Vault trên L1, còn bằng chứng giá trị của các tài sản này được dùng làm ký quỹ cho giao dịch vĩnh cửu trên L2. Xa hơn nữa, kiến trúc này còn hỗ trợ token hóa các chiến lược phức tạp trên L2, cho phép chúng lưu thông trên L1 dưới dạng tài sản tiêu chuẩn hóa, ví dụ như token đòn bẩy 3x ETH gốc, có thể dùng cho các ứng dụng như Aave lending. Mô hình này không chỉ nâng cao hiệu quả sử dụng vốn mà còn làm phong phú khả năng kết hợp giữa các lớp. Trọng tâm của kiến trúc này là sự phối hợp giữa hợp đồng Escrow và mạng lưới bằng chứng Succinct. Đầu tiên, người dùng gửi ETH, stablecoin hoặc tài sản sinh lợi vào hợp đồng Escrow trên Ethereum L1. Hợp đồng Escrow sẽ kích hoạt sự kiện, được mạng lưới bằng chứng Succinct tiếp nhận và tạo bằng chứng SNARK xác nhận tài sản đã được khóa. Sau khi hợp đồng xác thực trên chuỗi xác nhận bằng chứng này, Sequencer mới ghi có vào tài khoản ký quỹ của người dùng trên Lighter L2. Tiếp theo, cam kết trạng thái của L2 (trạng thái sổ lệnh, số dư, v.v.) sẽ được gửi lên lớp dữ liệu khả dụng (DA) để xác thực trong tương lai. Trong toàn bộ quy trình, tài sản không bao giờ rời khỏi L1, đảm bảo an toàn tuyệt đối. Quan trọng hơn, khi người dùng bị kiểm duyệt hoặc L2 gặp sự cố, họ có thể sử dụng cơ chế buồng thoát hiểm để gửi yêu cầu rút trực tiếp trên L1. Người dùng thực hiện giao dịch rút trên L1, DA cung cấp cam kết trạng thái và bằng chứng kèm theo, mạng lưới Succinct chuyển yêu cầu này thành nhiệm vụ tạo bằng chứng và tạo ra bằng chứng SNARK. Nếu xác thực thành công, hợp đồng Escrow sẽ buộc phải giải phóng tài sản, hoàn trả trực tiếp cho người dùng. Thiết kế này đảm bảo rằng bất kể L2 xảy ra vấn đề gì, người dùng luôn có thể dựa vào sự an toàn của L1 để lấy lại tài sản. Cơ chế này tương tự như đường thoát hiểm của Rollup truyền thống, nhưng trong bối cảnh di chuyển giá trị và thế chấp tài sản, mô hình này cung cấp một giải pháp rút vốn linh hoạt và chống kiểm duyệt hơn, càng làm nổi bật lợi thế của việc tách biệt vị trí và chức năng của vốn. [Nguyên văn bằng tiếng Anh]