Aleo: Ngôi sao mới 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 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ệ bằng chứng không kiến thức (ZKP). Triết lý cốt lõi của 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
quyền 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 trong khi vẫn giữ được quyền riêng tư. Chi tiết giao dịch của người dùng mặc định được ẩn đi, trong khi vẫ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ữ lập trình Leo: Được điều chỉnh dựa trên ngôn ngữ Rust, chuyên dụng cho việc phát triển các ứng dụng không biết (ZKApps), giảm yêu cầu kiến thức về 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ả tính toán trên chuỗi, nâng cao hiệu suất. snarkOS đảm bảo an toàn cho dữ liệu và tính toán, đồng thời 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ũng 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 mà 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 thức xử lý off-chain, 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 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ắ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 các xác thực viên và khả năng tính toán của những 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.
Tính cuối cùng nhanh chóng của khối: AleoBFT đảm bảo rằng 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 coinbase, các xác thực viên chịu trách nhiệm tạo ra khối, trong khi các chứng nhân thực hiện tính 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: Các validator và prover chia sẻ phần thưởng khối; khuyến khích các prover trở thành validator 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 bởi gas, do đó đặc biệt phù hợp với những ứng dụng cần chạy trong thời gian dài như học máy.
Tiến triển hiện tại
Aleo sẽ ra mắt 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:
Đề xuất ARC-100 đã được thông qua: 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 việc ghi có đã đượ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 khoảng thời gian này sẽ phân bổ 1 triệu điểm Aleo làm phần thưởng.
Cung cấp ban đầu và cung cấp lưu thông: Tổng cung cấp ban đầu là 1,5 tỷ token, lượng cung cấp lưu thông ban đầu khoảng 10% (chưa xác định cuối cùng). 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.
Reset Beta Testnet: Đây là lần cuối cùng mạng lưới được đặt lại, sau khi hoàn thành sẽ không thêm tính năng mới, mạng lưới sẽ tương tự như mạng chính.
Đóng băng mã: Việc đó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ẽ dần giảm theo thời gian.
Phân tích thuật toán Synthesis Puzzle
Thuật toán cốt lõi mới nhất của Aleo được gọi là Synthesis Puzzle, trong đó cốt 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à sử dụng nó 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.
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.
Tập hợp giao dịch Validator 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 được xác minh rằng epoch_hash của nó phù hợp với latest_epoch_hash do validator duy trì, proof_target được tính toán phù hợp với latest_proof_target do validator trong mạng duy trì, đồng thời số lượng solution có trong block đó nhỏ hơn giới hạn đồng thuậ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à 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 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 đầu vào cho EpochProgram.
Tập hợp R1CS và input tương ứng của EpochProgram, thực hiện tính toán witness.
Tính toán tất cả các witness sau đó chuyển đổi 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, kiểm tra xem có đáp ứng được latest_proof_target của epoch hiện tại hay không.
Trong cùng một epoch, có thể thực hiện nhiều phép tính solution bằng cách cập nhật đầu vào của EpochProgram thông qua việc lặp lại counter.
Sự thay đổi và ảnh hưởng của khai thác
Thuật toán puzzle phiên bản mới đã chuyển từ việc sản xuất proof sang việc sản xuất witness, tất cả 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. Cập nhật này đã loại bỏ việc tối ưu hóa các phép toán MSM và NTT trước đây, đồng thời do quá trình tạo witness liên quan đến việc thực thi các chương trình thay đổi theo epoch, trong đó có một số phụ thuộc thực thi tuần tự giữa các lệnh, việc hiện thực hóa song song gặp nhiều thách thức.
Sự thay đổi này có thể có ảnh hưởng lớn đến các chiến lược khai thác và tối ưu phần cứng hiện có, yêu cầu các thợ mỏ phải đánh giá lại và điều chỉnh phương pháp khai thác của họ.
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.
12 thích
Phần thưởng
12
9
Chia sẻ
Bình luận
0/400
LuoGeMade1MillionDo
· 5giờ trước
lãnh đạo chuỗi công khai bảo mật aleo
Xem bản gốcTrả lời0
GateUser-fcaad450
· 8giờ trước
Đây có phải là ngày 1 tháng 7 năm ngoái không?
Xem bản gốcTrả lời0
GateUser-9ab988cc
· 9giờ trước
Điều này không tốt hơn những meme token đó nhiều đâu, nhanh nhập một vị thế đi, các anh em.
Xem bản gốcTrả lời0
MEVictim
· 9giờ trước
Quyền riêng tư là quan trọng phải không? Tôi đã làm tất cả.
Aleo dẫn đầu cuộc cách mạng quyền riêng tư Web3: công nghệ zk-SNARK mở ra những khả năng mới
Aleo: Ngôi sao mới 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 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ệ bằng chứng không kiến thức (ZKP). Triết lý cốt lõi của 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
quyền 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 trong khi vẫn giữ được quyền riêng tư. Chi tiết giao dịch của người dùng mặc định được ẩn đi, trong khi vẫ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ữ lập trình Leo: Được điều chỉnh dựa trên ngôn ngữ Rust, chuyên dụng cho việc phát triển các ứng dụng không biết (ZKApps), giảm yêu cầu kiến thức về 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ả tính toán trên chuỗi, nâng cao hiệu suất. snarkOS đảm bảo an toàn cho dữ liệu và tính toán, đồng thời 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ũng 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 mà 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 thức xử lý off-chain, 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 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ắ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 các xác thực viên và khả năng tính toán của những 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.
Tính cuối cùng nhanh chóng của khối: AleoBFT đảm bảo rằng 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 coinbase, các xác thực viên chịu trách nhiệm tạo ra khối, trong khi các chứng nhân thực hiện tính 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: Các validator và prover chia sẻ phần thưởng khối; khuyến khích các prover trở thành validator 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 bởi gas, do đó đặc biệt phù hợp với những ứng dụng cần chạy trong thời gian dài như học máy.
Tiến triển hiện tại
Aleo sẽ ra mắt 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:
Đề xuất ARC-100 đã được thông qua: 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 việc ghi có đã đượ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 khoảng thời gian này sẽ phân bổ 1 triệu điểm Aleo làm phần thưởng.
Cung cấp ban đầu và cung cấp lưu thông: Tổng cung cấp ban đầu là 1,5 tỷ token, lượng cung cấp lưu thông ban đầu khoảng 10% (chưa xác định cuối cùng). 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.
Reset Beta Testnet: Đây là lần cuối cùng mạng lưới được đặt lại, sau khi hoàn thành sẽ không thêm tính năng mới, mạng lưới sẽ tương tự như mạng chính.
Đóng băng mã: Việc đó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ẽ dần giảm theo thời gian.
Phân tích thuật toán Synthesis Puzzle
Thuật toán cốt lõi mới nhất của Aleo được gọi là Synthesis Puzzle, trong đó cốt 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à sử dụng nó 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.
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.
Tập hợp giao dịch Validator 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 được xác minh rằng epoch_hash của nó phù hợp với latest_epoch_hash do validator duy trì, proof_target được tính toán phù hợp với latest_proof_target do validator trong mạng duy trì, đồng thời số lượng solution có trong block đó nhỏ hơn giới hạn đồng thuậ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à 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 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 đầu vào cho EpochProgram.
Tập hợp R1CS và input tương ứng của EpochProgram, thực hiện tính toán witness.
Tính toán tất cả các witness sau đó chuyển đổi 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, kiểm tra xem có đáp ứng được latest_proof_target của epoch hiện tại hay không.
Trong cùng một epoch, có thể thực hiện nhiều phép tính solution bằng cách cập nhật đầu vào của EpochProgram thông qua việc lặp lại counter.
Sự thay đổi và ảnh hưởng của khai thác
Thuật toán puzzle phiên bản mới đã chuyển từ việc sản xuất proof sang việc sản xuất witness, tất cả 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. Cập nhật này đã loại bỏ việc tối ưu hóa các phép toán MSM và NTT trước đây, đồng thời do quá trình tạo witness liên quan đến việc thực thi các chương trình thay đổi theo epoch, trong đó có một số phụ thuộc thực thi tuần tự giữa các lệnh, việc hiện thực hóa song song gặp nhiều thách thức.
Sự thay đổi này có thể có ảnh hưởng lớn đến các chiến lược khai thác và tối ưu phần cứng hiện có, yêu cầu các thợ mỏ phải đánh giá lại và điều chỉnh phương pháp khai thác của họ.