Aleo: Dự án blockchain chú trọng vào quyền riêng tư và khả năng mở rộng

Aleo là một dự án blockchain tập trung vào việc bảo vệ quyền riêng tư, sử dụng công nghệ chứng minh không kiến thức (ZKP) để đạt được mức độ quyền riêng tư và khả năng mở rộng cao hơn. Tôn chỉ cốt lõi của dự án là giúp người dùng có thể xác thực danh tính và xử lý dữ liệu đồng thời bảo vệ dữ liệu cá nhân.

Tổng quan dự án

Tính riêng tư

Cốt lõi của Aleo là công nghệ chứng minh không kiến thức (ZKPs), cho phép thực hiện giao dịch và hợp đồng thông minh trong điều kiện bảo vệ quyền riêng tư. Chi tiết giao dịch của người dùng mặc định là ẩn, đồng thời cho phép tiết lộ có chọn lọc khi cần thiết. Các thành phần chính bao gồm:

1. Ngôn ngữ biên dịch Leo: Ngôn ngữ chuyên dụng để phát triển ứng dụng không kiến thức (ZKApps).

2. snarkVM và snarkOS: snarkVM cho phép thực hiện tính toán ngoài chuỗi, chỉ xác minh kết quả trên chuỗi; snarkOS đảm bảo an toàn cho dữ liệu và tính toán.

3. zkCloud: Cung cấp môi trường tính toán ngoại tuyến an toàn và riêng tư.

Aleo còn cung cấp IDE và SDK, hỗ trợ các nhà phát triển nhanh chóng viết và phát hành ứng dụng. Các nhà phát triển có thể triển khai ứng dụng trực tiếp trong sổ đăng ký chương trình của Aleo.

khả năng mở rộng

Aleo áp dụng phương thức xử lý ngoài chuỗi, giao dịch được tính toán chứng minh trên thiết bị của người dùng, sau đó chỉ tải lên kết quả xác minh lên Blockchain. Điều này đã cải thiện đáng kể tốc độ xử lý giao dịch và khả năng mở rộng của hệ thống.

cơ chế đồng thuận

Aleo đã giới thiệu AleoBFT, một cơ chế đồng thuận kiến trúc hỗn hợp, kết hợp tính cuối cùng ngay lập tức của các xác thực viên và khả năng tính toán của các người chứng minh. AleoBFT đã nâng cao mức độ phi tập trung của mạng, tăng cường hiệu suất và tính bảo mật.

1. Khối nhanh chóng cuối cùng: đảm bảo mỗi khối được tạo ra ngay lập tức được xác nhận.

2. Bảo đảm phi tập trung: Tách rời sản xuất khối và việc tạo coinbase.

3. Cơ chế khuyến khích: Người xác thực và người chứng minh chia sẻ phần thưởng khối.

Aleo cho phép các nhà phát triển tạo ra các ứng dụng không bị giới hạn gas, phù hợp cho những ứng dụng cần chạy trong thời gian dài.

Tiến triển mới nhất

1. ARC-100 bỏ phiếu thông qua: Đề xuất liên quan đến các biện pháp tuân thủ và an ninh đã được thông qua.

2. Chương trình khuyến khích người xác thực: Bắt đầu vào ngày 1 tháng 7, kéo dài đến ngày 15 tháng 7, phân phối 1 triệu điểm Aleo làm phần thưởng.

3. Cung cấp token: Tổng cung ban đầu 1,5 tỷ, lưu thông ban đầu khoảng 10%.

4. Testnet Beta reset: Đây là lần reset mạng cuối cùng, thêm ARC-41 và chức năng puzzle mới.

5. Đóng băng mã: đã hoàn thành cách đây một tuần.

6. Kế hoạch mở rộng nút xác thực: ban đầu 15 cái, mục tiêu tăng lên 50 cái trong năm, cuối cùng đạt 500 cái.

Phân tích thuật toán Synthesis Puzzle

Aleo đã cập nhật mới nhất thuật toán puzzle, không còn tập trung vào việc tạo zk proof, mà chuyển sang việc tạo witness. Cốt lõi của thuật toán mới được gọi là Synthesis Puzzle, các bước chính như sau:

1. Mỗi epoch tạo ra một EpochProgram chung.

2. Sử dụng nonce làm hạt giống số ngẫu nhiên để tạo đầu vào cho EpochProgram.

3. Tập hợp R1CS và input tương ứng với EpochProgram, tính toán witness.

4. Chuyển witness thành nút lá của cây Merkle.

5. Tính toán Merkle root và chuyển đổi thành proof_target.

6. Xác minh xem proof_target có đáp ứng yêu cầu của epoch hiện tại hay không.

7. Nếu đáp ứng yêu cầu thì gửi solution và phát sóng.

Cập nhật này giúp việc tính toán puzzle duy trì sự nhất quán trong mỗi epoch, nhưng có sự khác biệt lớn giữa các epoch khác nhau. Do đã loại bỏ tính toán MSM và NTT, đồng thời giới thiệu một số mối quan hệ phụ thuộc thực thi tuần tự, điều này đã mang lại những thách thức mới cho việc tối ưu hóa GPU và thực hiện song song.