Tiết lộ Plonky2 Goldibear: Trình tổng hợp bằng chứng nhanh nhất trên lĩnh vực BabyBear

Chúng tôi rất vui mừng được chia sẻ những tiến bộ mới nhất của mình trong việc tạo và tổng hợp bằng chứng mật mã với sự ra mắt của Plonky2 Goldibear. Hệ thống mới của chúng tôi cung cấp những cải tiến hiệu suất tiên tiến, đặc biệt là trong việc tổng hợp bằng chứng đệ quy trên trường BabyBear.

Với sự ra mắt của Plonky2 Goldibear, chúng tôi cũng đã phát triển một phiên bản mới của Risclonky2 không còn yêu cầu mô phỏng số học vì nó hoạt động trực tiếp trên trường BabyBear. Điều này cho phép xác minh và tổng hợp các bằng chứng Risc0 hiệu quả cao, mở đường cho việc phát triển các ứng dụng bảo vệ dữ liệu người dùng có khả năng mở rộng cao.

Sau đây là bảng phân tích chi tiết về kết quả chuẩn cho thấy Plonky2 Goldibear nhanh hơn Risc0 77 lần về tổng hợp bằng chứng so với BabyBear trên CPU và vẫn nhanh hơn 8,5 lần so với trình chứng minh GPU Risc0, thậm chí còn vượt trội hơn về mặt hiệu quả chi phí. 

Điểm nổi bật về hiệu suất chính của Plonky2 Goldibear

• Tổng hợp 2 Bằng chứng trên Trường BabyBear : 520 ms
  
  
• Gói một bằng chứng RISC0 vào một bằng chứng Plonky2 Goldibear: 900 ms
  
  
• Tổng hợp 1024 Risc0 Proofs : 6,10 giây ***

Bảng chuẩn mực

Phần cứng:

CPU: Intel(R) Core(TM) i9-11900K thế hệ thứ 11

GPU: NVIDIA GeForce RTX 4090

Định nghĩa:

* Tổng hợp gốc có nghĩa là tổng hợp các bằng chứng cùng loại với các hệ thống chứng minh được sử dụng (ví dụ: bằng chứng Risc0 được tổng hợp bằng Risc0, bằng chứng Plonky2 được tổng hợp bằng Plonky2). Nói cách khác, nó không cần một lớp bọc bổ sung.

** Thời gian tổng hợp giới hạn dưới lý thuyết khi xem xét chứng minh song song và đệ quy chứng minh được thực hiện trong cấu trúc giống cây. Các chứng minh nguồn là bản địa của trình chứng minh (không cần bao bọc).

*** Thời gian tổng hợp giới hạn dưới lý thuyết khi xem xét chứng minh song song và đệ quy chứng minh được thực hiện trong cấu trúc giống cây. Các chứng minh nguồn là chứng minh Risc0 (cần gói bằng Plonky2 Goldibear).

Giới thiệu Plonky2 Goldibear

Plonky2 Goldibear là phiên bản mới nhất của Plonky2 prover, hỗ trợ tạo bằng chứng trên cả trường Goldilocks và BabyBear. Tính linh hoạt này cho phép tạo ra các mạch hoạt động hiệu quả dưới BabyBear, dẫn đến cải thiện hiệu suất và các ứng dụng mật mã linh hoạt hơn.

Bằng chứng đệ quy hiệu quả trên BabyBear

Với Plonky2 Goldibear, chúng tôi đã giới thiệu các cổng và tiện ích được tối ưu hóa để cho phép biên soạn bằng chứng đệ quy hiệu quả trên trường BabyBear. Bằng chứng đệ quy cho phép chúng tôi tổng hợp nhiều bằng chứng thành một bằng chứng duy nhất, giảm độ phức tạp của quá trình xác minh và cải thiện hiệu suất. Việc hỗ trợ BabyBear đánh dấu một cột mốc quan trọng trong khả năng bằng chứng đệ quy của chúng tôi.

Tích hợp với Plonky3

Plonky2 Goldibear tận dụng những tiến bộ đạt được trong Plonky3, đặc biệt là trong số học trường và triển khai nguyên thủy băm. Bằng cách tích hợp các tối ưu hóa của Plonky3, Plonky2 Goldibear có thể tận dụng tối đa các cải tiến trong tương lai, giúp nó có khả năng thích ứng cao và tương thích về phía trước.

Gói bằng chứng RISC0 (Risclonky2)

Ngoài những tiến bộ này, chúng tôi đã phát triển một phiên bản mới của thư viện Risclonky2 , cho phép đóng gói các bằng chứng RISC0 trực tiếp vào các bằng chứng Plonky2 Goldibear trên trường BabyBear. Một trong những lợi thế chính của thư viện này là nó loại bỏ nhu cầu mô phỏng số học, giúp giảm đáng kể thời gian cần thiết để đóng gói. Cụ thể, việc đóng gói một bằng chứng RISC0 hiện chỉ mất 900 ms .

Bước đột phá này cho phép chúng tôi tổng hợp hàng nghìn bằng chứng RISC0 trong một khoảng thời gian rất ngắn. Ví dụ, việc tổng hợp 1024 bằng chứng RISC0 trên BabyBear ước tính mất khoảng 6 giây . So sánh mà nói, thực hiện cùng một tổng hợp chỉ bằng RISC0 sẽ mất nhiều thời gian hơn đáng kể, vì việc tổng hợp chỉ hai bằng chứng RISC0 trên cùng một phần cứng mất 40 giây . Do đó, việc tổng hợp 1024 bằng chứng RISC0 bằng phương pháp ban đầu sẽ mất khoảng 400 giây .

Tích hợp vào Giao thức SNARKtor

Chúng tôi rất vui mừng thông báo rằng Plonky2 Goldibear sẽ được tích hợp vào việc triển khai giao thức SNARKtor . Sự tích hợp này sẽ cung cấp thêm sự thúc đẩy về hiệu suất và cho phép tương tác hiệu quả hơn nữa với khuôn khổ RISC0, nâng cao khả năng của các giải pháp mật mã của chúng tôi.

Tiếp theo là gì

Hiện chúng tôi đang nghiên cứu khả năng tăng tốc phần cứng của Plonky2 Goldibear, giúp tăng cường tốc độ tổng hợp bằng chứng, giúp quá trình này nhanh hơn và hiệu quả hơn.
Song song với đó, chúng tôi cũng đang triển khai trình xác minh bằng chứng Polygon Hermez zkEVM, cho phép tổng hợp nhanh các bằng chứng cuộn Polygon zkEVM, mở ra những khả năng mới cho các ứng dụng có khả năng mở rộng và an toàn.

Phần kết luận

Plonky2 Goldibear và Risclonky2 đại diện cho bước tiến đáng kể trong việc tạo bằng chứng, tổng hợp bằng chứng đệ quy và hiệu quả mật mã. Với khả năng hoạt động trên cả trường BabyBear và Goldilocks, và tích hợp liền mạch với RISC0, giờ đây chúng tôi có thể cung cấp khả năng tạo bằng chứng nhanh hơn, đệ quy hiệu quả hơn và tổng hợp hiệu suất cao ở quy mô lớn.

Những phát triển này sẽ đóng vai trò quan trọng trong việc thúc đẩy các giải pháp mã hóa của chúng tôi và duy trì lợi thế cạnh tranh trong lĩnh vực công nghệ chứng minh không kiến thức đang phát triển nhanh chóng.

Xin gửi lời cảm ơn đặc biệt đến Trưởng phòng Công nghệ Zero Knowledge, Alberto Garoffolo và Chuyên gia mật mã, Daniele Di Tullio, vì những đóng góp vô giá của họ.

Lưu ý: Kho lưu trữ cho Plonky2 Goldibear và Risclonky2 hiện đang ở chế độ riêng tư, với kế hoạch phát hành công khai trong tương lai gần. Đối với những ai quan tâm đến thông tin chi tiết hơn hoặc các cơ hội hợp tác tiềm năng, vui lòng liên hệ với chúng tôi qua email marketing@telosfoundation.io.

Thông báo này là một phần trong chiến dịch 'Tiết lộ bước nhảy vọt tăng trưởng tiếp theo của Telos', nơi chúng tôi sẽ chia sẻ các bản cập nhật quan trọng sắp tới. Chúng tôi cam kết giữ cho cộng đồng của mình kết nối với mọi thứ chúng tôi đang xây dựng đằng sau hậu trường. Hãy theo dõi để biết thêm thông tin về bản alpha!

‍