Aleo: Đổi mới blockchain về bảo 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 kiến thức (ZKP). Ý 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 trong khi bảo vệ dữ liệu cá nhân.
Tóm tắt 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ộ 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:
Leo Ngôn ngữ biên dịch: Được cải biên từ Rust, chuyên dụng để phát triển các ứng dụng kiến thức bằng không (ZKApps), giảm yêu cầu về kiến thức mật mã của 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ả 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, và cho phép thực hiện các chức năng không cần 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 (IDE) và bộ công cụ phát triển phần mềm (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 trong sổ đăng ký chương trình của Aleo, không cần phụ thuộc vào bên thứ ba, giảm thiểu rủi ro nền tảng.
Khả năng mở rộng
Aleo áp dụng phương thức xử lý ngoại tuyến, giao dịch được tính toán chứng minh trước 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. Phương thức 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 chứng nhân. 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 tính cuối: đảm bảo mỗi khối được xác nhận ngay lập tức sau khi được tạo ra, nâng cao tính ổ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 coinbase, các xác thực viên chịu trách nhiệm tạo ra khối, trong khi các người chứng thực 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: Các xác thực viên 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 xác thực viên thông qua việc đặt cược token, 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 yêu cầu chạy trong thời gian dài như học máy.
Tiến độ dự án
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 cập nhật quan trọng:
ARC-100 đã được bỏ phiếu thông qua: Đề xuất liên quan đến các biện pháp an ninh như tuân thủ, khóa tiền trên mạng và trì hoãn việc ghi có đã được thông qua. Đội ngũ đang thực hiện các điều chỉnh cuối cùng.
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.
Nguồn cung ban đầu và nguồn cung lưu hành: Nguồn cung ban đầu là 1,5 tỷ token, nguồn cung lưu hành ban đầu khoảng 10%. Những token này chủ yếu đến từ nhiệm vụ Coinbase, sẽ được phân phối trong sáu tháng đầu tiên, đồng thời bao gồm phần thưởng cho việc staking, vận hành validator và xác thực nút.
Testnet Beta Reset: Đây là lần reset 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ẽ tương tự như mạng chính.
Đó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 quyền 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.
Giải thích cập nhật thuật toán
Thuật toán cốt lõi phiên bản mới nhất của Aleo được gọi là Synthesis Puzzle, cốt lõi của nó là tạo ra một EpochProgram chung cố định cho mỗi khối, thông qua việc xây dựng mạch chứng R1CS cho đầu vào và EpochProgram, tạo ra R1CS assignment tương ứng (tức là witness) và làm nút lá của cây Merkle, sau khi tính toán tất cả các nút lá sẽ sinh ra Merkle root và chuyển đổi thành proof_target của giải pháp.
Sự thay đổi và ảnh hưởng của khai thác
Sau cập nhật này, puzzle đã chuyển từ việc tạo proof sang tạo witness, tất cả cá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 có sự khác biệt lớn. Thuật toán mới đã loại bỏ các phép toán MSM và NTT trước đó, đồng thời do quá trình tạo witness phát sinh từ việc thực hiện một chương trình theo sự thay đổi của epoch, trong đó các lệnh sẽ có một phần phụ thuộc vào việc thực hiện tuần tự, việc hiện thực hóa song song sẽ gặp không ít thách thức.
Sự thay đổi này sẽ có tác động lớn đến các chiến lược tối ưu hóa khai thác hiện có, yêu cầu các thợ mỏ điều chỉnh lại và thích ứng với các đặc tính thuật toán mới.
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.
Aleo sẽ ra mắt Blockchain bảo vệ quyền riêng tư, khởi động Testnet khuyến khích vào ngày 1 tháng 7.
Aleo: Đổi mới blockchain về bảo 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 kiến thức (ZKP). Ý 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 trong khi bảo vệ dữ liệu cá nhân.
Tóm tắt 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ộ 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:
Leo Ngôn ngữ biên dịch: Được cải biên từ Rust, chuyên dụng để phát triển các ứng dụng kiến thức bằng không (ZKApps), giảm yêu cầu về kiến thức mật mã của 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ả 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, và cho phép thực hiện các chức năng không cần 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 (IDE) và bộ công cụ phát triển phần mềm (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 trong sổ đăng ký chương trình của Aleo, không cần phụ thuộc vào bên thứ ba, giảm thiểu rủi ro nền tảng.
Khả năng mở rộng
Aleo áp dụng phương thức xử lý ngoại tuyến, giao dịch được tính toán chứng minh trước 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. Phương thức 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 chứng nhân. 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 tính cuối: đảm bảo mỗi khối được xác nhận ngay lập tức sau khi được tạo ra, nâng cao tính ổ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 coinbase, các xác thực viên chịu trách nhiệm tạo ra khối, trong khi các người chứng thực 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: Các xác thực viên 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 xác thực viên thông qua việc đặt cược token, 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 yêu cầu chạy trong thời gian dài như học máy.
Tiến độ dự án
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 cập nhật quan trọng:
ARC-100 đã được bỏ phiếu thông qua: Đề xuất liên quan đến các biện pháp an ninh như tuân thủ, khóa tiền trên mạng và trì hoãn việc ghi có đã được thông qua. Đội ngũ đang thực hiện các điều chỉnh cuối cùng.
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.
Nguồn cung ban đầu và nguồn cung lưu hành: Nguồn cung ban đầu là 1,5 tỷ token, nguồn cung lưu hành ban đầu khoảng 10%. Những token này chủ yếu đến từ nhiệm vụ Coinbase, sẽ được phân phối trong sáu tháng đầu tiên, đồng thời bao gồm phần thưởng cho việc staking, vận hành validator và xác thực nút.
Testnet Beta Reset: Đây là lần reset 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ẽ tương tự như mạng chính.
Đó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 quyền 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.
Giải thích cập nhật thuật toán
Thuật toán cốt lõi phiên bản mới nhất của Aleo được gọi là Synthesis Puzzle, cốt lõi của nó là tạo ra một EpochProgram chung cố định cho mỗi khối, thông qua việc xây dựng mạch chứng R1CS cho đầu vào và EpochProgram, tạo ra R1CS assignment tương ứng (tức là witness) và làm nút lá của cây Merkle, sau khi tính toán tất cả các nút lá sẽ sinh ra Merkle root và chuyển đổi thành proof_target của giải pháp.
Sự thay đổi và ảnh hưởng của khai thác
Sau cập nhật này, puzzle đã chuyển từ việc tạo proof sang tạo witness, tất cả cá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 có sự khác biệt lớn. Thuật toán mới đã loại bỏ các phép toán MSM và NTT trước đó, đồng thời do quá trình tạo witness phát sinh từ việc thực hiện một chương trình theo sự thay đổi của epoch, trong đó các lệnh sẽ có một phần phụ thuộc vào việc thực hiện tuần tự, việc hiện thực hóa song song sẽ gặp không ít thách thức.
Sự thay đổi này sẽ có tác động lớn đến các chiến lược tối ưu hóa khai thác hiện có, yêu cầu các thợ mỏ điều chỉnh lại và thích ứng với các đặc tính thuật toán mới.