Aleo: Bước đột phá mới trong Blockchain bảo vệ quyền riêng tư
Aleo là một dự án Blockchain tập trung vào việc bảo vệ quyền riêng tư, thông qua công nghệ chứng minh không biết (ZKP) ( đã đạt được mức độ bảo mật và khả năng mở rộng cao hơn. Tầm nhìn 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ệ 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 ###ZKPs(, cho phép thực hiện giao dịch và hợp đồng thông minh dưới sự bảo vệ quyền riêng tư. Chi tiết giao dịch của người dùng, như bên gửi và số tiền, mặc định sẽ được ẩ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 DeFi. Các thành phần chính bao gồm:
Ngôn ngữ biên dịch Leo: được điều chỉnh dựa trên Rust, chuyên dùng để phát triển ứ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ã 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 an toàn cho dữ liệu và tính toán, và hỗ trợ thực hiện tính 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, 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 pháp xử lý off-chain, giao dịch trước tiên được tính toán chứng minh trên thiết bị người dùng, sau đó chỉ tải lên kết quả xác minh lên Blockchain. Cách này đã tăng cường đá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 tương tự như Ethereum.
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 người xác thực và khả năng tính toán của 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à độ an toàn.
Khối nhanh chóng tính cuối cù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: 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 các khối, các chứng minh viên 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: Các xác thực viên và các chứng nhân chia sẻ phần thưởng khối; Khuyến khích các chứng nhân trở thành xác thực viên thông qua việc đặt cọc 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 với các ứng dụng cần chạy lâu như học máy.
Tiến triển mới nhất
Aleo dự kiến 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:
Đề xuất ARC-100 đã được thông qua: Đề xuất này liên quan đến các vấn đề tuân thủ, việc khóa tiền trên mạng và các biện pháp an toàn như trì hoãn giao dịch, hiện tại đội ngũ đang thực hiện những điều chỉnh cuối cùng.
Chương trình khuyến khích người xác nhận: sẽ bắt đầu vào ngày 1 tháng 7, nhằm xác minh 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 như 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%### sẽ được xác định(. 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 các validator và các node xác thực.
Testnet Beta đặt lại: Đâ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ẽ tương tự như mạng chính.
Mã đã được đóng băng: Đã hoàn thành một tuần trước.
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, những 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 gần đây đã cập nhật 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ả của zk proof, mà thay vào đó chú trọng vào việc tạo ra dữ liệu trung gian witness trước khi tạo proof. Dưới đây là một giới thiệu ngắn gọn về thuật toán mới:
) Quy trình đồng thuận
Prover tính toán puzzle xây dựng các giải pháp và phát sóng đến mạng.
Validator tổng hợp giao dịch và giải pháp cho khối mới, đảm bảo số lượng giải pháp 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, proof_target có phù hợp với yêu cầu của mạng hay không, cũng như số lượng solution trong block có nằm trong giới hạn hay không.
Giải pháp hiệu quả có thể nhận được phần thưởng đồng thuận.
Cơ chế cốt lõi của Synthesis Puzzle
Mỗi epoch cố định tạo ra một EpochProgram, tất cả prover cùng sử dụng.
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.
EpochProgram được tạo ra từ số ngẫu nhiên sinh ra từ epoch_hash hiện tại được lấy mẫu từ tập lệnh.
Sử dụng nonce làm hạt giống ngẫu nhiên để tạo đầu vào cho EpochProgram.
Tập hợp R1CS và input tương ứng của EpochProgram, tiến hành 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 merkle root và chuyển đổi thành proof_target của solution, xác định xem có đáp ứng yêu cầu của epoch hiện tại hay không.
Nếu đáp ứng yêu cầu, thì nộp solution và phát sóng.
Cập nhật lần này sẽ chuyển đổi 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 giữa các epoch có sự khác biệt lớn. Thuật toán mới đã loại bỏ tối ưu hóa GPU trước đây cho tính toán MSM và NTT, đồng thời do có sự phụ thuộc vào việc thực hiện tuần tự trong quá trình tạo witness, việc thực hiện song song gặp nhiều thách thức.
![Giải thích thuật toán mới nhất của Aleo Synthesis Puzzle: Dẫn đầu cuộc cách mạng quyền riêng tư Web3]###https://img-cdn.gateio.im/webp-social/moments-fd98786228320367ac6fe8f41a965499.webp(
![Giải thích thuật toán mới nhất của Aleo Synthesis Puzzle: Dẫn đầu cuộc cách mạng bảo mật Web3])https://img-cdn.gateio.im/webp-social/moments-248292393dc48af499b670cbe18d5eaf.webp(
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.
10 thích
Phần thưởng
10
7
Chia sẻ
Bình luận
0/400
Cfrs2020
· 20giờ trước
#ALEO# Các bạn không xem thông báo chút nào sao? Thời gian xác định khối arc6 tháng 8 giảm 90%, có hiệu lực ARC5 vào ngày 9 tháng 9, rửa tiền giảm 90%. Để xây dựng hệ sinh thái.
Aleo nâng cấp lớn Blockchain riêng tư: Phân tích thuật toán Synthesis Puzzle và khởi động Testnet khuyến khích
Aleo: Bước đột phá mới trong Blockchain bảo vệ quyền riêng tư
Aleo là một dự án Blockchain tập trung vào việc bảo vệ quyền riêng tư, thông qua công nghệ chứng minh không biết (ZKP) ( đã đạt được mức độ bảo mật và khả năng mở rộng cao hơn. Tầm nhìn 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ệ 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 ###ZKPs(, cho phép thực hiện giao dịch và hợp đồng thông minh dưới sự bảo vệ quyền riêng tư. Chi tiết giao dịch của người dùng, như bên gửi và số tiền, mặc định sẽ được ẩ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 DeFi. Các thành phần chính bao gồm:
Ngôn ngữ biên dịch Leo: được điều chỉnh dựa trên Rust, chuyên dùng để phát triển ứ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ã 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 an toàn cho dữ liệu và tính toán, và hỗ trợ thực hiện tính 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, 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 pháp xử lý off-chain, giao dịch trước tiên được tính toán chứng minh trên thiết bị người dùng, sau đó chỉ tải lên kết quả xác minh lên Blockchain. Cách này đã tăng cường đá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 tương tự như Ethereum.
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 người xác thực và khả năng tính toán của 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à độ an toàn.
Khối nhanh chóng tính cuối cù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: 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 các khối, các chứng minh viên 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: Các xác thực viên và các chứng nhân chia sẻ phần thưởng khối; Khuyến khích các chứng nhân trở thành xác thực viên thông qua việc đặt cọc 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 với các ứng dụng cần chạy lâu như học máy.
Tiến triển mới nhất
Aleo dự kiến 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:
Đề xuất ARC-100 đã được thông qua: Đề xuất này liên quan đến các vấn đề tuân thủ, việc khóa tiền trên mạng và các biện pháp an toàn như trì hoãn giao dịch, hiện tại đội ngũ đang thực hiện những điều chỉnh cuối cùng.
Chương trình khuyến khích người xác nhận: sẽ bắt đầu vào ngày 1 tháng 7, nhằm xác minh 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 như 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%### sẽ được xác định(. 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 các validator và các node xác thực.
Testnet Beta đặt lại: Đâ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ẽ tương tự như mạng chính.
Mã đã được đóng băng: Đã hoàn thành một tuần trước.
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, những 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 gần đây đã cập nhật 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ả của zk proof, mà thay vào đó chú trọng vào việc tạo ra dữ liệu trung gian witness trước khi tạo proof. Dưới đây là một giới thiệu ngắn gọn về thuật toán mới:
) Quy trình đồng thuận
Prover tính toán puzzle xây dựng các giải pháp và phát sóng đến mạng.
Validator tổng hợp giao dịch và giải pháp cho khối mới, đảm bảo số lượng giải pháp 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, proof_target có phù hợp với yêu cầu của mạng hay không, cũng như số lượng solution trong block có nằm trong giới hạn hay không.
Giải pháp hiệu quả có thể nhận được phần thưởng đồng thuận.
Cơ chế cốt lõi của Synthesis Puzzle
Mỗi epoch cố định tạo ra một EpochProgram, tất cả prover cùng sử dụng.
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.
EpochProgram được tạo ra từ số ngẫu nhiên sinh ra từ epoch_hash hiện tại được lấy mẫu từ tập lệnh.
Sử dụng nonce làm hạt giống ngẫu nhiên để tạo đầu vào cho EpochProgram.
Tập hợp R1CS và input tương ứng của EpochProgram, tiến hành 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 merkle root và chuyển đổi thành proof_target của solution, xác định xem có đáp ứng yêu cầu của epoch hiện tại hay không.
Nếu đáp ứng yêu cầu, thì nộp solution và phát sóng.
Cập nhật lần này sẽ chuyển đổi 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 giữa các epoch có sự khác biệt lớn. Thuật toán mới đã loại bỏ tối ưu hóa GPU trước đây cho tính toán MSM và NTT, đồng thời do có sự phụ thuộc vào việc thực hiện tuần tự trong quá trình tạo witness, việc thực hiện song song gặp nhiều thách thức.
![Giải thích thuật toán mới nhất của Aleo Synthesis Puzzle: Dẫn đầu cuộc cách mạng quyền riêng tư Web3]###https://img-cdn.gateio.im/webp-social/moments-fd98786228320367ac6fe8f41a965499.webp(
![Giải thích thuật toán mới nhất của Aleo Synthesis Puzzle: Dẫn đầu cuộc cách mạng bảo mật Web3])https://img-cdn.gateio.im/webp-social/moments-248292393dc48af499b670cbe18d5eaf.webp(