Aleo: Blockchain mới ưu tiên bảo mậ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. Ý 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 mà không tiết lộ dữ liệu cá nhân.
Tổng quan dự án
tính riêng tư
Aleo的核心是零知识证明(ZKPs)技术,使交易 và hợp đồng thông minh có thể được thực hiện trong khi bảo vệ quyền riêng tư. Chi tiết giao dịch của người dùng mặc định là ẩn, nhưng cho phép tiết lộ có chọn lọc khi cần thiết. Các thành phần chính bao gồm:
Leo ngôn ngữ biên dịch: ngôn ngữ được sử dụng đặc biệt để phát triển ứng dụng kiến thức không có (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; snarkOS đảm bảo an toàn cho dữ liệu và tính toán.
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 các bên.
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. Các nhà phát triển có thể triển khai ứng dụng trực tiếp trong danh bạ chương trình của Aleo, giảm thiểu rủi ro của nền tảng.
) Khả năng mở rộng
Aleo sử 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 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 người chứng. AleoBFT không chỉ nâng cao mức độ phi tập trung của mạng lưới mà còn tăng cường hiệu suất và tính bảo mật. Các đặc điểm của nó bao gồm:
Khối nhanh chóng tính cuối: đảm bảo mỗi khối được xác nhận ngay sau khi được tạo ra.
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 ra coinbase, ngăn chặn một số thực thể chiếm đoạt mạng.
Cơ chế kích thích: Các xác thực viên và người chứng nhận chia sẻ phần thưởng khối, khuyến khích người chứng nhận trở thành xác thực viên thông qua việc đặt cược token.
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 gas, đặ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.v.
Tiến triển mới nhất
Aleo dự kiến 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, nhóm đ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 thực sẽ được khởi động vào ngày 1 tháng 7, 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.
Tổng cung ban đầu là 1,5 tỷ mã thông báo, lượng cung lưu thông ban đầu khoảng 10%.
Sau khi hoàn tất việc đặt lại Testnet Beta, mạng sẽ tương tự như mạng chính.
Mã đã được đóng băng cách đây một tuần.
Kế hoạch mở rộng nút xác thực: 15 nút ban đầu, mục tiêu tăng lên 50 nút trong năm, cuối cùng đạt 500 nút.
![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 Synthesis Puzzle
Aleo gần đây đã cập nhật phiên bản mới của thuật toán puzzle, được gọi là Synthesis Puzzle. Thuật toán mới không còn tập trung vào việc tạo ra kết quả zk proof, mà chú trọng vào việc tạo ra dữ liệu trung gian witness trước khi tạo proof. Quy trình của thuật toán như sau:
Mỗi epoch tạo ra một chương trình EpochProgram chung.
Sử dụng nonce) để xây dựng địa chỉ thưởng khai thác, epoch_hash và số ngẫu nhiên counter( làm đầu vào.
Dựa trên EpochProgram và đầu vào để xây dựng mạch chứng R1CS, tạo ra witness.
Chuyển witness thành nút lá của cây Merkle, tính toán Merkle root.
Chuyển đổi Merkle root thành proof_target của solution, xác định xem có đáp ứng yêu cầu độ khó của epoch hiện tại hay không.
Nếu đáp ứng yêu cầu thì gửi solution và phát sóng.
Cập nhật này đã chuyển puzzle từ việc tạo proof sang việc tạo witness, logic tính toán trong mỗi epoch là nhất quán, nhưng sự khác biệt 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 đây, tăng độ khó trong việc thực hiện song song, có thể ảnh hưởng đến các chiến lược tối ưu hóa khai thác hiện có.
![Giải thích thuật toán Synthesis Puzzle mới nhất của Aleo: Dẫn đầu cách mạng quyền riêng 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.
Aleo khởi động thử nghiệm khuyến khích Testnet Blockchain không biết
Aleo: Blockchain mới ưu tiên bảo mậ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. Ý 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 mà không tiết lộ dữ liệu cá nhân.
Tổng quan dự án
tính riêng tư
Aleo的核心是零知识证明(ZKPs)技术,使交易 và hợp đồng thông minh có thể được thực hiện trong khi bảo vệ quyền riêng tư. Chi tiết giao dịch của người dùng mặc định là ẩn, nhưng cho phép tiết lộ có chọn lọc khi cần thiết. Các thành phần chính bao gồm:
Leo ngôn ngữ biên dịch: ngôn ngữ được sử dụng đặc biệt để phát triển ứng dụng kiến thức không có (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; snarkOS đảm bảo an toàn cho dữ liệu và tính toán.
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 các bên.
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. Các nhà phát triển có thể triển khai ứng dụng trực tiếp trong danh bạ chương trình của Aleo, giảm thiểu rủi ro của nền tảng.
) Khả năng mở rộng
Aleo sử 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 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 người chứng. AleoBFT không chỉ nâng cao mức độ phi tập trung của mạng lưới mà còn tăng cường hiệu suất và tính bảo mật. Các đặc điểm của nó bao gồm:
Khối nhanh chóng tính cuối: đảm bảo mỗi khối được xác nhận ngay sau khi được tạo ra.
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 ra coinbase, ngăn chặn một số thực thể chiếm đoạt mạng.
Cơ chế kích thích: Các xác thực viên và người chứng nhận chia sẻ phần thưởng khối, khuyến khích người chứng nhận trở thành xác thực viên thông qua việc đặt cược token.
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 gas, đặ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.v.
Tiến triển mới nhất
Aleo dự kiến 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, nhóm đ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 thực sẽ được khởi động vào ngày 1 tháng 7, 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.
Tổng cung ban đầu là 1,5 tỷ mã thông báo, lượng cung lưu thông ban đầu khoảng 10%.
Sau khi hoàn tất việc đặt lại Testnet Beta, mạng sẽ tương tự như mạng chính.
Mã đã được đóng băng cách đây một tuần.
Kế hoạch mở rộng nút xác thực: 15 nút ban đầu, mục tiêu tăng lên 50 nút trong năm, cuối cùng đạt 500 nút.
![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 Synthesis Puzzle
Aleo gần đây đã cập nhật phiên bản mới của thuật toán puzzle, được gọi là Synthesis Puzzle. Thuật toán mới không còn tập trung vào việc tạo ra kết quả zk proof, mà chú trọng vào việc tạo ra dữ liệu trung gian witness trước khi tạo proof. Quy trình của thuật toán như sau:
Mỗi epoch tạo ra một chương trình EpochProgram chung.
Sử dụng nonce) để xây dựng địa chỉ thưởng khai thác, epoch_hash và số ngẫu nhiên counter( làm đầu vào.
Dựa trên EpochProgram và đầu vào để xây dựng mạch chứng R1CS, tạo ra witness.
Chuyển witness thành nút lá của cây Merkle, tính toán Merkle root.
Chuyển đổi Merkle root thành proof_target của solution, xác định xem có đáp ứng yêu cầu độ khó của epoch hiện tại hay không.
Nếu đáp ứng yêu cầu thì gửi solution và phát sóng.
Cập nhật này đã chuyển puzzle từ việc tạo proof sang việc tạo witness, logic tính toán trong mỗi epoch là nhất quán, nhưng sự khác biệt 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 đây, tăng độ khó trong việc thực hiện song song, có thể ảnh hưởng đến các chiến lược tối ưu hóa khai thác hiện có.
![Giải thích thuật toán Synthesis Puzzle mới nhất của Aleo: Dẫn đầu cách mạng quyền riêng tư Web3])https://img-cdn.gateio.im/webp-social/moments-248292393dc48af499b670cbe18d5eaf.webp(