Lộ trình SNARKtor: Xây dựng tương lai của tổng hợp bằng chứng có thể mở rộng

Kể từ khi phát hành whitepaper SNARKtor vào tháng 2 năm 2024 , nhóm Telos đã tập trung vào việc biến nó thành một giao thức tiên tiến có thể mở rộng zk-SNARK (Zero-Knowledge Succinct Non-Interactive Arguments of Knowledge) trên các hệ sinh thái blockchain. SNARKtor giới thiệu một tiêu chuẩn mới về tổng hợp bằng chứng , mở khóa khả năng mở rộng, hiệu quả về chi phí và quyền riêng tư cao hơn. Bằng cách hợp nhất nhiều bằng chứng thành một thực thể duy nhất, nó chuyển đổi cách các ứng dụng phi tập trung (dApp) được xây dựng, tối ưu hóa và quản lý.

Lộ trình này phác thảo các cột mốc quan trọng trong quá trình phát triển của SNARKtor, với mỗi giai đoạn đánh dấu một bước tiến quan trọng. Với bản chất khám phá của dự án này, lộ trình cung cấp một khuôn khổ linh hoạt thay vì một kế hoạch cứng nhắc, phát triển khi chúng tôi có được hiểu biết sâu sắc và giải quyết những thách thức mới trong suốt quá trình.

Mốc 1: Phát hành nền tảng

Ngày đến hạn: Tháng 11 năm 2024

Mục tiêu chính của cột mốc đầu tiên là phát triển bằng chứng khái niệm (PoC) hiện tại thành phiên bản chức năng chứng minh tiềm năng của SNARKtor, với khả năng thử nghiệm tích hợp với các đối tác chính.

Trọng tâm chính của giai đoạn này là triển khai quản lý phí người dùng cơ bản để cho phép thử nghiệm trong các tình huống thực tế, chẳng hạn như tổng hợp bằng chứng từ các bản tổng hợp. Ngoài ra, tổng hợp nhiều máy sẽ được giới thiệu để hỗ trợ thông lượng cao hơn, đảm bảo hệ thống có thể mở rộng hiệu quả.

Theo quan điểm của hệ thống chứng minh, chúng tôi sẽ hoàn thiện việc hỗ trợ trường Babybear trên Plonky2 Goldibear, để tránh phải dựa vào các bản chứng minh tốn kém và tận dụng các triển khai được tối ưu hóa hơn của Plonky3.

Mốc quan trọng 2: Mở rộng và tích hợp giao thức

Ngày đến hạn: Tháng 2 năm 2025

Mốc quan trọng 2 tập trung vào việc mở rộng giao thức cốt lõi của SNARKtor trong hai lĩnh vực chính: quản lý lịch trình và theo dõi trạng thái , cũng như tích hợp với các hệ thống kiểm tra ZK bên ngoài .

Mục tiêu đầu tiên là mở rộng chức năng cốt lõi của giao thức, đặc biệt chú trọng vào việc quản lý lịch trình và theo dõi trạng thái động của từng tác nhân. 

Trọng tâm thứ hai là tích hợp SNARKtor với Polygon Hermez ZK EVM , cho phép các bằng chứng zkEVM của Polygon được tổng hợp thông qua SNARKtor. Sự tích hợp này là bước quan trọng đầu tiên mở ra khả năng giảm chi phí xác minh thông qua tổng hợp bằng chứng hiệu quả.

Song song đó, một luồng công việc riêng biệt sẽ tập trung vào việc xác định chi tiết thuật toán cho phép Người lập lịch tạo ra các lịch trình tối ưu bằng cách cân bằng chi phí và độ tin cậy, ưu tiên những Người cung cấp dịch vụ có hiệu suất cao trong khi xử phạt những Người không đáp ứng được kỳ vọng về dịch vụ.

Mốc 3: Đăng ký Prover và Phát triển thị trường Prover

Ngày đến hạn : Tháng 5 năm 2025

Cột mốc thứ ba dựa trên tiến trình của giai đoạn trước, mở rộng thêm các tính năng cốt lõi của SNARKtor với trọng tâm cụ thể vào vai trò của Prover .

Bước đầu tiên là triển khai đăng ký Prover trên chuỗi , thiết lập sổ đăng ký chung liệt kê tất cả các tác nhân sẵn sàng nhận yêu cầu tổng hợp. Sổ đăng ký này mở khóa chức năng bổ sung, chẳng hạn như theo dõi danh tiếng , sẽ thưởng cho những Prover đáp ứng được kỳ vọng về dịch vụ và phạt những người không đáp ứng được—rất quan trọng đối với việc lựa chọn Prover trong quá trình tạo lịch trình .

Một trọng tâm quan trọng khác là cải thiện việc quản lý phí người dùng bằng cách chuyển từ mô hình phí cố định sang ước tính phí động , trong đó sẽ tính đến các biến số như chi phí chứng minh cho mỗi Người chứng minh.

Với những tính năng này, SNARKtor sẽ thiết lập một thị trường thử nghiệm , mở ra khả năng mở rộng lớn hơn cho quá trình tổng hợp.

Ngoài ra, giai đoạn này bao gồm việc phân tích và thiết kế các thuật toán lựa chọn Người lập lịch và Người gửi cho chuỗi đích cụ thể để hướng dẫn các mốc quan trọng tiếp theo.

Cuối cùng, Telos zkEVM sẽ được cập nhật để xác minh bằng chứng SNARKtor, cho phép các bản tổng hợp ZK và dApp L3 tận dụng cùng một cơ chế tổng hợp để hỗ trợ các ứng dụng bảo vệ dữ liệu người dùng. 

Mốc 4: Cơ chế lập lịch và khen thưởng phi tập trung

Ngày đến hạn : Tháng 8 năm 2025

Cột mốc thứ tư tập trung vào việc chuẩn bị cho quá trình phân cấp quy trình lập lịch của SNARKtor , nhấn mạnh vào vai trò của Người lập lịch .

Một phát triển quan trọng trong giai đoạn này là việc triển khai thuật toán lựa chọn Scheduler , thuật toán này xác định một tập hợp các nút đủ điều kiện để hoạt động như Scheduler trong một khoảng thời gian nhất định. Một thành phần quan trọng khác của cột mốc này là theo dõi phần thưởng Scheduler , giống như phần thưởng Prover, sẽ được Submitter thu thập và phân phối khi các bằng chứng tổng hợp được gửi trên chuỗi.

Trong giai đoạn này, nhóm cũng sẽ bắt đầu phát triển mạch ZK để chứng minh các thành phần cụ thể của giao thức, đặt nền tảng cho các cột mốc tiếp theo tập trung vào sự phi tập trung hoàn toàn.

Mốc 5: Phân quyền người gửi và triển khai mạng P2P

Ngày đến hạn: Tháng 11 năm 2025

Cột mốc này đánh dấu bước thứ hai và cũng là bước cuối cùng hướng tới sự phân cấp hoàn toàn của SNARKtor , tập trung vào vai trò của Người gửi .

Tiếp theo một cách tiếp cận tương tự với phân cấp Scheduler trong cột mốc trước, giai đoạn này sẽ bao gồm việc triển khai thuật toán lựa chọn Submitter , bao gồm đăng ký trên chuỗi cho Submitters. Việc theo dõi đúng phần thưởng Submitter cũng sẽ được thiết lập để đảm bảo phân phối chính xác trong khuôn khổ phi tập trung.

Tại thời điểm này, mọi giao tiếp giữa các tác nhân SNARKtor—Submiters, Schedulers và những người khác—sẽ yêu cầu xây dựng một mạng ngang hàng (P2P) . Mạng này sẽ cho phép tất cả các tác nhân giao tiếp theo thời gian thực, hoạt động tương tự như một blockchain hoặc một mempool phi tập trung .

Một thành phần quan trọng khác là lần lặp lại thứ hai của quá trình phát triển mạch ZK , mở khóa khả năng chứng minh đầy đủ của giao thức SNARKtor. Điều này rất cần thiết để đảm bảo tính toàn vẹn của trạng thái, đặc biệt là liên quan đến việc phân phối phần thưởng , ngăn chặn bất kỳ tác nhân nào yêu cầu phần thưởng dành cho người khác.

Mốc 6: Tối ưu hóa giao thức và quản lý tài khoản ngoài chuỗi

Ngày đến hạn: Tháng 2 năm 2026

Với SNARKtor hiện đã được phát triển đầy đủ, phi tập trung và được chứng minh, cột mốc này tập trung vào việc tối ưu hóa giao thức để nâng cao hiệu quả.

Một lĩnh vực quan trọng để tối ưu hóa là quản lý tài khoản người dùng (số dư) . Hiện tại, tài khoản người dùng SNARKtor được duy trì trên chuỗi thông qua hợp đồng thông minh SNARKtor. Để làm cho giao thức hiệu quả hơn nữa, cột mốc này sẽ giới thiệu quản lý tài khoản ngoài chuỗi đã được chứng minh đầy đủ. Thay vì lưu trữ số dư riêng lẻ trên chuỗi, chỉ có cam kết về trạng thái tài khoản sẽ được ghi lại trên chuỗi, trong khi số dư riêng lẻ sẽ được SNARKtor quản lý ngoài chuỗi.

Phần kết luận

Đến quý 1 năm 2026 , SNARKtor sẽ phát triển thành một giao thức tổng hợp bằng chứng phi tập trung, tối ưu hóa và có thể mở rộng hoàn toàn, có khả năng mở khóa toàn bộ tiềm năng của zk-SNARK trên các hệ sinh thái blockchain. Với mỗi cột mốc, SNARKtor tiến gần hơn đến việc trở thành cơ sở hạ tầng cốt lõi cho các ứng dụng phi tập trung bảo vệ dữ liệu người dùng và tiết kiệm chi phí. Từ việc thiết lập thị trường chứng minh đến triển khai quản lý tài khoản ngoài chuỗi, SNARKtor cung cấp cho các nhà phát triển các công cụ để xây dựng thế hệ dApp tiếp theo được hỗ trợ bởi ZK . Nhóm Telos vẫn cam kết tinh chỉnh giao thức, giải quyết các thách thức và đảm bảo mức hiệu suất, hiệu quả và phi tập trung cao nhất trong suốt quá trình.