Aleo: Blockchain thí điểm về bảo mật và khả năng mở rộng

Aleo là một dự án Blockchain tập trung vào bảo vệ quyền riêng tư, đạt được tính riêng tư và khả năng mở rộng cao hơn thông qua công nghệ chứng minh không kiến thức. Triết lý cốt lõi của nó là cho phép người dùng xác thực danh tính và xử lý dữ liệu mà không tiết lộ 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 biết, cho phép thực hiện giao dịch và hợp đồng thông minh trong khi vẫn giữ được tính riêng tư. Chi tiết giao dịch của người dùng mặc định được ẩn, đồng thời cho phép tiết lộ có chọn lọc khi cần thiết, rất phù hợp cho sự phát triển của ứng dụng DeFi. Các thành phần chính bao gồm:

1. Ngôn ngữ lập trình Leo: được thiết kế đặc biệt để phát triển các ứng dụng không biết, giảm yêu cầu về kiến thức mật mã cho các nhà phát triển.

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, nâng cao hiệu quả. snarkOS đảm bảo an toàn cho dữ liệu và tính toán, cho phép thực hiện chức năng không cần giấy phép.

3. zkCloud：Cung cấp môi trường tính toán ngoại tuyến an toàn, riêng tư, hỗ trợ tương tác lập trình đa bên.

Aleo còn cung cấp môi trường phát triển tích hợp và bộ công cụ phát triển phần mềm, hỗ trợ phát triển và triển khai ứng dụng nhanh chóng.

Khả năng mở rộng

Aleo áp dụng phương thức xử lý ngoại tuyến, giao dịch đầu tiên đượ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 thực lên Blockchain. Điều này giúp tăng tốc độ xử lý giao dịch và khả năng mở rộng của hệ thống, tránh tắc nghẽn mạng và chi phí cao.

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 tức thì của các xác thực viên và khả năng tính toán của các chứng nhân. Những đặc điểm chính:

1. Khối nhanh chóng tính cuối: đả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: Bằng cách tách biệt sản xuất khối và生成 coinbase, ngăn chặn một số thực thể độc quyền mạng.

3. Cơ chế khuyến khích: Các xác thực viên và người chứng nhận chia sẻ phần thưởng khối, khuyến khích tham gia vào hoạt động mạng.

Aleo cho phép phát triển các ứng dụng không bị giới hạn bởi gas, phù hợp cho các ứng dụng chạy lâu dài như học máy.

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

1. Đề xuất ARC-100 đã được thông qua: liên quan đến biện pháp tuân thủ và an toàn, đang thực hiện điều chỉnh cuối cùng.

2. Chương trình khuyến khích người xác thực: Bắt đầu từ ngày 1 tháng 7 và 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. Nguồn cung ban đầu và lưu thông: Nguồn cung ban đầu là 1,5 tỷ token, lưu thông ban đầu khoảng 10%.

4. Reset mạng thử nghiệm Beta: 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. Mở rộng nút xác nhận: ban đầu 15 nút, mục tiêu tăng lên 50 nút trong năm, cuối cùng đạt 500 nút.

Cập nhật thuật toán Synthesis Puzzle

Thuật toán mới không còn tập trung vào việc tạo ra kết quả zk proof, đã loại bỏ tính toán MSM và NTT, mà chuyển sang chú trọng vào việc tạo ra witness. Quy trình chính:

1. Mỗi epoch tạo ra một EpochProgram cố định.

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

3. Tổng hợp R1CS và đầu vào, 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. Nếu đủ điều kiện thì nộp giải pháp và phát sóng.

Cập nhật này đã khiến puzzle chuyển từ việc tạo proof sang tạo witness, trong mỗi epoch tính toán logic nhất quán nhưng giữa các epoch có sự khác biệt lớn. Thuật toán mới đặt ra thách thức cho tối ưu hóa GPU, việc thực hiện song song gặp một số khó khăn.