lời tựa

lời tựa

Mô tả hình ảnh

tiêu đề cấp đầu tiên

Tác nhân tính toán là gì

Với việc mở rộng các ứng dụng và người dùng trên Ethereum, mức độ tắc nghẽn trên mạng chính Ethereum tiếp tục tăng lên. Sử dụng zkRollup để mở rộng Lớp 2 đã trở thành một giải pháp hấp dẫn. FOX là một dự án tập trung vào việc sử dụng thuật toán FOAKS cho zkRollup. Tính khả thi của zkRollup về cơ bản nằm ở tính khả thi về nguyên tắc của thuật toán chứng minh không có kiến ​​thức được sử dụng. Nói một cách đơn giản, chức năng được triển khai bởi thuật toán chứng minh không có kiến ​​thức là làm cho người chứng minh chứng minh điều gì đó với người xác minh mà không tiết lộ bất kỳ thông tin nào về nó. Việc xây dựng zkRollup nhằm tận dụng đặc tính này để các nút của Lớp 2 có thể thực hiện các phép tính ban đầu được thực hiện trên Lớp 1, đồng thời cung cấp bằng chứng về tính chính xác của các phép tính cho các nút Lớp 1.

Ở góc độ rộng hơn, chúng ta có thể hiểu quy trình trên là do trình xác minh (nút Lớp 1) có khả năng tính toán hạn chế, phần tính toán này được giao cho người xác minh (nút Lớp 2) thực hiện và người xác minh hoàn thành Sau khi hoàn thành nhiệm vụ này, kết quả cần được trả lại cho người xác minh. Từ quan điểm này, chúng ta có thể nói rằng thuật toán chứng minh không kiến ​​thức cho phép thực hiện một "tác nhân điện toán" đảm bảo tính chính xác. Từ góc độ vĩ mô, ví dụ về loại tác nhân điện toán này có thể được biểu thị dưới dạng một ứng dụng dưới dạng zkRollup, cụ thể là trong thuật toán không kiến ​​thức, ý tưởng về loại tác nhân điện toán này cũng có nhiều ứng dụng khác nhau.

tiêu đề cấp đầu tiên

Tại sao bạn cần một đại lý máy tính

Từ góc độ khả thi của hệ thống, trong nhiều trường hợp, khả năng tính toán của các nút tính toán bị hạn chế hoặc tài nguyên tính toán là rất quý giá. Ví dụ: tất cả các tính toán trên chuỗi Lớp 1 (bao gồm chuyển khoản và gọi hợp đồng) cần phải thông qua sự đồng thuận của tất cả các nút và người dùng cần phải trả phí cao cho việc này. Do đó, trong trường hợp này, ý tưởng tự nhiên là "ủy quyền" các tính toán được xử lý ban đầu bởi các nút đồng thuận cho các nút ngoài chuỗi để tránh tiêu tốn tài nguyên trên chuỗi. Và đây chính xác là dịch vụ điện toán ngoài chuỗi mà FOX tập trung vào.

Từ quan điểm của lý thuyết mật mã, trong mô hình GMR, bộ xác thực bị giới hạn ở khả năng tính toán không giới hạn và bộ xác minh có khả năng tính toán đa thức. Các thuộc tính cơ bản của bằng chứng không kiến ​​thức không thể được thỏa mãn nếu người xác minh cũng có quyền lực vô hạn. Vì vậy, một cách tự nhiên, việc nghiêng phép tính về phía người chứng minh và để người chứng minh thực hiện nhiều phép tính hơn là một vấn đề mà nhiều thiết kế thuật toán bằng chứng không kiến ​​thức sẽ xem xét.

tiêu đề cấp đầu tiên

Code Switching

Phần này giới thiệu kỹ thuật Code Switching được sử dụng trong Orion. Cả Orion và FOAKS đều sử dụng Brakedown làm sơ đồ cam kết đa thức và Chuyển đổi mã là một quy trình có tên trong Orion trong đó người xác minh thay thế người xác minh để thực hiện các phép tính xác minh.

Trong bài viết "Tìm hiểu về quá trình phanh giao thức cam kết đa thức trong FOAKS", chúng tôi đã giới thiệu rằng tính toán xác minh của trình xác minh là quy trình sau:

Bây giờ nếu yêu cầu người thực hiện phần tính toán này thực hiện thì ngoài việc thực hiện các phép tính này, người hoạt ngôn còn phải kèm theo giá trị dẫn chứng để chứng minh cho phép tính của mình là đúng.

Cách để làm điều này là viết phương trình trên dưới dạng mạch R1CS:

tiêu đề cấp đầu tiên

Đại lý tính toán trong FOAKS

Các kỹ thuật tương tự cũng được sử dụng trong FOAKS để hoàn thành tác nhân tính toán.Điều đáng nói là FOAKS nhận ra các bằng chứng không tương tác do sử dụng các kỹ thuật heuristic Fiat-Shamir. Để tìm hiểu thêm, độc giả có thể tham khảo "Làm thế nào để chuyển đổi bằng chứng tương tác thành bằng chứng không tương tác?" Fiat-Shamir Heuristic! “. Do đó, việc tạo FOAKS thử thách khác với phương pháp Chuyển đổi mã được sử dụng bởi Orion và một phương trình mới cần được thêm vào mạch:

Theo cách này, trình xác minh trong FOAKS cũng tạo ra bằng chứng tính toán để trình xác minh proxy xác minh. Đối với quá trình xác minh bằng chứng, FOAKS sử dụng chính thuật toán để lặp lại, đây cũng là nội dung chính của FOAKS để đạt được đệ quy. Để biết chi tiết, hãy xem "Cách thiết kế sơ đồ chứng minh đệ quy tinh tế".

phần kết

phần kết

người giới thiệu

người giới thiệu

1.Orion： Xie, Tiancheng, Yupeng Zhang, and Dawn Song. "Orion: Zero knowledge proof with linear prover time." Advances in Cryptology–CRYPTO 2022: 42 nd Annual International Cryptology Conference, CRYPTO 2022, Santa Barbara, CA, USA, August 15 – 18, 2022, Proceedings, Part IV. Cham: Springer Nature Switzerland, 2022.