Aleo: Dự án blockchain dẫn dắt cuộc cách mạng quyền riêng tư Web3
Aleo là một dự án blockchain tập trung vào bảo vệ quyền riêng tư, với công nghệ cốt lõi dựa trên chứng minh không kiến thức (ZKP), nhằm đạt được mức độ riêng tư và khả năng mở rộng cao hơn. Ý tưởng cơ bản 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ông nghệ cốt lõi của Aleo là chứng minh không kiến thức, điều này cho phép việc thực hiện giao dịch và hợp đồng thông minh diễn ra trong khi vẫn bảo vệ quyền riêng tư. Chi tiết giao dịch của người dùng, chẳng hạn như người gửi và số tiền giao dịch, theo mặc định là ẩ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 cho sự phát triển của các ứng dụng tài chính phi tập trung.
Các thành phần chính của Aleo bao gồm:
Ngôn ngữ lập trình Leo: Được cải biên từ ngôn ngữ Rust, chuyên dùng để phát triển các ứng dụng không biết, 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 suất. snarkOS đảm bảo an toàn cho dữ liệu và tính toán, và cho phép 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à các tổ chức tự trị phi tập trung.
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. Ngoài ra, 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 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 đầ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 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 tức thì của những người xác thực và khả năng tính toán của những người chứng minh. AleoBFT không chỉ cải thiện mức độ phi tập trung của mạng mà còn tăng cường hiệu suất và độ an toàn.
Khối nhanh chóng cuối cùng: AleoBFT đảm bảo mỗi khối được xác nhận ngay 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à việc tạo token, các xác thực viên chịu trách nhiệm tạo ra khối, còn những người chứng minh thực hiện phép toán chứng minh, ngăn chặn việc 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 về tài nguyên, do đó đặc biệt phù hợp với 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 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 Aleo và các biện pháp an ninh như trì hoãn thanh toán đã được thông qua. Nhóm đ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: Chương trình này 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ẽ kéo dài đế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 thông: Nguồn cung ban đầu là 1,5 tỷ token, nguồn cung lưu thông ban đầu khoảng 10%. Những token này chủ yếu đến từ phần thưởng nhiệm vụ (75 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à các node xác thực.
Đặt lại 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 với mạng chính. Việc đặt lại nhằm thêm tính năng mới và cập nhật cơ chế puzzle.
Đóng băng mã: Đó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.
Phân tích thuật toán Synthesis Puzzle
Aleo phiên bản mới nhất có lõi thuật toán được gọi là Synthesis Puzzle, có lõi là tạo ra một EpochProgram chung 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 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á, tạo ra Merkle root và chuyển đổi thành proof_target của solution.
Quá trình chi tiết để xây dựng Synthesis Puzzle như sau:
Mỗi lần tính toán puzzle được gọi là nonce, được xây dựng từ đị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ả prover tính toán EpochProgram là giống nhau, được lấy mẫu từ tập lệnh bằng số ngẫu nhiên được sinh 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 với EpochProgram, thực hiện tính toán witness.
Chuyển đổi tất cả witness thành chuỗi các nút lá của cây Merkle.
Tính toán Merkle root và chuyển đổi nó thành proof_target của solution, xác định xem nó có đáp ứng yêu cầu 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 nhiều lần để tính toán solution thông qua cách lặp lại counter.
Ảnh hưởng của việc cập nhật thuật toán
Sau bản cập nhật này, puzzle đã chuyển từ việc tạo proof sang tạo witness, logic tính toán của tất cả các 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ỏ MSM và NTT tính toán trong phiên bản trước, điều này có thể ảnh hưởng đến các chiến lược tối ưu hóa GPU hiện có. Đồng thời, do quá trình tạo witness liên quan đến việc thực hiện một chương trình thay đổi theo từng epoch, trong đó các lệnh có thể có một số mối quan hệ phụ thuộc thực hiện tuần tự, do đó việc thực hiện song song có thể gặp 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.
11 thích
Phần thưởng
11
14
Đăng lại
Chia sẻ
Bình luận
0/400
GateUser-fea06f41
· 3giờ trước
Bằng chứng kiến thức bóng không được.
Xem bản gốcTrả lời0
010Strategy
· 4giờ trước
Xem phản hồi của các bạn khiến tôi hoang mang! Tôi muốn hỏi các bạn có Giao ngay Aleo không?
Aleo khởi động Testnet Blockchain riêng tư dẫn đầu cuộc cách mạng zero-knowledge Web3
Aleo: Dự án blockchain dẫn dắt cuộc cách mạng quyền riêng tư Web3
Aleo là một dự án blockchain tập trung vào bảo vệ quyền riêng tư, với công nghệ cốt lõi dựa trên chứng minh không kiến thức (ZKP), nhằm đạt được mức độ riêng tư và khả năng mở rộng cao hơn. Ý tưởng cơ bản 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ông nghệ cốt lõi của Aleo là chứng minh không kiến thức, điều này cho phép việc thực hiện giao dịch và hợp đồng thông minh diễn ra trong khi vẫn bảo vệ quyền riêng tư. Chi tiết giao dịch của người dùng, chẳng hạn như người gửi và số tiền giao dịch, theo mặc định là ẩ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 cho sự phát triển của các ứng dụng tài chính phi tập trung.
Các thành phần chính của Aleo bao gồm:
Ngôn ngữ lập trình Leo: Được cải biên từ ngôn ngữ Rust, chuyên dùng để phát triển các ứng dụng không biết, 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 suất. snarkOS đảm bảo an toàn cho dữ liệu và tính toán, và cho phép 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à các tổ chức tự trị phi tập trung.
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. Ngoài ra, 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 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 đầ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 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 tức thì của những người xác thực và khả năng tính toán của những người chứng minh. AleoBFT không chỉ cải thiện mức độ phi tập trung của mạng mà còn tăng cường hiệu suất và độ an toàn.
Khối nhanh chóng cuối cùng: AleoBFT đảm bảo mỗi khối được xác nhận ngay 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à việc tạo token, các xác thực viên chịu trách nhiệm tạo ra khối, còn những người chứng minh thực hiện phép toán chứng minh, ngăn chặn việc 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 về tài nguyên, do đó đặc biệt phù hợp với 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 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 Aleo và các biện pháp an ninh như trì hoãn thanh toán đã được thông qua. Nhóm đ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: Chương trình này 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ẽ kéo dài đế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 thông: Nguồn cung ban đầu là 1,5 tỷ token, nguồn cung lưu thông ban đầu khoảng 10%. Những token này chủ yếu đến từ phần thưởng nhiệm vụ (75 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à các node xác thực.
Đặt lại 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 với mạng chính. Việc đặt lại nhằm thêm tính năng mới và cập nhật cơ chế puzzle.
Đóng băng mã: Đó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.
Phân tích thuật toán Synthesis Puzzle
Aleo phiên bản mới nhất có lõi thuật toán được gọi là Synthesis Puzzle, có lõi là tạo ra một EpochProgram chung 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 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á, tạo ra Merkle root và chuyển đổi thành proof_target của solution.
Quá trình chi tiết để xây dựng Synthesis Puzzle như sau:
Mỗi lần tính toán puzzle được gọi là nonce, được xây dựng từ đị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ả prover tính toán EpochProgram là giống nhau, được lấy mẫu từ tập lệnh bằng số ngẫu nhiên được sinh 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 với EpochProgram, thực hiện tính toán witness.
Chuyển đổi tất cả witness thành chuỗi các nút lá của cây Merkle.
Tính toán Merkle root và chuyển đổi nó thành proof_target của solution, xác định xem nó có đáp ứng yêu cầu 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 nhiều lần để tính toán solution thông qua cách lặp lại counter.
Ảnh hưởng của việc cập nhật thuật toán
Sau bản cập nhật này, puzzle đã chuyển từ việc tạo proof sang tạo witness, logic tính toán của tất cả các 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ỏ MSM và NTT tính toán trong phiên bản trước, điều này có thể ảnh hưởng đến các chiến lược tối ưu hóa GPU hiện có. Đồng thời, do quá trình tạo witness liên quan đến việc thực hiện một chương trình thay đổi theo từng epoch, trong đó các lệnh có thể có một số mối quan hệ phụ thuộc thực hiện tuần tự, do đó việc thực hiện song song có thể gặp nhiều thách thức.