Aztec ra mắt nền tảng bốn lớp để đảm bảo quyền riêng tư toàn diện trên ethereum

TL;DR:

• Aztec đã giới thiệu stack công nghệ bốn lớp để cung cấp quyền riêng tư có thể lập trình trên ethereum như một mạng lớp 2 phi tập trung.
• Ngôn ngữ Noir, do Aztec phát triển, cho phép các nhà phát triển viết các chương trình zero-knowledge mà không cần chuyên môn về mật mã, với quyền riêng tư được kích hoạt mặc định.
• Hiện tại, mạng lưới có hơn 3.500 sequencer đang hoạt động trên mạng Alpha, với các vai trò sequencer và prover hoàn toàn không cần phép.

Aztecđã công bố một mô tả kỹ thuật chi tiết về kiến trúc của họ, được đặt tên là “The Aztec Stack”, giải thích cách mạng L2 của họ trên ethereum cho phép tính riêng tư có thể lập trình toàn diện cho các nhà phát triển hợp đồng thông minh.

Hệ thống được tổ chức thành bốn lớp. Lớp đầu tiên là Noir, một ngôn ngữ lập trình chuyên biệt cho các mạch zero-knowledge (zk) với cú pháp tương tự Rust. Noir biên dịch mã thành các mạch zk tự động thông qua một biểu diễn trung gian gọi là ACIR, tương thích với nhiều backend chứng minh, bao gồm hệ thống riêng của nó là Barretenberg. Quyền riêng tư là hành vi mặc định: tất cả các biến và hàm đều ở trạng thái riêng tư trừ khi nhà phát triển chỉ định rõ ràng ngược lại bằng thuộc tính `pub`.

Lớp thứ hai bao gồm các hợp đồng thông minh được viết bằng khung Aztec.nr, mở rộng Noir để quản lý trạng thái công khai và riêng tư trên chuỗi. Một hợp đồng duy nhất có thể thực hiện các hàm riêng tư trên thiết bị của người dùng và các hàm công khai trên mạng, kết hợp chúng một cách minh bạch. Các hợp đồng tài khoản triển khai trừu tượng hóa tài khoản, cho phép khôi phục tài khoản qua mạng xã hội, xác thực đa yếu tố và các kiểm soát truy cập chi tiết, hữu ích cho việc tuân thủ quy định và báo cáo thuế.

Lớp thứ ba là chính mạng lưới. Các hàm riêng tư chạy trong môi trường thực thi riêng tư (PXE) trên thiết bị của người dùng, tạo ra các bằng chứng zk không tiết lộ bất kỳ đầu vào, đầu ra hay danh tính nào. Các hàm công khai được các sequencers xử lý, những người xác minh các bằng chứng riêng tư, thực thi trạng thái công khai và công bố sự khác biệt trạng thái lên Ethereum L1. Mỗi epoch, được định nghĩa là một chuỗi 32 khối L2, sẽ nhận một bằng chứng cuối cùng được tạo bởi mạng lưới người chứng minh phi tập trung và công bố trên chuỗi.

Lớp thứ tư là Ethereum, đóng vai trò là lớp thanh toán: các bằng chứng rollup được neo vào L1, kế thừa bảo mật kinh tế của nó. Mô hình trạng thái riêng sử dụng UTXOs, trong khi trạng thái công khai sao chép mô hình tài khoản của Ethereum.

Noir đã được sử dụng ngoài hệ sinh thái Aztec bởi các dự án xây dựng trên Base, Scroll và Starknet, chứng minh tính hữu ích của nó như một ngôn ngữ tiêu chuẩn cho các ứng dụng zero-knowledge.