Aleo: Blockchain quyền riêng tư kiến thức ẩn sắp ra mắt Testnet khuyến khích

2025-08-17 00:29:53

Đang tạo bản tóm tắt

Aleo: Blockchain bảo vệ quyền riêng tư được thúc đẩy bởi công nghệ zk-SNARK

Aleo là một dự án Blockchain tập trung vào việc bảo vệ quyền riêng tư, đạt được mức độ riêng tư và khả năng mở rộng cao hơn thông qua công nghệ zk-SNARK. Ý tưởng cốt lõi của dự á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ộ thông tin cá nhân.

Tổng quan dự án

tính riêng tư

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

Ngôn ngữ biên dịch Leo: Ngôn ngữ chuyên dụng được sử dụng để phát triển ứng dụng zk-SNARK (ZKApps), giảm yêu cầu về kiến thức mật mã cho các nhà phát triển.
snarkVM và snarkOS: cái trước cho phép thực hiện tính toán ngoài chuỗi, cái sau đảm bảo sự an toàn của dữ liệu và tính toán.
zkCloud: Cung cấp môi trường tính toán chuỗi ngoài an toàn và riêng tư.

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ợ các nhà phát triển nhanh chóng viết và phát hành ứng dụng.

Khả năng mở rộng

Aleo áp dụng phương pháp 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ị người dùng, sau đó chỉ tải lên kết quả xác minh lên Blockchain. Phương pháp 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, tránh được vấn đề 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 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 không chỉ nâng cao mức độ phi tập trung của mạng mà còn tăng cường hiệu suất và tính bảo mật.

Khối nhanh chóng xác nhận cuối cùng: đảm bảo mỗi khối ngay lập tức được xác nhận sau khi được tạo ra.
Bảo đảm phi tập trung: Bằng cách tách biệt việc sản xuất khối và việc tạo ra coinbase, ngăn chặn một số thực thể chiếm đoạt mạng.
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, khuyến khích người chứng minh trở thành người xác thực thông qua việc staking token.

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 bởi gas, do đó đặc biệt phù hợp cho các ứng dụng cần chạy trong thời gian dài như học máy.

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

Aleo sẽ khởi động mạng thử nghiệm khuyến khích vào ngày 1 tháng 7, dưới đây là một số thông tin quan trọng mới nhất:

ARC-100 đã được bỏ phiếu thông qua: Đề xuất liên quan đến các vấn đề tuân thủ, việc khóa tiền trên mạng và các biện pháp an ninh như việc chuyển khoản bị trì hoãn đã được phê duyệt.
Chương trình khuyến khích người xác thực: sẽ được khởi động vào ngày 1 tháng 7, nhằm xác thực cơ chế puzzle mới. Chương trình sẽ chạy đến ngày 15 tháng 7, trong thời gian này sẽ phân bổ 1 triệu điểm Aleo làm phần thưởng.
Cung cấp token: Tổng cung ban đầu là 1,5 tỷ token, tổng cung lưu thông ban đầu khoảng 10%.
Testnet Beta đặt lại: Đây là lần đặt lại mạng cuối cùng, sau khi hoàn thành sẽ không có tính năng mới nào được thêm vào.
Đóng băng mã: Đã hoàn thành cách đây một tuần.
Kế hoạch mở rộng nút xác thực: Số lượng nút xác thực ban đầu là 15, mục tiêu là tăng lên 50 trong năm nay và cuối cùng đạt 500.

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

Thuật toán puzzle mới nhất của Aleo có tên là Synthesis Puzzle, với cốt lõi là tạo ra một EpochProgram chung cố định cho mỗi epoch, thông qua việc xây dựng mạch chứng R1CS cho đầu vào và EpochProgram, tạo ra các R1CS assignment tương ứng và làm các nút lá của cây Merkle, sau khi tính toán tất cả các nút lá sẽ tạo ra Merkle root và chuyển đổi thành proof_target của solution.

Quy trình thuật toán

Mỗi lần tính toán puzzle được gọi là nonce, được xây dựng từ địa chỉ nhận thưởng khai thác, epoch_hash và số ngẫu nhiên counter.
Trong mỗi epoch, tất cả các prover tính toán EpochProgram giống nhau, được lấy mẫu từ tập lệnh bằng số ngẫu nhiên do epoch_hash hiện tại sinh ra.
Sử dụng nonce làm hạt giống số ngẫu nhiên để tạo đầu vào cho EpochProgram.
Tập hợp R1CS và input tương ứng của EpochProgram, thực hiện tính toán witness.
Tính toán tất cả các witness, sau đó chuyển đổi chúng thành chuỗi nút lá của cây Merkle.
Tính toán merkle root và chuyển đổi thành proof_target của solution, xác định xem có đáp ứng proof_target mới nhất của epoch hiện tại hay không.
Trong cùng một epoch, có thể thực hiện nhiều lần tính toán solution bằng cách cập nhật đầu vào của EpochProgram thông qua việc lặp lại counter.

Sự thay đổi và ảnh hưởng của việc khai thác

Thuật toán mới chuyển đổi puzzle từ việc tạo proof sang tạo witness, tất cả logic tính toán solution trong mỗi epoch là nhất quán, nhưng logic tính toán giữa các epoch khác nhau khá lớn. Sự thay đổi này đã loại bỏ tối ưu hóa trước đó đối với MSM và NTT, đồng thời do tồn tại sự phụ thuộc trong quá trình tạo witness, việc thực hiện song song gặp nhiều thách thức.

ALEO2.31%

Xem bản gốc

Trang này có thể chứa nội dung của bên thứ ba, được cung cấp chỉ nhằm mục đích thông tin (không phải là tuyên bố/bảo đảm) và không được coi là sự chứng thực cho quan điểm của Gate hoặc là lời khuyên về tài chính hoặc chuyên môn. Xem Tuyên bố từ chối trách nhiệm để biết chi tiết.

17 thích