Bài viết này chủ yếu giới thiệu phác thảo dự án và tiến triển mới nhất của Aleo, đồng thời đưa ra lời giải thích chi tiết về bản cập nhật thuật toán câu đố mà thị trường rất quan tâm.
Tác giả: Phòng thí nghiệm đáng tin cậy
Bìa: Aleo
Aleo là một dự án blockchain tập trung vào bảo vệ quyền riêng tư, đạt được quyền riêng tư và mở rộng cao hơn thông qua công nghệ Bằng chứng không tri thức (ZKP). Ý tưởng cốt lõi của Aleo là cho phép người dùng xác thực và xử lý dữ liệu mà không tiết lộ dữ liệu cá nhân của họ.
Bài viết này chủ yếu giới thiệu phác thảo dự án và tiến triển mới nhất của Aleo, đồng thời đưa ra lời giải thích chi tiết về bản cập nhật thuật toán câu đố mà thị trường rất quan tâm.
Xem nhanh thuật toán mới nhất ;) TLDR
Mạng Aleo tạo ngẫu nhiên một mạch ZK mỗi giờ; thợ đào cần thử các nonce khác nhau làm đầu vào của mạch trong giờ này, tính toán nhân chứng (nghĩa là tất cả các biến trong mạch, quá trình tính toán này còn được gọi là tổng hợp) và tìm gốc Merkle cho nhân chứng Cuối cùng, xác định xem nó có đáp ứng các yêu cầu về độ khó khai thác hay không. Do tính chất ngẫu nhiên của mạch nên thuật toán khai thác này không thân thiện với GPU và gặp khó khăn lớn trong việc tính toán khả năng tăng tốc.
Bối cảnh tài chính
Aleo đã hoàn thành vòng tài trợ Series A trị giá 28 triệu USD vào năm 2021, do a16z dẫn đầu và vòng tài trợ Series B trị giá 200 triệu USD vào năm 2024, với các nhà đầu tư bao gồm Kora Management, SoftBank Vision Fund 2, Tiger Global, Sea Capital, Slow Ventures và Samsung Tiếp theo, trong số những người khác. Vòng tài trợ này nâng mức định giá của Aleo lên 1,45 tỷ USD.
Tổng quan dự án
Sự riêng tư
Cốt lõi của Aleo là công nghệ Bằng chứng không tri thức(ZKP), cho phép thực hiện các giao dịch và thực hiện hợp đồng thông minh trong khi vẫn duy trì quyền riêng tư. Theo mặc định, 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. Thiết kế này không chỉ bảo vệ quyền riêng tư của người dùng mà còn cho phép tiết lộ có chọn lọc khi cần thiết, rất phù hợp cho việc phát triển ứng dụng DeFi. Các thành phần chính của nó bao gồm:
- Ngôn ngữ biên dịch Leo: phỏng theo ngôn ngữ Rust và được sử dụng đặc biệt để phát triển các ứng dụng không có kiến thức (ZKApps), giảm yêu cầu của nhà phát triển về kiến thức mật mã.
- snarkVM và snarkOS: snarkVM cho phép thực hiện các phép tính ngoài Chuỗi và chỉ kết quả tính toán mới được xác minh trên Chuỗi, do đó nâng cao hiệu quả. snarkOS đảm bảo tính bảo mật của dữ liệu và tính toán, đồng thời cho phép thực thi chức năng không cần cấp phép.
- zkCloud: Cung cấp hoàn cảnh điện toán ngoài Chuỗi an toàn và riêng tư, hỗ trợ lập trình tương tác giữa người dùng, tổ chức và DAO.
Aleo còn cung cấp hoàn cảnh 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ợ nhà phát triển viết và xuất bản ứng dụng nhanh chóng; ngoài ra, 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 dựa vào bên thứ ba, thuận tiện Giảm thiểu rủi ro nền tảng .
Mở rộng
Aleo áp dụng phương thức xử lý ngoài chuỗi. Giao dịch trước tiên được tính toán trên thiết bị của người dùng để chứng minh và sau đó chỉ có kết quả xác minh mới được tải lên blockchain. Phương pháp này cải thiện đáng kể tốc độ xử lý giao dịch và mở rộng của hệ thống, đồng thời tránh tắc nghẽn mạng và phí cao tương tự như Ethereum.
cơ chế đồng thuận
Aleo giới thiệu AleoBFT, một cơ chế đồng thuận kiến trúc kết hợp kết hợp tính hữu hạn tức thời của trình xác nhận với sức mạnh tính toán của trình chứng minh. AleoBFT không chỉ tăng phi tập trung của mạng mà còn nâng cao hiệu suất và bảo mật.
- Tính hữu hạn của khối nhanh: AleoBFT đảm bảo rằng mỗi khối được xác nhận ngay sau khi tạo, cải thiện tính ổn định nút và trải nghiệm người dùng.
- Đảm bảo phi tập trung: Bằng cách tách việc sản xuất khối khỏi việc tạo coinbase, người xác minh chịu trách nhiệm tạo các khối và người chứng minh thực hiện các phép tính bằng chứng để ngăn chặn một số thực thể độc quyền mạng.
- Cơ chế khích lệ: Người xác minh và người chứng nhận chia sẻ phần thưởng khối; người chứng nhận được khuyến khích trở thành người xác minh bằng cách cầm cố token, từ đó cải thiện khả năng phi tập trung và 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ế về gas , khiến nó đặc biệt phù hợp với các ứng dụng chạy lâu dài như học máy.
Tiến độ hiện tại
Aleo sẽ ra mắt mạng thử nghiệm khích lệ 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:
- Cuộc bỏ phiếu ARC-100 đã được thông qua: Cuộc bỏ phiếu cho Đề án ARC-100 ("Các phương pháp thực hành tốt nhất về tuân thủ dành cho nhà phát triển và nhà điều hành Aleo", liên quan đến các khía cạnh tuân thủ, khóa tiền trên mạng Aleo và thanh toán tiền chậm, v.v.) đã kết thúc và được thông qua . Đội ngũ đang thực hiện những điều chỉnh cuối cùng.
- Chương trình khích lệ người xác thực: Chương trình này sẽ được triển khai vào ngày 1 tháng 7 và được thiết kế để xác minh cơ chế giải đố mới. Chương trình sẽ kéo dài đến ngày 15 tháng 7, trong thời gian đó 1 triệu điểm Aleo sẽ được phân phối dưới dạng phần thưởng. Tỷ lệ phần trăm điểm được tạo bởi nút sẽ xác định phần thưởng thị phần của nó và mỗi người xác thực cần kiếm được ít nhất 100 token để nhận phần thưởng. Chi tiết cụ thể vẫn chưa được chốt.
- Nguồn cung ban đầu và nguồn cung lưu thông: Lượng cung ứng ban đầu là 1,5 tỷ token và nguồn cung lưu thông ban đầu là khoảng 10% (chưa hoàn tất). Token, chủ yếu có nguồn gốc từ nhiệm vụ của Coinbase (75 triệu), sẽ được phân phối trong sáu tháng đầu tiên và bao gồm phần thưởng cho việc đặt cược, chạy trình xác thực và xác thực nút.
- Testnet Beta Reset: Đây là lần reset mạng cuối cùng, khi hoàn thành sẽ không có tính năng mới nào được thêm vào và mạng sẽ tương tự như mainnet. Đặt lại để thêm ARC-41 và chức năng giải đố mới.
- Đóng băng mã: Việc đóng băng mã đã được 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, với mục tiêu tăng lên 50 trong năm và cuối cùng đạt 500. Cần 10.000 token để trở thành người ủy quyền và 10 triệu token để trở thành người xác thực và số tiền này sẽ giảm dần theo thời gian.
Giải thích các cập nhật thuật toán
Trong khi Aleo gần đây đã công bố tin tức mạng thử nghiệm mới nhất, nó cũng cập nhật phiên bản mới nhất của thuật toán câu đố. Thuật toán mới không còn tập trung vào việc tạo ra các kết quả chứng minh zk và đã loại bỏ MSM và NTT (cả hai đều là các phép tính được sử dụng lượng lớn trong zk. mô-đun đun tạo bằng chứng), những người tham gia mạng thử nghiệm trước đó đã tối ưu hóa hiệu quả của thuật toán để tăng lợi nhuận khai thác ), tập trung vào việc tạo ra các nhân chứng dữ liệu trung gian trước khi tạo bằng chứng. Chúng tôi sẽ giới thiệu ngắn gọn về thuật toán mới nhất sau khi tham khảo thông số và mã câu đố chính thức .
quá trình đồng thuận
Ở cấp độ giao thức đồng thuận, người chứng minh và người xác nhận trong quy trình này lần lượt chịu trách nhiệm tạo ra giải pháp kết quả tính toán và giải pháp tạo khối, tổng hợp và đóng gói. Quá trình này như sau:
- Prover tính toán các câu đố, xây dựng giải pháp và phát chúng lên mạng
- Trình xác thực tổng hợp các giao dịch và giải pháp vào 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 (MAX_SOLUTIONS)
- Tính hợp pháp của Giải pháp cần phải được xác minh rằng epoch_hash của nó tuân thủ với new_epoch_hash được duy trì bởi người xác nhận và proof_target được tính toán của nó phù hợp với new_proof_target được duy trì bởi người xác thực trong mạng. Đồng thời, số lượng giải pháp có trong khối. thấp 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
Câu đố tổng hợp
Cốt lõi của phiên bản mới nhất của thuật toán được gọi là Câu đố tổng hợp. Cốt lõi của nó là tạo ra một Chương trình Epoch chung cho mỗi kỷ nguyên. Bằng cách xây dựng mạch chứng minh R1CS cho đầu vào và Chương trình Epoch, nhiệm vụ R1CS tương ứng (nhân chứng được mọi người đề cập) là. được tạo và sử dụng làm cây Merkle, sau khi tính toán tất cả nút nút , tạo gốc Merkle và chuyển đổi nó thành proof_target của giải pháp. Quy trình và thông số kỹ thuật chi tiết để xây dựng Câu đố tổng hợp như sau:
- Mỗi phép tính câu đố đượ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à bộ đếm số ngẫu nhiên. Lần lần cần tính một giải pháp mới, bạn có thể nhận được một nonce mới bằng cách cập nhật bộ đếm.
- Trong mỗi kỷ nguyên, Chương trình Epoch mà tất cả bộ chuẩn trong mạng cần tính toán đều giống nhau. Nó được lấy mẫu từ tập lệnh theo số ngẫu nhiên được tạo bởi epoch_hash hiện tại. Logic lấy mẫu là:
- Tập lệnh là cố định. Mỗi lệnh chứa một hoặc nhiều thao tác tính toán. Mỗi lệnh có tỷ trọng và số lượng thao tác được đặt trước.
- Khi lấy mẫu, một số ngẫu nhiên được tạo dựa trên epoch_hash hiện tại. Theo số ngẫu nhiên, các lệnh được lấy từ tập lệnh và tỷ trọng và sắp xếp theo thứ tự.
- Kết hợp tất cả các hướng dẫn vào EpochProgram
- Sử dụng nonce làm hạt giống số ngẫu nhiên để tạo đầu vào của EpochProgram
- Tổng hợp R1CS và đầu vào tương ứng với EpochProgram và thực hiện phép tính nhân chứng (gán R1CS)
- Sau khi tính toán tất cả các nhân chứng, những nhân chứng này sẽ được chuyển đổi thành chuỗi nút lá của cây merkle tương ứng là cây K-ary Merkle 8 phần tử có độ sâu 8.
- Tính toán gốc merkle và chuyển đổi nó thành proof_target của giải pháp, đồng thời xác định xem nó có đáp ứng mục tiêu_proof_target mới nhất của kỷ nguyên hiện tại hay không. Nếu nó đáp ứng được phép tính thì phép tính sẽ thành công. Gửi địa chỉ phần thưởng, epoch_hash và bộ đếm cần thiết để xây dựng đầu vào. ở trên làm giải pháp và phát sóng nó.
- Trong cùng một kỷ nguyên, đầu vào của EpochProgram có thể được cập nhật bằng bộ đếm lặp để thực hiện lần phép tính giải pháp.
Những thay đổi và tác động khai thác
Sau bản cập nhật lần, câu đố đã thay đổi từ tạo bằng chứng sang tạo nhân chứng. Logic tính toán của tất cả các lời giải trong mỗi kỷ nguyên là như nhau, nhưng logic tính toán của các kỷ nguyên khác nhau hoàn toàn khác nhau.
Từ mạng thử nghiệm trước đó, chúng tôi có thể thấy rằng nhiều phương pháp tối ưu hóa tập trung vào việc sử dụng GPU để tối ưu hóa các tính toán MSM và NTT trong giai đoạn tạo bằng chứng nhằm cải thiện hiệu quả khai thác. Bản cập nhật lần đồng thời loại bỏ hoàn toàn phần tính toán này; đến quá trình tạo nhân chứng Do việc thực thi một chương trình thay đổi theo thời gian, các hướng dẫn trong đó sẽ có một số phụ thuộc vào việc thực hiện nối tiếp, do đó, việc đạt được sự song song hóa là một thách thức lớn.
Tuyên bố miễn trừ trách nhiệm: Là một nền tảng thông tin blockchain, các bài viết được xuất bản trên trang này chỉ thể hiện quan điểm cá nhân của tác giả và khách và không liên quan gì đến quan điểm của Web3Caff. Thông tin trong bài viết chỉ tham khảo và không cấu thành bất kỳ lời khuyên hay đề nghị đầu tư nào. Vui lòng tuân thủ luật pháp và quy định có liên quan của quốc gia hoặc khu vực nơi bạn sinh sống.
