Aleo: Người tiên phong trong Blockchain về quyền riêng 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 mức độ riêng tư và khả năng mở rộng cao hơn thông qua công nghệ chứng minh không có kiến thức. Triết lý 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.
Bài viết này sẽ giới thiệu tổng quan về dự án Aleo và những tiến triển mới nhất, cũng như phân tích chi tiết về thuật toán mới Synthesis Puzzle.
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 kiến thức, cho phép thực hiện giao dịch và hợp đồng thông minh trong khi vẫn giữ được sự riêng tư. Chi tiết giao dịch của người dùng được ẩn mặc định, đồng thời cho phép tiết lộ có chọn lọc, 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 các ứng dụng bằng chứng không kiến thức, 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 tuyến, chỉ xác minh kết quả trên chuỗi, nâng cao hiệu quả. snarkOS đảm bảo an toàn cho dữ liệu và tính toán, và cho phép thực hiện các 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 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 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, giảm thiểu rủi ro cho nền tảng.
Khả năng mở rộng
Aleo áp dụng phương thức xử lý off-chain, giao dịch trước 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 minh lên Blockchain. Cách này đã nâng cao đá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 tức thì của người xác thực và khả năng tính toán của người chứng minh. AleoBFT nâng cao mức độ phi tập trung của mạng, tăng cường hiệu suất và an ninh.
Khối nhanh chóng tính cuối cùng: đảm bảo mỗi khối được xác nhận ngay lập tức 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 ra coinbase, ngăn chặn một số ít thực thể độc quyền 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, 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 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 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 mới quan trọng:
ARC-100 biểu quyết thông qua: Đề xuất liên quan đến các biện pháp an toàn như tuân thủ, khóa tiền trên mạng và chậm chuyển khoản đã được thông qua, đội ngũ đang thực hiện điều chỉnh cuối cùng.
Chương trình khuyến khích người xác nhận: Từ ngày 1 đến 15 tháng 7, phân phối 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 nó, mỗi người xác nhận ít nhất phải kiếm được 100 token để nhận 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%. Các token này chủ yếu đến từ phần thưởng nhiệm vụ, 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 người xác thực và nút xác thực.
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 có tính năng mới nào được thêm vào, mạng sẽ giống như mạng chính.
Đó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 mã token, để trở thành nút xác thực cần 10 triệu mã token, các số lượng này sẽ giảm dần theo thời gian.
Giải thích thuật toán Synthesis Puzzle
Aleo đã cập nhật thuật toán puzzle mới nhất, không còn tập trung vào việc tạo ra kết quả zk proof, mà chuyển sang việc tạo ra dữ liệu trung gian witness trước khi tạo proof. Dưới đây là giới thiệu ngắn gọn về thuật toán mới Synthesis Puzzle:
Quy trình đồng thuận
Prover tính toán puzzle xây dựng ra 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 tiếp theo, đả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 và proof_target có phù hợp với yêu cầu của mạng hay không, đồng thời đảm bảo số lượng solution có trong khối nằm trong phạm vi giới hạn.
Giải pháp hiệu quả có thể nhận được phần thưởng đồng thuận.
Quy trình chi tiết của Synthesis Puzzle
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à một số ngẫu nhiên counter.
Trong mỗi epoch, tất cả các prover tính toán EpochProgram là giống nhau, được lấy mẫu từ tập lệnh bằng cách sử dụng số ngẫu nhiên được tạo 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 ra đầ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 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 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, hãy gửi địa chỉ reward, epoch_hash và counter cần thiết để xây dựng đầu vào như một giải pháp và phát sóng.
Sự thay đổi và ảnh hưởng của việc khai thác
Thuật toán mới đã chuyển đổi puzzle từ việc tạo proof thành việc tạo witness, tất cả logic tính toán của 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. Cập nhật lần này đã loại bỏ MSM và NTT tính toán, trong khi đó do sự phụ thuộc thực thi tuần tự trong quá trình tạo witness, việc hiện thực hóa song song phải đối mặt với những thách thức không nhỏ.
Tổng thể mà nói, bản cập nhật thuật toán lần này của Aleo đã củng cố thêm lợi thế của nó về mặt 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, Aleo có khả năng đóng vai trò ngày càng quan trọng trong lĩnh vực blockchain.
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.
4 thích
Phần thưởng
4
7
Chia sẻ
Bình luận
0/400
Lyq1987312
· 17giờ trước
aleo đang chuẩn bị ra mắt
Xem bản gốcTrả lời0
ALEOVictims
· 17giờ trước
Đây chắc chắn là bài viết của năm ngoái.
Xem bản gốcTrả lời0
MidnightGenesis
· 19giờ trước
Phân tích mã cho thấy việc sản xuất proof vẫn còn tồn tại lỗ hổng tiềm ẩn.
Xem bản gốcTrả lời0
IfKnowledgeAndAction
· 20giờ trước
快 nhập một vị thế！🚗
Xem bản gốcTrả lời0
CryptoHistoryClass
· 20giờ trước
một $luna khác đang được tạo ra... kiểm tra biểu đồ năm 2021 nếu bạn cần bằng chứng
Aleo: Chuỗi riêng tư giới thiệu thuật toán Synthesis Puzzle khởi động Testnet khuyến khích vào tháng 7
Aleo: Người tiên phong trong Blockchain về quyền riêng 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 mức độ riêng tư và khả năng mở rộng cao hơn thông qua công nghệ chứng minh không có kiến thức. Triết lý 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.
Bài viết này sẽ giới thiệu tổng quan về dự án Aleo và những tiến triển mới nhất, cũng như phân tích chi tiết về thuật toán mới Synthesis Puzzle.
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 kiến thức, cho phép thực hiện giao dịch và hợp đồng thông minh trong khi vẫn giữ được sự riêng tư. Chi tiết giao dịch của người dùng được ẩn mặc định, đồng thời cho phép tiết lộ có chọn lọc, 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 các ứng dụng bằng chứng không kiến thức, 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 tuyến, chỉ xác minh kết quả trên chuỗi, nâng cao hiệu quả. snarkOS đảm bảo an toàn cho dữ liệu và tính toán, và cho phép thực hiện các 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 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 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, giảm thiểu rủi ro cho nền tảng.
Khả năng mở rộng
Aleo áp dụng phương thức xử lý off-chain, giao dịch trước 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 minh lên Blockchain. Cách này đã nâng cao đá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 tức thì của người xác thực và khả năng tính toán của người chứng minh. AleoBFT nâng cao mức độ phi tập trung của mạng, tăng cường hiệu suất và an ninh.
Khối nhanh chóng tính cuối cùng: đảm bảo mỗi khối được xác nhận ngay lập tức 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 ra coinbase, ngăn chặn một số ít thực thể độc quyền 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, 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 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 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 mới quan trọng:
ARC-100 biểu quyết thông qua: Đề xuất liên quan đến các biện pháp an toàn như tuân thủ, khóa tiền trên mạng và chậm chuyển khoản đã được thông qua, đội ngũ đang thực hiện điều chỉnh cuối cùng.
Chương trình khuyến khích người xác nhận: Từ ngày 1 đến 15 tháng 7, phân phối 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 nó, mỗi người xác nhận ít nhất phải kiếm được 100 token để nhận 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%. Các token này chủ yếu đến từ phần thưởng nhiệm vụ, 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 người xác thực và nút xác thực.
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 có tính năng mới nào được thêm vào, mạng sẽ giống như mạng chính.
Đó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 mã token, để trở thành nút xác thực cần 10 triệu mã token, các số lượng này sẽ giảm dần theo thời gian.
Giải thích thuật toán Synthesis Puzzle
Aleo đã cập nhật thuật toán puzzle mới nhất, không còn tập trung vào việc tạo ra kết quả zk proof, mà chuyển sang việc tạo ra dữ liệu trung gian witness trước khi tạo proof. Dưới đây là giới thiệu ngắn gọn về thuật toán mới Synthesis Puzzle:
Quy trình đồng thuận
Prover tính toán puzzle xây dựng ra 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 tiếp theo, đả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 và proof_target có phù hợp với yêu cầu của mạng hay không, đồng thời đảm bảo số lượng solution có trong khối nằm trong phạm vi giới hạn.
Giải pháp hiệu quả có thể nhận được phần thưởng đồng thuận.
Quy trình chi tiết của Synthesis Puzzle
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à một số ngẫu nhiên counter.
Trong mỗi epoch, tất cả các prover tính toán EpochProgram là giống nhau, được lấy mẫu từ tập lệnh bằng cách sử dụng số ngẫu nhiên được tạo 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 ra đầ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 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 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, hãy gửi địa chỉ reward, epoch_hash và counter cần thiết để xây dựng đầu vào như một giải pháp và phát sóng.
Sự thay đổi và ảnh hưởng của việc khai thác
Thuật toán mới đã chuyển đổi puzzle từ việc tạo proof thành việc tạo witness, tất cả logic tính toán của 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. Cập nhật lần này đã loại bỏ MSM và NTT tính toán, trong khi đó do sự phụ thuộc thực thi tuần tự trong quá trình tạo witness, việc hiện thực hóa song song phải đối mặt với những thách thức không nhỏ.
Tổng thể mà nói, bản cập nhật thuật toán lần này của Aleo đã củng cố thêm lợi thế của nó về mặt 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, Aleo có khả năng đóng vai trò ngày càng quan trọng trong lĩnh vực blockchain.