Lớp điện toán mô-đun và nền tảng RaaS Lumoz đã đạt được kết quả theo từng giai đoạn trong vòng thử nghiệm khuyến khích thứ ba vừa kết thúc. Ở cấp độ thị trường, các hoạt động của testnet đã nhận được sự quan tâm và hỗ trợ của hơn 1 triệu người dùng và hơn 30 bên dự án sinh thái hàng đầu, đồng thời mức độ phổ biến trên thị trường, cuộc thảo luận và quy mô cộng đồng đã đạt đến những tầm cao mới ở cấp độ kỹ thuật; Nhóm Lumoz cũng đang tiến hành nghiên cứu về thuật toán ZK-POW Tối ưu hóa sâu hơn cũng đã đạt được những bước đột phá hiệu quả, có thể cải thiện hiệu quả chứng minh của ZKP lên khoảng 50%.
Với tư cách là lớp điện toán mô-đun ZK AI hàng đầu, Lumoz có thể sử dụng cơ chế khai thác PoW để cung cấp sức mạnh tính toán một cách hiệu quả cho việc xác minh Rollup, ZK-ML và ZKP và nhóm kỹ thuật cốt lõi của nó đã làm việc không mệt mỏi trong vấn đề này. Động thái kỹ thuật này không chỉ giúp nó nổi bật một cách hiệu quả trong lĩnh vực điện toán Web3 ZK cạnh tranh khốc liệt hiện nay mà còn có thể “mở đường” cho mainnet Lumoz ZK-POW sắp tới.
Sau đây là nội dung cụ thể của thuật toán tối ưu hóa Lumoz ZK-PoW này:
Cải tiến quy trình xác minh hiện tại
Trước hết, thuật toán gửi hai bước và sơ đồ tạo ZKP được tối ưu hóa do Lumoz đề xuất đảm bảo sự phân cấp của cơ chế ZK-PoW đồng thời cải thiện đáng kể hiệu quả của việc tạo và xác minh bằng chứng ZK. Điều này đã được xác minh rõ ràng trong mạng thử nghiệm Alpha.
Giờ đây, sau một thời gian làm việc chăm chỉ, nhóm Lumoz đã tối ưu hóa mô hình gửi hai bước ban đầu và sử dụng quy trình xác minh đơn giản hơn để giảm mức tiêu thụ tài nguyên trên chuỗi trong quá trình xác minh và rút ngắn thời gian quy trình xác minh tổng thể. Trong quy trình hiện tại, sơ đồ xác minh Bằng chứng tổng thể vẫn giữ nguyên khung thời gian gửi ban đầu và cơ chế khuyến khích, nhưng sử dụng lệnh gọi hợp đồng đơn giản hóa để thay thế quy trình xác minh hai bước ban đầu. Trong quy trình đơn giản hóa, nhân viên sẽ không còn cần phải xác thực thông tin nhận dạng và nhiệm vụ thông qua hàm băm bằng chứng. Thay vào đó, họ sẽ tổng hợp id bằng chứng chứa thông tin và thông tin nhiệm vụ của riêng họ vào bằng chứng zk được tạo và hoàn thành tất cả cùng một lúc trong hợp đồng. . xác minh.
Bằng cách này, nhà cung cấp năng lượng điện toán chỉ cần thực hiện một cuộc gọi hợp đồng duy nhất để hoàn thành quy trình xác minh hai bước ban đầu, giảm 50% đến 60% chi phí trên chuỗi cùng lúc với các bước xác minh trên chuỗi; bằng chứng cũng được thay đổi so với bản gốc Sau khi giai đoạn cửa sổ được nâng lên đến đầu giai đoạn cửa sổ, thời gian để đạt đến trạng thái tin cậy giảm khoảng 30%.
Đệ quy và tổng hợp bằng chứng
Lấy cảm hứng từ loạt thuật toán Plonky, Lumoz đã tối ưu hóa sơ đồ tạo bằng chứng ZK-PoW và cố gắng giới thiệu một dạng đệ quy để cải thiện hiệu quả tạo bằng chứng tổng thể. Trong sơ đồ mới, các bước tạo nhiều nhiệm vụ chứng minh có thể được thực hiện song song và cuối cùng được tổng hợp đệ quy và dần dần thành một bằng chứng duy nhất, từ đó hoàn thành xác minh ZK của toàn bộ hệ thống với bằng chứng hợp lý hơn và chi phí xác minh thấp hơn. Mặt khác, thông qua hình thức đệ quy, giải pháp tối ưu hóa cũng có thể phân chia một nhiệm vụ thành một cách chi tiết hơn, tạo cơ sở cho việc phân bổ sức mạnh tính toán hợp lý và hiệu quả hơn.
Phân phối sức mạnh tính toán hợp lý hơn
Theo cơ chế khuyến khích ZK-PoW, Lumoz có thể duy trì ổn định một số lượng lớn các nút sức mạnh tính toán ZK. Do đó, việc thiết kế một cơ chế phân bổ sức mạnh tính toán hợp lý hơn sẽ cải thiện đáng kể hiệu quả tính toán bằng chứng tổng thể của mạng. Nhóm Lumoz cũng đã tiến hành nghiên cứu và cải tiến theo hướng này:
Tái sử dụng kết quả tính toán
Ở các phiên bản trước, quá trình tính toán của từng tác vụ chứng minh tương đối độc lập và chỉ dựa vào một số tham số trạng thái hiện tại của hệ thống. Trong quá trình này, một số lượng lớn các quá trình tính toán được lặp đi lặp lại và dư thừa. Giải pháp mới sử dụng dạng đệ quy để phân chia một nhiệm vụ chứng minh thành một phần chi tiết hơn, sao cho có thể tìm thấy các mô-đun tương tự giữa các nhiệm vụ chứng minh tương đối độc lập. Đối với các mô-đun này, giải pháp mới sẽ lưu trữ một số kết quả tính toán và trực tiếp sử dụng lại chúng trong các quy trình tiếp theo, tránh số lượng lớn các phép tính lặp lại và cải thiện đáng kể việc sử dụng sức mạnh tính toán.
Mặt khác, ở mức độ chi tiết cao, các nút có thể lưu tốt hơn các giá trị trung gian của quá trình tính toán để có thể nhanh chóng tiếp tục tính toán từ các điểm dừng trong các tình huống bất thường.
Tính toán trước
Do tính chất phân cấp, sức mạnh tính toán trong ZK-PoW không phải lúc nào cũng giống hệt như nguồn cung. Để tránh lãng phí sức mạnh tính toán dư thừa, các nút sức mạnh tính toán không phải lúc nào cũng cần đợi nhiệm vụ chứng minh được tạo ra trước khi bắt đầu tính toán. Trong sơ đồ tối ưu hóa, ngay cả khi nhiệm vụ chứng minh mới không được phát hành tạm thời, nút sẽ đánh giá xem liệu nhiệm vụ mới có thể thực hiện một số quy trình tính toán trước ở mức độ chi tiết hơn dựa trên trạng thái hiện tại của hệ thống hay không và sử dụng tài nguyên nhàn rỗi để tính toán . Sau khi nhiệm vụ chứng minh được giải phóng, nút sẽ sử dụng chi phí tối thiểu để xác minh xem kết quả tính toán trước có hợp lệ hay không, sau đó tiến hành quy trình tính toán thông thường. Bằng cách tận dụng sức mạnh tính toán dự phòng này, bằng chứng được tạo ra nhanh hơn 25%
Tóm tắt
Nhóm Lumoz bắt đầu từ ba khía cạnh và tối ưu hóa giải pháp ZK-PoW từ nhiều góc độ. Các cải tiến đối với quy trình xác minh lớp trên giúp giảm chi phí xác minh trên chuỗi đồng thời giảm thời gian cần thiết để đạt được trạng thái tin cậy. Việc tối ưu hóa bằng chứng cơ bản và việc sử dụng sức mạnh tính toán giúp giảm đáng kể thời gian cần thiết để tạo bằng chứng. Giải pháp tối ưu hóa mới vẫn giữ lại cơ chế định giá điện toán ZK phi tập trung và theo định hướng thị trường ban đầu, đồng thời giảm đáng kể chi phí khai thác và cải thiện hơn nữa hiệu quả tạo ra ZKP.
