Aleo đổi mới Blockchain riêng tư: zk-SNARK dẫn dắt cuộc cách mạng khả năng mở rộng

2025-07-26 20:43:20

Aleo: Dự án blockchain thí điểm về quyền riêng 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 biết. 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ộ 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ệ chứng minh không kiến thức, cho phép thực hiện giao dịch và hợp đồng thông minh trong khi vẫn giữ được sự riêng tư. Chi tiết giao dịch của người dùng mặc định được ẩn đi, đồ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 các ứng dụng DeFi. Các thành phần chính bao gồm:

Ngôn ngữ lập trình Leo: Được điều chỉnh từ ngôn ngữ Rust, chuyên dùng để phát triển ứng dụng kiến thức không có, 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: snarkVM cho phép thực hiện tính toán ngoài chuỗi, chỉ xác minh kết quả tính toán trên chuỗi, từ đó nâng cao hiệu quả. snarkOS đảm bảo an toàn cho dữ liệu và tính toán, đồng thời cho phép thực hiện chức năng không cần giấy phép.
zkCloud: Cung cấp môi trường tính toán ngoài chuỗi an toàn, riêng tư, hỗ trợ tương tác lập trình giữa người dùng, tổ chức và DAO.

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. Các nhà phát triển có thể triển khai ứng dụng trong sổ đăng ký chương trình của Aleo mà không cần phụ thuộc vào bên thứ ba, giảm thiểu rủi ro của nền tảng.

khả năng mở rộng

Aleo áp dụng phương pháp xử lý ngoại tuyến, giao dịch được tính toán chứng minh trên thiết bị của người dùng trước, sau đó chỉ tải 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 tình trạng tắc nghẽn mạng và vấn đề 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 người xác nhậ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 lưới mà còn tăng cường hiệu suất và bảo mật.

Khối nhanh chóng xác nhận cuối cùng: AleoBFT đảm bảo mỗi khối ngay sau khi được tạo ra sẽ được xác nhận ngay lập tức, nâng cao độ ổn định của nút và trải nghiệm người dùng.
Bảo đảm phi tập trung: Bằng cách tách biệt việc sản xuất khối với việc tạo ra coinbase, người xác thực chịu trách nhiệm tạo ra khối, người chứng minh thực hiện tính toán chứng minh, ngăn chặn một số ít thực thể độc quyền 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 những người chứng minh trở thành người xác thực thông qua việc staking token, từ đó nâng cao mức độ phi tập trung và khả năng tính toán của mạng.

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 biểu quyết thông qua: Đề xuất liên quan đến các vấn đề tuân thủ, việc khóa quỹ trên mạng và các biện pháp an toàn như trì hoãn việc ghi có đã được thông qua. Nhóm đang thực hiện điều chỉnh cuối cùng.
Chương trình khuyến khích người xác thực: Bắt đầu từ ngày 1 tháng 7, nhằm xác thực cơ chế puzzle mới. Chương trình sẽ diễn ra đến ngày 15 tháng 7, trong thời gian này sẽ phân phối 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, lượng cung lưu hành ban đầu khoảng 10%. Những token này chủ yếu đến từ phần thưởng nhiệm vụ và sẽ được phân phối trong sáu tháng đầu tiên, bao gồm phần thưởng cho việc staking, vận hành các validator và các node xác thực.
Cập nhật mạng thử nghiệm: Đây là lần đặt lại mạng cuối cùng, sau khi hoàn thành sẽ không thêm tính năng mới, mạng sẽ giống như mạng chính. Việc đặt lại nhằm bổ sung ARC-41 và tính năng câu đố mới.
Đó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. Để trở thành người ủy thác cần 10.000 token, để trở thành nút xác thực cần 10 triệu token, các số lượng này sẽ giảm dần theo thời gian.

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

Aleo gần đây đã cập nhật phiên bản mới nhất của thuật toán 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, mà tập trung vào việc tạo ra dữ liệu trung gian witness trước khi tạo ra proof.

Quy trình đồng thuận

Người tính toán tính toán puzzle để xây dựng solutions và phát sóng đến mạng.
Người xác thực tổng hợp giao dịch và solution cho khối mới tiếp theo, đảm bảo số lượng solution không vượt quá giới hạn đồng thuận.
Tính hợp pháp của Solution cần kiểm tra xem epoch_hash và proof_target có phù hợp với giá trị mới nhất được duy trì trong mạng hay không, đồng thời số lượng solution trong khối đó phải nhỏ hơn giới hạn đồng thuận.
Giải pháp hiệu quả có thể nhận được phần thưởng đồng thuận.

Quy trình cốt lõi của Synthesis Puzzle

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 nhà tính toán trong mạng cần phải 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 được tạo ra từ epoch_hash hiện tại.
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 các nút lá của merkle tree.
Tính toán merkle root và chuyển đổi nó thành proof_target của solution, xác định xem nó có thỏa mãn latest_proof_target của epoch hiện tại hay không.
Trong cùng một epoch, có thể cập nhật đầu vào của EpochProgram thông qua việc lặp lại counter để thực hiện nhiều lần tính toán solution.

Cập nhật lần này đã 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 đều nhất quán, nhưng giữa các epoch có sự khác biệt lớn về logic tính toán. Thuật toán mới đã loại bỏ các tính toán MSM và NTT trước đây, đồng thời do quá trình tạo witness có một số mối quan hệ phụ thuộc thực hiện theo chuỗi, việc hiện thực hóa song song gặp phải một số thách thức.

ALEO11.91%

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