Aleo: Dự án Blockchain dẫn đầu cuộc cách mạng quyền riêng tư Web3
Aleo là một dự án blockchain tập trung vào việc bảo vệ quyền riêng tư, thực hiện tính năng bảo mật cao hơn và khả năng mở rộng thông qua công nghệ chứng minh không kiến thức (ZKP). Ý 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ộ thông tin cá nhân.
Tóm tắt dự án
Tính riêng tư
Cốt lõi của Aleo là công nghệ chứng minh không biết (ZKPs), cho phép giao dịch và thực thi hợp đồng thông minh diễn ra trong khi vẫn giữ được sự 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, mặc định được ẩn đi. Thiết kế này không chỉ bảo vệ sự riêng tư của người dùng mà còn cho phép tiết lộ lựa chọn 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 từ ngôn ngữ Rust, chuyên用于 phát triển các ứng dụng kiến thức bằng không (ZKApps), giảm yêu cầu kiến thức mật mã của 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 thực 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 giấy 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. Ngoài ra, 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 mà không cần phụ thuộc vào bên thứ ba, từ đó giảm thiểu rủi ro cho 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 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 các xác thực viên và khả năng tính toán của các 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 nhanh chóng tính cuối cùng: AleoBFT đảm bảo mỗi khối ngay lập tức được xác nhận 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ới việc tạo ra coinbase, người xác minh 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 một số thực thể thống trị 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, 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ị hạn chế bởi gas, do đó đặc biệt phù hợp cho 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:
Bỏ phiếu ARC-100 đã được thông qua: Bỏ phiếu cho ARC-100 ("Thực hành tốt nhất về tuân thủ cho nhà phát triển và nhà điều hành Aleo") đã kết thúc và đã đượ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: Chương trình này sẽ bắt đầu vào ngày 1 tháng 7, nhằm xác thực cơ chế puzzle mới. Chương trình sẽ chạy đế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. Tỷ lệ phần trăm điểm do nút tạo ra sẽ quyết định phần thưởng của họ, mỗi người xác thực ít nhất cần kiếm được 100 token để nhận 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ừ nhiệm vụ Coinbase (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 đặt cọc, vận hành xác thực viên và xác thực node.
Testnet Beta thiết lập lại: Đây là lần thiết lập lại mạng cuối cùng, sau khi hoàn thành sẽ không thêm chức năng mới, mạng sẽ tương tự như mạng chính. Việc thiết lập lại nhằm thêm ARC-41 và chức năng puzzle mới.
Đó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 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.
Cập nhật thuật toán Synthesis Puzzle
Aleo gần đây đã cập nhật phiên bản mới nhất 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à 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à các đặc điểm chính và quy trình của thuật toán:
Mỗi epoch sẽ tạo ra một EpochProgram chung, được lấy mẫu từ tập lệnh bằng số ngẫu nhiên được tạo ra từ epoch_hash hiện tại.
Sử dụng 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) làm hạt giống ngẫu nhiên để tạo ra đầu vào cho EpochProgram.
Tổng hợp R1CS và input tương ứng với EpochProgram, thực hiện tính toán witness.
Chuyển đổi witness đã tính toán thành chuỗi các nút lá của cây Merkle, xây dựng một cây Merkle K-ary với độ sâu 8 và bậc 8.
Tính toán Merkle root và chuyển đổi nó 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.
Nếu thỏa mãn điều kiện, thì gửi solution và phát sóng.
Cập nhật lần này đã chuyển đổi puzzle từ việc sinh proof sang sinh witness, toàn bộ logic tính toán 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ỏ việc tính toán MSM và NTT trước đó, đồng thời do có một số mối quan hệ phụ thuộc trong quá trình sinh witness, việc thực hiện song song gặp phải không ít thử thách.
Tổng thể, bản cập nhật thuật toán lần này của Aleo đã củng cố thêm những lợi thế của nó trong việc bảo vệ quyền riêng tư và khả năng mở rộng, cung cấp động lực mới cho cuộc cách mạng quyền riêng tư Web3. Khi dự án tiếp tục phát triển và hoàn thiện, Aleo có khả năng đóng vai trò ngày càng quan trọng trong lĩnh vực bảo vệ quyền riêng tư của Blockchain.
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 dẫn đầu cuộc cách mạng quyền riêng tư Web3: zk-SNARK mang lại quyền riêng tư và khả năng mở rộng cho Blockchain
Aleo: Dự án Blockchain dẫn đầu cuộc cách mạng quyền riêng tư Web3
Aleo là một dự án blockchain tập trung vào việc bảo vệ quyền riêng tư, thực hiện tính năng bảo mật cao hơn và khả năng mở rộng thông qua công nghệ chứng minh không kiến thức (ZKP). Ý 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ộ thông tin cá nhân.
Tóm tắt dự án
Tính riêng tư
Cốt lõi của Aleo là công nghệ chứng minh không biết (ZKPs), cho phép giao dịch và thực thi hợp đồng thông minh diễn ra trong khi vẫn giữ được sự 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, mặc định được ẩn đi. Thiết kế này không chỉ bảo vệ sự riêng tư của người dùng mà còn cho phép tiết lộ lựa chọn 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 từ ngôn ngữ Rust, chuyên用于 phát triển các ứng dụng kiến thức bằng không (ZKApps), giảm yêu cầu kiến thức mật mã của 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 thực 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 giấy 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. Ngoài ra, 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 mà không cần phụ thuộc vào bên thứ ba, từ đó giảm thiểu rủi ro cho 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 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 các xác thực viên và khả năng tính toán của các 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 nhanh chóng tính cuối cùng: AleoBFT đảm bảo mỗi khối ngay lập tức được xác nhận 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ới việc tạo ra coinbase, người xác minh 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 một số thực thể thống trị 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, 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ị hạn chế bởi gas, do đó đặc biệt phù hợp cho 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:
Bỏ phiếu ARC-100 đã được thông qua: Bỏ phiếu cho ARC-100 ("Thực hành tốt nhất về tuân thủ cho nhà phát triển và nhà điều hành Aleo") đã kết thúc và đã đượ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: Chương trình này sẽ bắt đầu vào ngày 1 tháng 7, nhằm xác thực cơ chế puzzle mới. Chương trình sẽ chạy đế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. Tỷ lệ phần trăm điểm do nút tạo ra sẽ quyết định phần thưởng của họ, mỗi người xác thực ít nhất cần kiếm được 100 token để nhận 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ừ nhiệm vụ Coinbase (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 đặt cọc, vận hành xác thực viên và xác thực node.
Testnet Beta thiết lập lại: Đây là lần thiết lập lại mạng cuối cùng, sau khi hoàn thành sẽ không thêm chức năng mới, mạng sẽ tương tự như mạng chính. Việc thiết lập lại nhằm thêm ARC-41 và chức năng puzzle mới.
Đó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 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.
Cập nhật thuật toán Synthesis Puzzle
Aleo gần đây đã cập nhật phiên bản mới nhất 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à 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à các đặc điểm chính và quy trình của thuật toán:
Mỗi epoch sẽ tạo ra một EpochProgram chung, được lấy mẫu từ tập lệnh bằng số ngẫu nhiên được tạo ra từ epoch_hash hiện tại.
Sử dụng 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) làm hạt giống ngẫu nhiên để tạo ra đầu vào cho EpochProgram.
Tổng hợp R1CS và input tương ứng với EpochProgram, thực hiện tính toán witness.
Chuyển đổi witness đã tính toán thành chuỗi các nút lá của cây Merkle, xây dựng một cây Merkle K-ary với độ sâu 8 và bậc 8.
Tính toán Merkle root và chuyển đổi nó 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.
Nếu thỏa mãn điều kiện, thì gửi solution và phát sóng.
Cập nhật lần này đã chuyển đổi puzzle từ việc sinh proof sang sinh witness, toàn bộ logic tính toán 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ỏ việc tính toán MSM và NTT trước đó, đồng thời do có một số mối quan hệ phụ thuộc trong quá trình sinh witness, việc thực hiện song song gặp phải không ít thử thách.
Tổng thể, bản cập nhật thuật toán lần này của Aleo đã củng cố thêm những lợi thế của nó trong việc bảo vệ quyền riêng tư và khả năng mở rộng, cung cấp động lực mới cho cuộc cách mạng quyền riêng tư Web3. Khi dự án tiếp tục phát triển và hoàn thiện, Aleo có khả năng đóng vai trò ngày càng quan trọng trong lĩnh vực bảo vệ quyền riêng tư của Blockchain.