Aleo: Blockchain bảo vệ quyền riêng tư dựa trên zk-SNARK
Aleo là một dự án Blockchain tập trung vào bảo vệ quyền riêng tư, sử dụng công nghệ zk-SNARK để đạt được mức độ riêng tư và khả năng mở rộng cao hơn. Ý 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ổng quan dự án
Bảo vệ quyền riêng tư
Công nghệ cốt lõi của Aleo là zk-SNARK ( ZKPs ), cho phép giao dịch và thực hiện hợp đồng thông minh diễn ra trong khi bảo vệ quyền riêng tư. Theo mặc định, chi tiết giao dịch như người gửi và số tiền đều bị ẩn. 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 cho phép tiết lộ có chọn lọc khi cần thiết, rất phù hợp với 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: ngôn ngữ được thiết kế đặc biệt để phát triển các ứ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: 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, từ đó nâng cao hiệu suất. snarkOS đảm bảo tính an toàn của dữ liệu và tính toán, và hỗ trợ thực hiện chức năng không cần cấp phép.
zkCloud: Cung cấp môi trường tính toán ngoài chuỗi an toàn và 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 danh bạ chương trình của Aleo mà không cần phụ thuộc vào bên thứ ba, từ đó giảm thiểu rủi ro trên 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 đầ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. 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 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 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.
Các đặc điểm chính:
Khối nhanh chóng xác nhận: đả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.
Đảm bảo phi tập trung: Tách biệt việc sản xuất khối và việc tạo coinbase, người xác thực chịu trách nhiệm tạo 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ố 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, 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:
Đề xuất ARC-100 được thông qua, liên quan đến các biện pháp tuân thủ và an ninh.
Chương trình khuyến khích người xác thực sẽ bắt đầu từ ngày 1 tháng 7 và kéo dài đến ngày 15 tháng 7, phân bổ 1 triệu điểm Aleo làm phần thưởng.
Nguồn cung ban đầu là 1,5 tỷ token, nguồn cung lưu thông ban đầu khoảng 10%.
Testnet Beta sẽ tiến hành lần reset mạng cuối cùng, thêm ARC-41 và chức năng mới puzzle.
Mã đã được đóng băng.
Kế hoạch mở rộng nút xác thực: ban đầu là 15 cái, mục tiêu trong năm tăng lên 50 cái, cuối cùng đạt 500 cái. Để trở thành người ủy quyền cần 10.000 mã thông báo, để trở thành người xác thực cần 10 triệu mã thông báo, các số lượng này sẽ dần giảm.
Phân tích thuật toán Synthesis Puzzle
Aleo đã cập nhật mới thuật toán puzzle, không còn chú trọng 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 proof. Thuật toán mới được gọi là Synthesis Puzzle, cốt lõi của nó là tạo ra một EpochProgram chung cho mỗi epoch, thông qua việc xây dựng mạch chứng R1CS, tạo ra R1CS assignment ( tức là witness ), và làm 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.
Quy trình chính:
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 cùng một EpochProgram, số ngẫu nhiên được tạo ra từ epoch_hash được lấy mẫu từ tập lệnh.
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 với EpochProgram, thực hiện tính toán chứng nhân.
Chuyển đổi witness 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ó 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 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 thì khá lớn. Thuật toán mới đã loại bỏ các tính toán MSM và NTT trước đó, gây ra thách thức cho việc tối ưu hóa GPU. Do quá trình tạo witness có sự phụ thuộc tuần tự, việc thực hiện song song cũng gặp phải một số khó khăn.
This page may contain third-party content, which is provided for information purposes only (not representations/warranties) and should not be considered as an endorsement of its views by Gate, nor as financial or professional advice. See Disclaimer for details.
7 thích
Phần thưởng
7
6
Chia sẻ
Bình luận
0/400
GateUser-c9cdc131
· 6giờ trước
Chạy hết sức💪
Xem bản gốcTrả lời0
QuietHappinessEarnsHi
· 6giờ trước
Vậy tại sao giá không tăng lên với nhiều thông tin tốt như vậy?
Aleo sắp khởi động Testnet khuyến khích, zk-SNARK dẫn đầu cuộc cách mạng quyền riêng tư Blockchain.
Aleo: Blockchain bảo vệ quyền riêng tư dựa trên zk-SNARK
Aleo là một dự án Blockchain tập trung vào bảo vệ quyền riêng tư, sử dụng công nghệ zk-SNARK để đạt được mức độ riêng tư và khả năng mở rộng cao hơn. Ý 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ổng quan dự án
Bảo vệ quyền riêng tư
Công nghệ cốt lõi của Aleo là zk-SNARK ( ZKPs ), cho phép giao dịch và thực hiện hợp đồng thông minh diễn ra trong khi bảo vệ quyền riêng tư. Theo mặc định, chi tiết giao dịch như người gửi và số tiền đều bị ẩn. 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 cho phép tiết lộ có chọn lọc khi cần thiết, rất phù hợp với 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: ngôn ngữ được thiết kế đặc biệt để phát triển các ứ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: 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, từ đó nâng cao hiệu suất. snarkOS đảm bảo tính an toàn của dữ liệu và tính toán, và hỗ trợ thực hiện chức năng không cần cấp phép.
zkCloud: Cung cấp môi trường tính toán ngoài chuỗi an toàn và 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 danh bạ chương trình của Aleo mà không cần phụ thuộc vào bên thứ ba, từ đó giảm thiểu rủi ro trên 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 đầ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. 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 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 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.
Các đặc điểm chính:
Khối nhanh chóng xác nhận: đả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.
Đảm bảo phi tập trung: Tách biệt việc sản xuất khối và việc tạo coinbase, người xác thực chịu trách nhiệm tạo 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ố 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, 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:
Đề xuất ARC-100 được thông qua, liên quan đến các biện pháp tuân thủ và an ninh.
Chương trình khuyến khích người xác thực sẽ bắt đầu từ ngày 1 tháng 7 và kéo dài đến ngày 15 tháng 7, phân bổ 1 triệu điểm Aleo làm phần thưởng.
Nguồn cung ban đầu là 1,5 tỷ token, nguồn cung lưu thông ban đầu khoảng 10%.
Testnet Beta sẽ tiến hành lần reset mạng cuối cùng, thêm ARC-41 và chức năng mới puzzle.
Mã đã được đóng băng.
Kế hoạch mở rộng nút xác thực: ban đầu là 15 cái, mục tiêu trong năm tăng lên 50 cái, cuối cùng đạt 500 cái. Để trở thành người ủy quyền cần 10.000 mã thông báo, để trở thành người xác thực cần 10 triệu mã thông báo, các số lượng này sẽ dần giảm.
Phân tích thuật toán Synthesis Puzzle
Aleo đã cập nhật mới thuật toán puzzle, không còn chú trọng 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 proof. Thuật toán mới được gọi là Synthesis Puzzle, cốt lõi của nó là tạo ra một EpochProgram chung cho mỗi epoch, thông qua việc xây dựng mạch chứng R1CS, tạo ra R1CS assignment ( tức là witness ), và làm 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.
Quy trình chính:
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 cùng một EpochProgram, số ngẫu nhiên được tạo ra từ epoch_hash được lấy mẫu từ tập lệnh.
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 với EpochProgram, thực hiện tính toán chứng nhân.
Chuyển đổi witness 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ó 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 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 thì khá lớn. Thuật toán mới đã loại bỏ các tính toán MSM và NTT trước đó, gây ra thách thức cho việc tối ưu hóa GPU. Do quá trình tạo witness có sự phụ thuộc tuần tự, việc thực hiện song song cũng gặp phải một số khó khăn.