Aleo: Người tiên phong trong bảo 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 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ộ dữ liệu cá nhân.
Tổng quan dự án
tính riêng tư
Cốt lõi của Aleo là công nghệ bằng chứng 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 theo mặc định được ẩn đi, đồng thời cho phép tiết lộ 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 từ ngôn ngữ Rust, chuyên dùng để phát triển ứng dụng không biết (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ả tính toán 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 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 trên nền tảng.
khả năng mở rộng
Aleo đã áp dụng cách 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 đã 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 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 người xác thực 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 lưới mà còn tăng cường hiệu suất và độ an toàn.
Tính cuối cùng nhanh chóng của khối: AleoBFT đả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 độ ổn định của nút và trải nghiệm người dùng.
Đảm bảo 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, các thợ xác thực chịu trách nhiệm tạo ra khối, trong khi các thợ chứng minh 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: 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 bởi gas, vì vậy đặc biệt phù hợp cho các ứng dụng như học máy cần chạy trong thời gian dài.
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 quan trọng nhất:
ARC-100 đã được biểu quyết thông qua: Đề xuất liên quan đến sự tuân thủ, việc khóa vốn trên mạng và các biện pháp an ninh như việc trì hoãn thanh toá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 thực: Chạy từ ngày 1 đến 15 tháng 7, phân bổ 1 triệu điểm Aleo làm phần thưởng. Tỷ lệ phần trăm điểm được tạo ra bởi nút sẽ quyết định phần thưởng của nó, mỗi người xác thực í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, với khoảng 10% là cung lưu thông ban đầu. Những token này chủ yếu đến từ nhiệm vụ Coinbase (75 triệu), sẽ được phân phối trong vòng sáu tháng đầu tiên, đồng thời bao gồm phần thưởng từ việc staking, vận hành các xác thực viên và các nút xác thực.
Kiểm tra Beta Testnet: Đâ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.
Đó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.
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, cốt lõi của nó là tạo ra một EpochProgram chung cố định cho mỗi epoch, thông qua việc 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à chứng nhân) và làm nút lá của cây Merkle, sau khi tính toán tất cả các nút lá sẽ tạo ra Merkle root và chuyển đổi thành proof_target của solution.
Quá trình chi tiết để xây dựng Synthesis Puzzle như sau:
Mỗi lần tính toán puzzle được gọi là nonce, được xây dựng từ địa chỉ nhậ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 giống nhau, được lấy mẫu từ tập lệnh bằng số ngẫu nhiên do epoch_hash hiện tại sinh ra.
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à đầu vào tương ứng của EpochProgram, thực hiện tính toán chứng nhân.
Tính toán tất cả các chứng nhân, sau đó chuyển đổi chúng thành chuỗi 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ó thỏa mãn 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.
Cập nhật lần này đã chuyển đổi puzzle từ việc tạo proof sang việc tạo witness, logic tính toán của tất cả các solution trong một 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 đã bỏ qua việc tính toán MSM và NTT trước đó, đồng thời do có mối quan hệ phụ thuộc trong quá trình tạo witness, việc thực hiện song song gặp một số thách thức.
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.
16 thích
Phần thưởng
16
5
Chia sẻ
Bình luận
0/400
LuoGeMade1MillionDo
· 08-07 08:08
aleo là lãnh đạo vùng kiến thức ẩn, tiềm năng trong tương lai rất lớn
Xem bản gốcTrả lời0
GateUser-330c4008
· 08-07 07:53
Đồng coin này dựa vào quảng cáo về sự riêng tư zk-SNARK, thực ra Ethereum sắp sử dụng zk-SNARK.
Xem bản gốcTrả lời0
GasFeeWhisperer
· 08-07 06:34
Công nghệ bảo mật đã có bước đột phá lớn.
Xem bản gốcTrả lời0
LiquidityWitch
· 08-07 06:22
Tôi tin tưởng vào chuỗi công khai về quyền riêng tư trong năm tới.
Blockchain riêng tư Aleo sắp khởi động Testnet khuyến khích, công nghệ zk-SNARK dẫn dắt kỷ nguyên mới
Aleo: Người tiên phong trong bảo 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 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ộ dữ liệu cá nhân.
Tổng quan dự án
tính riêng tư
Cốt lõi của Aleo là công nghệ bằng chứng 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 theo mặc định được ẩn đi, đồng thời cho phép tiết lộ 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 từ ngôn ngữ Rust, chuyên dùng để phát triển ứng dụng không biết (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ả tính toán 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 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 trên nền tảng.
khả năng mở rộng
Aleo đã áp dụng cách 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 đã 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 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 người xác thực 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 lưới mà còn tăng cường hiệu suất và độ an toàn.
Tính cuối cùng nhanh chóng của khối: AleoBFT đả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 độ ổn định của nút và trải nghiệm người dùng.
Đảm bảo 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, các thợ xác thực chịu trách nhiệm tạo ra khối, trong khi các thợ chứng minh 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: 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 bởi gas, vì vậy đặc biệt phù hợp cho các ứng dụng như học máy cần chạy trong thời gian dài.
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 quan trọng nhất:
ARC-100 đã được biểu quyết thông qua: Đề xuất liên quan đến sự tuân thủ, việc khóa vốn trên mạng và các biện pháp an ninh như việc trì hoãn thanh toá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 thực: Chạy từ ngày 1 đến 15 tháng 7, phân bổ 1 triệu điểm Aleo làm phần thưởng. Tỷ lệ phần trăm điểm được tạo ra bởi nút sẽ quyết định phần thưởng của nó, mỗi người xác thực í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, với khoảng 10% là cung lưu thông ban đầu. Những token này chủ yếu đến từ nhiệm vụ Coinbase (75 triệu), sẽ được phân phối trong vòng sáu tháng đầu tiên, đồng thời bao gồm phần thưởng từ việc staking, vận hành các xác thực viên và các nút xác thực.
Kiểm tra Beta Testnet: Đâ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.
Đó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.
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, cốt lõi của nó là tạo ra một EpochProgram chung cố định cho mỗi epoch, thông qua việc 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à chứng nhân) và làm nút lá của cây Merkle, sau khi tính toán tất cả các nút lá sẽ tạo ra Merkle root và chuyển đổi thành proof_target của solution.
Quá trình chi tiết để xây dựng Synthesis Puzzle như sau:
Mỗi lần tính toán puzzle được gọi là nonce, được xây dựng từ địa chỉ nhậ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 giống nhau, được lấy mẫu từ tập lệnh bằng số ngẫu nhiên do epoch_hash hiện tại sinh ra.
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à đầu vào tương ứng của EpochProgram, thực hiện tính toán chứng nhân.
Tính toán tất cả các chứng nhân, sau đó chuyển đổi chúng thành chuỗi 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ó thỏa mãn 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.
Cập nhật lần này đã chuyển đổi puzzle từ việc tạo proof sang việc tạo witness, logic tính toán của tất cả các solution trong một 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 đã bỏ qua việc tính toán MSM và NTT trước đó, đồng thời do có mối quan hệ phụ thuộc trong quá trình tạo witness, việc thực hiện song song gặp một số thách thức.