Lớp tính toán mô-đun và nền tảng RaaS (Rent-as-a-Service) Lumoz vừa đạt được những kết quả quan trọng trong vòng thử nghiệm khuyến khích thứ ba của Testnet. Về mặt thị trường, sự kiện thử nghiệm này đã thu hút hơn 1 triệu người dùng và hơn 30 dự án hàng đầu trong hệ sinh thái, đẩy cao chủ đề thảo luận và mở rộng cộng đồng lên mức kỷ lục. Về mặt kỹ thuật, đội ngũ Lumoz đã tối ưu hóa sâu hơn thuật toán ZK-PoW (Zero-Knowledge Proof of Work) với bước đột phá giúp tăng hiệu suất tạo bằng chứng ZKP lên khoảng 50%.
Là lớp tính toán mô-đun ZK & AI hàng đầu, Lumoz sử dụng cơ chế đào PoW để cung cấp năng lực tính toán cho Rollup, ZK-ML và xác minh ZKP. Đội ngũ kỹ thuật đã không ngừng nỗ lực để giúp Lumoz nổi bật trong lĩnh vực tính toán ZK cạnh tranh. Thành tựu kỹ thuật lần này có thể sẽ là bước đệm quan trọng cho mạng chính Lumoz ZK-PoW sắp ra mắt.
Nội dung cụ thể của việc tối ưu hóa thuật toán Lumoz ZK-PoW
Cải tiến quy trình xác minh hiện có
Đầu tiên, thuật toán nộp hai bước và phương án tạo ZKP được tối ưu hóa của Lumoz giúp đảm bảo tính phi tập trung của cơ chế ZK-PoW, đồng thời tăng đáng kể hiệu suất tạo và xác minh ZKP. Điều này đã được xác nhận rõ ràng trong giai đoạn thử nghiệm Alpha.
Hiện tại, sau một thời gian nỗ lực, đội ngũ Lumoz đã tối ưu hóa thêm mô hình hai bước ban đầu bằng cách sử dụng quy trình xác minh đơn giản hơn, giảm tiêu hao tài nguyên trên chuỗi và rút ngắn thời gian xác minh. Quy trình mới này giữ nguyên cửa sổ nộp và cơ chế khuyến khích ban đầu, nhưng thay thế quy trình xác minh hai bước bằng một lần gọi hợp đồng duy nhất. Bằng cách này, người cung cấp năng lực chỉ cần thực hiện một lần gọi hợp đồng để hoàn thành xác minh, giảm 50%-60% chi phí trên chuỗi. Thời gian đạt trạng thái tin cậy cũng giảm khoảng 30%.
Đệ quy và gộp của Proof
Dựa trên cảm hứng từ thuật toán Plonky, Lumoz đã tối ưu hóa quy trình tạo bằng chứng ZK-PoW, thử nghiệm việc đưa vào dạng đệ quy nhằm tăng hiệu suất tạo bằng chứng tổng thể. Trong phương án mới, các bước tạo bằng chứng từ nhiều nhiệm vụ có thể được thực hiện song song, sau đó từng bước gộp lại thành một bằng chứng duy nhất thông qua đệ quy, giúp hệ thống hoàn thành xác minh ZK với bằng chứng tinh gọn hơn và chi phí xác minh thấp hơn. Đồng thời, thông qua hình thức đệ quy, phương án tối ưu hóa này cũng phân chia nhiệm vụ thành các phần nhỏ hơn, tạo cơ sở cho việc phân bổ năng lực tính toán hợp lý và hiệu quả hơn.
Phân bổ năng lực tính toán hợp lý hơn
Nhờ cơ chế khuyến khích của ZK-PoW, Lumoz có thể duy trì ổn định số lượng lớn các node tính toán ZK. Vì vậy, việc thiết kế một cơ chế phân bổ năng lực tính toán hợp lý hơn sẽ nâng cao đáng kể hiệu suất tính toán bằng chứng của toàn mạng. Lumoz đã nghiên cứu và cải tiến theo hai hướng:
- Tái sử dụng kết quả tính toán
Trong các phiên bản trước, mỗi quy trình tính toán bằng chứng là độc lập và chỉ phụ thuộc vào một số tham số trạng thái của hệ thống. Trong quá trình này, nhiều bước tính toán lặp lại và không cần thiết. Phương án mới chia nhỏ nhiệm vụ thành các phần nhỏ hơn thông qua đệ quy, từ đó tìm ra các mô-đun tương tự giữa các nhiệm vụ độc lập. Đối với những mô-đun này, phương án mới sẽ lưu trữ một phần kết quả tính toán và tái sử dụng trong các bước tiếp theo, tránh các bước tính toán lặp lại và tăng đáng kể hiệu suất sử dụng năng lực tính toán.
Mặt khác, với các nhiệm vụ phân chia chi tiết, node có thể lưu trữ các giá trị trung gian trong quá trình tính toán, giúp phục hồi nhanh chóng khi có sự cố xảy ra.
- Tiền tính toán
Do tính chất phi tập trung, năng lực tính toán trong ZK-PoW không phải lúc nào cũng khớp hoàn toàn với nhu cầu. Để tránh lãng phí năng lực dư thừa, các node không cần đợi nhiệm vụ bằng chứng được tạo ra mới bắt đầu tính toán. Trong phương án tối ưu hóa, ngay cả khi nhiệm vụ mới chưa được công bố, node có thể dựa vào trạng thái hệ thống hiện tại để đánh giá xem nhiệm vụ mới có thể thực hiện một số bước tính toán trước hay không, và sử dụng tài nguyên rỗi để tiến hành tính toán. Khi nhiệm vụ bằng chứng được công bố, node sẽ kiểm tra với chi phí rất nhỏ để xác minh tính hợp lệ của kết quả tiền tính toán trước khi tiếp tục quy trình tính toán chính. Nhờ việc sử dụng năng lực rỗi này, tốc độ tạo bằng chứng đã tăng 25%.
Tổng kết
Đội ngũ Lumoz đã tối ưu hóa quy trình ZK-PoW từ ba khía cạnh. Cải tiến quy trình xác minh giúp giảm chi phí trên chuỗi và giảm thời gian đạt trạng thái tin cậy. Việc tối ưu hóa cách tạo bằng chứng và sử dụng năng lực tính toán cũng giảm đáng kể thời gian cần để tạo bằng chứng. Phương án mới vẫn giữ nguyên cơ chế định giá năng lực tính toán ZK phi tập trung và thị trường hóa, trong khi giảm chi phí cho thợ đào và nâng cao hiệu suất tạo bằng chứng ZKP.
