Trong hai năm qua, sự tiến bộ của công nghệ zkVM (máy ảo không biết) có thể nói là phát triển vượt bậc, từ giai đoạn "có thể chứng minh" đến nay là "chứng minh thời gian thực", đánh dấu một bước nhảy vọt quan trọng trong lĩnh vực này.
Hệ thống SP1 Hypercube được công ty Succinct phát hành vào tháng 5 năm nay đã thu hút được sự chú ý rộng rãi trong ngành. Hệ thống này đã được thiết kế lại với kiến trúc đa thức đa tuyến tính sáng tạo cho hệ thống chứng minh, so với phiên bản trước đó là SP1 Turbo, đã đạt được sự nâng cấp đáng kể về độ trễ và chi phí. Theo dữ liệu chính thức, lên đến 93% các khối Ethereum có thể hoàn thành chứng minh trong vòng 12 giây, mức tối ưu hóa hiệu suất tổng thể đã đạt được là 5 lần.
Đột phá này không chỉ đơn thuần là nhờ vào việc tối ưu hóa mã mà còn là một cuộc tái cấu trúc toàn diện của kiến trúc hệ thống. Các kỹ sư đã thiết kế lại hệ thống ràng buộc và quy trình, coi mỗi khối được tạo ra trong một khoảng thời gian là một đối tượng thời gian thực có thể xử lý bền vững, từ đó nâng cao hiệu suất của hệ thống một cách đáng kể.
Ý tưởng tối ưu hóa cốt lõi của hệ thống SP1 là nén quy trình "thực hiện → theo dõi → ràng buộc → chứng minh" đến giới hạn tối đa. Tài liệu khóa học liên quan của Đại học Stanford đã phân tích sâu sắc quy trình chứng minh của SP1, từ việc thực hiện lệnh RISC-V đến việc thu thập theo dõi, sau đó là ràng buộc AIR/đa thức và cuối cùng là việc tạo ra chứng minh, nêu rõ tầm quan trọng và khả năng xác minh của từng bước.
Cần lưu ý rằng, tối ưu hóa zkVM hiện đại đã vượt ra ngoài phạm vi tối ưu hóa trình biên dịch truyền thống. Nghiên cứu mới nhất cho thấy, mặc dù tối ưu hóa LLVM chuẩn vẫn có hiệu quả đáng kể đối với zkVM loại RISC-V (như RISC Zero và SP1) (tăng hiệu suất trên 40%), nhưng mức tăng này thấp hơn nhiều so với hiệu quả tối ưu hóa trên CPU truyền thống. Nguyên nhân chính của hiện tượng này là do nút thắt hiệu suất của zkVM chủ yếu xuất phát từ hệ thống ràng buộc đặc trưng của nó, chứ không phải từ các đặc điểm phần cứng như quản lý bộ nhớ đệm hay dự đoán nhánh trong CPU truyền thống.
Với sự phát triển không ngừng của công nghệ zkVM, chúng ta có thể mong đợi sẽ thấy nhiều bước đột phá hơn trong tương lai, điều này sẽ mang lại những khả năng mới cho việc ứng dụng và phổ biến công nghệ blockchain.
Trang này có thể chứa nội dung của bên thứ ba, được cung cấp chỉ nhằm mục đích thông tin (không phải là tuyên bố/bảo đảm) và không được coi là sự chứng thực cho quan điểm của Gate hoặc là lời khuyên về tài chính hoặc chuyên môn. Xem Tuyên bố từ chối trách nhiệm để biết chi tiết.
13 thích
Phần thưởng
13
5
Đăng lại
Chia sẻ
Bình luận
0/400
RugResistant
· 08-29 11:09
Lại là những người chơi kỹ thuật, có thể thực tế hơn một chút không?
Xem bản gốcTrả lời0
AirdropHarvester
· 08-27 22:41
bull tuyệt vời! Mười hai giây hoàn thành!
Xem bản gốcTrả lời0
PumpingCroissant
· 08-27 22:41
Năm lần hiệu suất Mua mua mua
Xem bản gốcTrả lời0
MoonRocketman
· 08-27 22:34
Động cơ cất cánh đã được làm ấm lên đến 93% và tốc độ xác minh gần như phá vỡ bầu khí quyển
Trong hai năm qua, sự tiến bộ của công nghệ zkVM (máy ảo không biết) có thể nói là phát triển vượt bậc, từ giai đoạn "có thể chứng minh" đến nay là "chứng minh thời gian thực", đánh dấu một bước nhảy vọt quan trọng trong lĩnh vực này.
Hệ thống SP1 Hypercube được công ty Succinct phát hành vào tháng 5 năm nay đã thu hút được sự chú ý rộng rãi trong ngành. Hệ thống này đã được thiết kế lại với kiến trúc đa thức đa tuyến tính sáng tạo cho hệ thống chứng minh, so với phiên bản trước đó là SP1 Turbo, đã đạt được sự nâng cấp đáng kể về độ trễ và chi phí. Theo dữ liệu chính thức, lên đến 93% các khối Ethereum có thể hoàn thành chứng minh trong vòng 12 giây, mức tối ưu hóa hiệu suất tổng thể đã đạt được là 5 lần.
Đột phá này không chỉ đơn thuần là nhờ vào việc tối ưu hóa mã mà còn là một cuộc tái cấu trúc toàn diện của kiến trúc hệ thống. Các kỹ sư đã thiết kế lại hệ thống ràng buộc và quy trình, coi mỗi khối được tạo ra trong một khoảng thời gian là một đối tượng thời gian thực có thể xử lý bền vững, từ đó nâng cao hiệu suất của hệ thống một cách đáng kể.
Ý tưởng tối ưu hóa cốt lõi của hệ thống SP1 là nén quy trình "thực hiện → theo dõi → ràng buộc → chứng minh" đến giới hạn tối đa. Tài liệu khóa học liên quan của Đại học Stanford đã phân tích sâu sắc quy trình chứng minh của SP1, từ việc thực hiện lệnh RISC-V đến việc thu thập theo dõi, sau đó là ràng buộc AIR/đa thức và cuối cùng là việc tạo ra chứng minh, nêu rõ tầm quan trọng và khả năng xác minh của từng bước.
Cần lưu ý rằng, tối ưu hóa zkVM hiện đại đã vượt ra ngoài phạm vi tối ưu hóa trình biên dịch truyền thống. Nghiên cứu mới nhất cho thấy, mặc dù tối ưu hóa LLVM chuẩn vẫn có hiệu quả đáng kể đối với zkVM loại RISC-V (như RISC Zero và SP1) (tăng hiệu suất trên 40%), nhưng mức tăng này thấp hơn nhiều so với hiệu quả tối ưu hóa trên CPU truyền thống. Nguyên nhân chính của hiện tượng này là do nút thắt hiệu suất của zkVM chủ yếu xuất phát từ hệ thống ràng buộc đặc trưng của nó, chứ không phải từ các đặc điểm phần cứng như quản lý bộ nhớ đệm hay dự đoán nhánh trong CPU truyền thống.
Với sự phát triển không ngừng của công nghệ zkVM, chúng ta có thể mong đợi sẽ thấy nhiều bước đột phá hơn trong tương lai, điều này sẽ mang lại những khả năng mới cho việc ứng dụng và phổ biến công nghệ blockchain.