Aleo：Người tiên phong trong Blockchain bảo vệ quyền riêng tư và khả năng mở rộng
Aleo là một dự án đổi mới nhằm nâng cao khả năng bảo vệ quyền riêng tư và khả năng mở rộng của blockchain. Bằng cách sử dụng công nghệ chứng minh không kiến thức, Aleo cho phép người dùng thực hiện xác thực danh tính và xử lý dữ liệu trong khi bảo vệ thông tin cá nhân.
Tóm tắt dự án
Bảo vệ quyền riêng tư
Công nghệ cốt lõi của Aleo là chứng minh không kiến thức (ZKPs), nó đảm bảo bảo vệ quyền riêng tư của người dùng trong quá trình thực hiện giao dịch và hợp đồng thông minh. Theo mặc định, chi tiết giao dịch như người gửi và số tiền đều được ẩn đi. Thiết kế này không chỉ bảo vệ quyền riêng tư của người dùng mà còn hỗ trợ việc công bố 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 của Aleo bao gồm:
Ngôn ngữ lập trình Leo: Được điều chỉnh dựa trên Rust, chuyên dùng để phát triển các ứng dụng không biết ((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: snarkVM hỗ trợ 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, hỗ trợ 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, bí mật, hỗ trợ sự tương tác lập trình giữa các bên.
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), giúp 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ể trực tiếp 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 chuỗi, giao dịch trước 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 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, đây là 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 những 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 tính xác thực nhanh chóng: AleoBFT đảm bảo mỗi khối được tạo ra ngay lập tức được xác nhận, 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: Thông qua việc tách biệt giữa sản xuất khối và 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 việc 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 người chứng minh trở thành người xác thực 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 những ứng dụng cần chạy trong thời gian dài, như học máy và nhiều ứng dụng khác.
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ố cập nhật quan trọng:
Đề xuất ARC-100 đã được thông qua: Đề xuất liên quan đến các biện pháp an toàn như tuân thủ, khóa vốn và thời gian chuyển tiền đã đượ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: Từ ngày 1 đến 15 tháng 7, sẽ phân phối 1 triệu điểm Aleo làm phần thưởng. Phân phối phần thưởng dựa trên tỷ lệ phần trăm điểm do nút tạo ra, mỗi người xác thực ít nhất cần kiếm được 100 token để nhận phần thưởng.
Cung cấp token: Tổng cung ban đầu là 1,5 tỷ token, lượng cung lưu thông ban đầu khoảng 10%. Những token này chủ yếu đến từ nhiệm vụ Coinbase (7500 triệu ), 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à node xác thực.
Cập nhật mạng thử nghiệm: Testnet Beta sẽ thực hiện lần reset cuối cùng, thêm chức năng ARC-41 và puzzle mới. Sau khi reset, mạng sẽ tương tự như mạng chính, không còn thêm chức năng mới.
Đóng băng mã: Đã hoàn thành cách đây một tuần.
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, 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.
Phân tích thuật toán Synthesis Puzzle
Thuật toán puzzle mới nhất của Aleo được gọi là Synthesis Puzzle, với cốt lõi là tạo ra một EpochProgram cố định cho mỗi epoch. Bằng cách xây dựng mạch chứng R1CS cho đầu vào và EpochProgram, tạo ra chứng nhận R1CS tương ứng ( tức là chứng cứ ), và sử dụng nó làm nút lá của cây Merkle. Sau khi tính toán tất cả các nút lá, tạo ra Merkle root và chuyển đổi thành proof_target của solution.
Quy trình chi tiết của Synthesis Puzzle như sau:
Mỗi lần tính toán puzzle được gọi là nonce, bao gồm địa chỉ nhận phầ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 cùng một EpochProgram, được lấy mẫu từ tập lệnh bằng cách sử dụ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 ra đầu vào cho EpochProgram.
Tập hợp R1CS và input tương ứng với 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 cây Merkle.
Tính toán root Merkle và chuyển đổi thành proof_target của solution, xác định xem nó có đáp ứng proof_target mới nhất của epoch hiện tại không.
Nếu đáp ứng điều kiện, hãy gửi địa chỉ reward, epoch_hash và counter cần thiết để xây dựng đầu vào dưới dạng solution và phát só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 puzzle từ việc tạo proof sang tạo witness, logic tính toán solution trong mỗi epoch là nhất quán, nhưng sự khác biệt trong logic tính toán giữa các epoch là khá lớn. Thuật toán mới đã loại bỏ việc tính toán MSM và NTT trước đó, mang lại những thách thức mới cho tối ưu hóa GPU. Do quá trình tạo witness liên quan đến việc thực thi chương trình thay đổi theo từng epoch, trong đó các lệnh có một số mối quan hệ phụ thuộc thực thi tuần tự, việc thực hiện song song gặp phải nhiều thách thứ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.
13 thích
Phần thưởng
13
7
Chia sẻ
Bình luận
0/400
BankruptcyArtist
· 10giờ trước
Ôi chao, cuối cùng cũng đến lượt dự án thiết kế bảo mật!
Aleo khởi động Testnet khuyến khích, Blockchain riêng tư mở rộng chào đón chương mới.
Aleo：Người tiên phong trong Blockchain bảo vệ quyền riêng tư và khả năng mở rộng
Aleo là một dự án đổi mới nhằm nâng cao khả năng bảo vệ quyền riêng tư và khả năng mở rộng của blockchain. Bằng cách sử dụng công nghệ chứng minh không kiến thức, Aleo cho phép người dùng thực hiện xác thực danh tính và xử lý dữ liệu trong khi bảo vệ thông tin cá nhân.
Tóm tắt dự án
Bảo vệ quyền riêng tư
Công nghệ cốt lõi của Aleo là chứng minh không kiến thức (ZKPs), nó đảm bảo bảo vệ quyền riêng tư của người dùng trong quá trình thực hiện giao dịch và hợp đồng thông minh. Theo mặc định, chi tiết giao dịch như người gửi và số tiền đều được ẩn đi. Thiết kế này không chỉ bảo vệ quyền riêng tư của người dùng mà còn hỗ trợ việc công bố 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 của Aleo bao gồm:
Ngôn ngữ lập trình Leo: Được điều chỉnh dựa trên Rust, chuyên dùng để phát triển các ứng dụng không biết ((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: snarkVM hỗ trợ 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, hỗ trợ 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, bí mật, hỗ trợ sự tương tác lập trình giữa các bên.
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), giúp 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ể trực tiếp 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 chuỗi, giao dịch trước 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 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, đây là 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 những 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 tính xác thực nhanh chóng: AleoBFT đảm bảo mỗi khối được tạo ra ngay lập tức được xác nhận, 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: Thông qua việc tách biệt giữa sản xuất khối và 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 việc 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 người chứng minh trở thành người xác thực 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 những ứng dụng cần chạy trong thời gian dài, như học máy và nhiều ứng dụng khác.
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ố cập nhật quan trọng:
Đề xuất ARC-100 đã được thông qua: Đề xuất liên quan đến các biện pháp an toàn như tuân thủ, khóa vốn và thời gian chuyển tiền đã đượ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: Từ ngày 1 đến 15 tháng 7, sẽ phân phối 1 triệu điểm Aleo làm phần thưởng. Phân phối phần thưởng dựa trên tỷ lệ phần trăm điểm do nút tạo ra, mỗi người xác thực ít nhất cần kiếm được 100 token để nhận phần thưởng.
Cung cấp token: Tổng cung ban đầu là 1,5 tỷ token, lượng cung lưu thông ban đầu khoảng 10%. Những token này chủ yếu đến từ nhiệm vụ Coinbase (7500 triệu ), 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à node xác thực.
Cập nhật mạng thử nghiệm: Testnet Beta sẽ thực hiện lần reset cuối cùng, thêm chức năng ARC-41 và puzzle mới. Sau khi reset, mạng sẽ tương tự như mạng chính, không còn thêm chức năng mới.
Đóng băng mã: Đã hoàn thành cách đây một tuần.
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, 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.
Phân tích thuật toán Synthesis Puzzle
Thuật toán puzzle mới nhất của Aleo được gọi là Synthesis Puzzle, với cốt lõi là tạo ra một EpochProgram cố định cho mỗi epoch. Bằng cách xây dựng mạch chứng R1CS cho đầu vào và EpochProgram, tạo ra chứng nhận R1CS tương ứng ( tức là chứng cứ ), và sử dụng nó làm nút lá của cây Merkle. Sau khi tính toán tất cả các nút lá, tạo ra Merkle root và chuyển đổi thành proof_target của solution.
Quy trình chi tiết của Synthesis Puzzle như sau:
Mỗi lần tính toán puzzle được gọi là nonce, bao gồm địa chỉ nhận phầ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 cùng một EpochProgram, được lấy mẫu từ tập lệnh bằng cách sử dụ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 ra đầu vào cho EpochProgram.
Tập hợp R1CS và input tương ứng với 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 cây Merkle.
Tính toán root Merkle và chuyển đổi thành proof_target của solution, xác định xem nó có đáp ứng proof_target mới nhất của epoch hiện tại không.
Nếu đáp ứng điều kiện, hãy gửi địa chỉ reward, epoch_hash và counter cần thiết để xây dựng đầu vào dưới dạng solution và phát só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 puzzle từ việc tạo proof sang tạo witness, logic tính toán solution trong mỗi epoch là nhất quán, nhưng sự khác biệt trong logic tính toán giữa các epoch là khá lớn. Thuật toán mới đã loại bỏ việc tính toán MSM và NTT trước đó, mang lại những thách thức mới cho tối ưu hóa GPU. Do quá trình tạo witness liên quan đến việc thực thi chương trình thay đổi theo từng epoch, trong đó các lệnh có một số mối quan hệ phụ thuộc thực thi tuần tự, việc thực hiện song song gặp phải nhiều thách thức.