Aleo: Sử dụng công nghệ zk-SNARK để thực hiện Blockchain bảo vệ quyền riêng tư.
Aleo là một dự án Blockchain tập trung vào bảo vệ quyền riêng tư, nâng cao tính riêng tư và khả năng mở rộng thông qua công nghệ zk-SNARK (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 cần tiết lộ dữ liệu cá nhân.
Tiến triển mới nhất của dự án
Mạng Aleo tạo ra một mạch ZK ngẫu nhiên mỗi giờ. Thợ mỏ cần thử nghiệm các nonce khác nhau như là đầu vào của mạch trong khoảng thời gian một giờ, tính toán witness( tức là tất cả các biến trong mạch, quá trình này cũng được gọi là synthesize), yêu cầu Merkle root cho witness, sau đó kiểm tra xem có đáp ứng yêu cầu độ khó khai thác hay không. Do tính ngẫu nhiên của mạch, thuật toán khai thác này không thân thiện với GPU, có nhiều thách thức trong việc tăng tốc tính toán.
Tình hình tài chính
Aleo đã hoàn thành vòng gọi vốn Series A trị giá 28 triệu USD do a16z dẫn dắt vào năm 2021. Năm 2024, công ty lại hoàn thành vòng gọi vốn Series B trị giá 200 triệu USD, với các nhà đầu tư bao gồm Kora Management, SoftBank Vision Fund 2, Tiger Global, Sea Capital, Slow Ventures và Samsung Next. Vòng gọi vốn này đã đưa giá trị của Aleo lên tới 1.45 tỷ USD.
Đặc điểm cốt lõi của dự án
Bảo vệ quyền riêng tư
Cốt lõi của Aleo là công nghệ zk-SNARK (ZKPs), cho phép thực hiện giao dịch và hợp đồng thông minh trong khi vẫn giữ được tính riêng tư. Chi tiết giao dịch của người dùng, như người gửi và số tiền giao dịch, mặc định sẽ bị ẩn. 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 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 ngôn ngữ Rust, chuyên dùng để phát triển ứng dụng zk(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 chuỗi, chỉ xác minh kết quả tính toán trên chuỗi, từ đó 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 (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, từ đó 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 thực lên Blockchain. Cách làm 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à chi phí cao như trên Ethereum.
Cơ chế đồng thuận
Aleo đã giới thiệu AleoBFT, đây là 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 xác nhận 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.
Khối nhanh chóng được xác nhận cuối cùng: AleoBFT đảm bảo mỗi khối ngay sau khi được tạo ra sẽ được xác nhận ngay lập tức, nâng cao tính ổn định của các 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ới việc tạo ra coinbase, các nhà xác thực chịu trách nhiệm tạo ra khối, các nhà 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 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 cho các ứng dụng cần chạy trong thời gian dài như học máy.
Tin tức phát triển mới nhất
ARC-100 bỏ phiếu thông qua: Các biện pháp an ninh liên quan đến tuân thủ, việc khóa tài sản trên mạng Aleo và thời gian thanh toán trễ đã được thông qua, đội ngũ đ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 nhận: sẽ được khởi động vào ngày 1 tháng 7, nhằm xác minh cơ chế puzzle mới. Chương trình sẽ chạy đến ngày 15 tháng 7, trong thời gian đó sẽ phân bổ 1 triệu điểm Aleo làm phần thưởng.
Cung cấp token: Tổng cung ban đầu là 1,5 tỷ token, lượng cung lưu hành ban đầu khoảng 10%( chưa được xác định cuối cùng). Các token này chủ yếu đến từ nhiệm vụ Coinbase(7500 triệu), sẽ được phân phối trong sáu tháng đầu, đồng thời bao gồm thưởng cho việc stake, vận hành xác nhận viên và nút xác thực.
Testnet Beta reset: Đây là lần cuối cùng mạng được đặt lại, sau khi hoàn thành sẽ không thêm các 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 minh: Số lượng nút xác minh 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 minh 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 puzzle mới nhất của Aleo có tên là Synthesis Puzzle, với các đặc điểm chính như sau:
Mỗi epoch đều tạo ra một EpochProgram chung.
Bằng cách xây dựng mạch chứng R1CS cho đầu vào và EpochProgram, tạo ra assignment R1CS tương ứng ( tức là witness ) và làm nút lá của cây Merkle.
Tính toán ra tất cả các nút lá sau đó tạo ra Merkle root và chuyển đổi thành proof_target của solution.
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.
EpochProgram được tạo ra từ số ngẫu nhiên do epoch_hash hiện tại sinh ra từ tập lệnh.
Sử dụng nonce làm hạt giống số 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.
Tính toán merkle root và kiểm tra xem nó có thỏa mãn latest_proof_target của epoch hiện tại hay không.
Cập nhật này đã chuyển đổi puzzle từ việc tạo proof sang tạo witness, logic tính toán của tất cả các 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 đó, tạo ra một thách thức mới cho việc tối ưu hóa GPU. Do có các mối quan hệ 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 cũng gặp không ít khó khăn.
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.
10 thích
Phần thưởng
10
6
Chia sẻ
Bình luận
0/400
ExpectationFarmer
· 17giờ trước
Khai thác thật sự khó quá phải không?
Xem bản gốcTrả lời0
ShitcoinConnoisseur
· 17giờ trước
zk đang hot thế, mua chút cho đỡ bất ngờ.
Xem bản gốcTrả lời0
ChainDoctor
· 17giờ trước
Cái này lại thổi lên trời rồi.
Xem bản gốcTrả lời0
GateUser-5b799ff7
· 17giờ trước
cũ quá rồi
Xem bản gốcTrả lời0
LuoGeMade1MillionDo
· 17giờ trước
Tôi cậy, tuyệt vời quá, nhiều tổ chức lớn như vậy, một tỷ vốn hóa thị trường quá thấp rồi😍😍😍
Aleo chuỗi riêng tư hoàn thành vòng tài chính định giá 1.45 tỷ đô la, công nghệ zk-SNARK dẫn đầu Web3
Aleo: Sử dụng công nghệ zk-SNARK để thực hiện Blockchain bảo vệ quyền riêng tư.
Aleo là một dự án Blockchain tập trung vào bảo vệ quyền riêng tư, nâng cao tính riêng tư và khả năng mở rộng thông qua công nghệ zk-SNARK (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 cần tiết lộ dữ liệu cá nhân.
Tiến triển mới nhất của dự án
Mạng Aleo tạo ra một mạch ZK ngẫu nhiên mỗi giờ. Thợ mỏ cần thử nghiệm các nonce khác nhau như là đầu vào của mạch trong khoảng thời gian một giờ, tính toán witness( tức là tất cả các biến trong mạch, quá trình này cũng được gọi là synthesize), yêu cầu Merkle root cho witness, sau đó kiểm tra xem có đáp ứng yêu cầu độ khó khai thác hay không. Do tính ngẫu nhiên của mạch, thuật toán khai thác này không thân thiện với GPU, có nhiều thách thức trong việc tăng tốc tính toán.
Tình hình tài chính
Aleo đã hoàn thành vòng gọi vốn Series A trị giá 28 triệu USD do a16z dẫn dắt vào năm 2021. Năm 2024, công ty lại hoàn thành vòng gọi vốn Series B trị giá 200 triệu USD, với các nhà đầu tư bao gồm Kora Management, SoftBank Vision Fund 2, Tiger Global, Sea Capital, Slow Ventures và Samsung Next. Vòng gọi vốn này đã đưa giá trị của Aleo lên tới 1.45 tỷ USD.
Đặc điểm cốt lõi của dự án
Bảo vệ quyền riêng tư
Cốt lõi của Aleo là công nghệ zk-SNARK (ZKPs), cho phép thực hiện giao dịch và hợp đồng thông minh trong khi vẫn giữ được tính riêng tư. Chi tiết giao dịch của người dùng, như người gửi và số tiền giao dịch, mặc định sẽ bị ẩn. 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 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 ngôn ngữ Rust, chuyên dùng để phát triển ứng dụng zk(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 chuỗi, chỉ xác minh kết quả tính toán trên chuỗi, từ đó 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 (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, từ đó 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 thực lên Blockchain. Cách làm 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à chi phí cao như trên Ethereum.
Cơ chế đồng thuận
Aleo đã giới thiệu AleoBFT, đây là 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 xác nhận 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.
Khối nhanh chóng được xác nhận cuối cùng: AleoBFT đảm bảo mỗi khối ngay sau khi được tạo ra sẽ được xác nhận ngay lập tức, nâng cao tính ổn định của các 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ới việc tạo ra coinbase, các nhà xác thực chịu trách nhiệm tạo ra khối, các nhà 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 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 cho các ứng dụng cần chạy trong thời gian dài như học máy.
Tin tức phát triển mới nhất
ARC-100 bỏ phiếu thông qua: Các biện pháp an ninh liên quan đến tuân thủ, việc khóa tài sản trên mạng Aleo và thời gian thanh toán trễ đã được thông qua, đội ngũ đ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 nhận: sẽ được khởi động vào ngày 1 tháng 7, nhằm xác minh cơ chế puzzle mới. Chương trình sẽ chạy đến ngày 15 tháng 7, trong thời gian đó sẽ phân bổ 1 triệu điểm Aleo làm phần thưởng.
Cung cấp token: Tổng cung ban đầu là 1,5 tỷ token, lượng cung lưu hành ban đầu khoảng 10%( chưa được xác định cuối cùng). Các token này chủ yếu đến từ nhiệm vụ Coinbase(7500 triệu), sẽ được phân phối trong sáu tháng đầu, đồng thời bao gồm thưởng cho việc stake, vận hành xác nhận viên và nút xác thực.
Testnet Beta reset: Đây là lần cuối cùng mạng được đặt lại, sau khi hoàn thành sẽ không thêm các 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 minh: Số lượng nút xác minh 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 minh 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 puzzle mới nhất của Aleo có tên là Synthesis Puzzle, với các đặc điểm chính như sau:
Mỗi epoch đều tạo ra một EpochProgram chung.
Bằng cách xây dựng mạch chứng R1CS cho đầu vào và EpochProgram, tạo ra assignment R1CS tương ứng ( tức là witness ) và làm nút lá của cây Merkle.
Tính toán ra tất cả các nút lá sau đó tạo ra Merkle root và chuyển đổi thành proof_target của solution.
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.
EpochProgram được tạo ra từ số ngẫu nhiên do epoch_hash hiện tại sinh ra từ tập lệnh.
Sử dụng nonce làm hạt giống số 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.
Tính toán merkle root và kiểm tra xem nó có thỏa mãn latest_proof_target của epoch hiện tại hay không.
Cập nhật này đã chuyển đổi puzzle từ việc tạo proof sang tạo witness, logic tính toán của tất cả các 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 đó, tạo ra một thách thức mới cho việc tối ưu hóa GPU. Do có các mối quan hệ 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 cũng gặp không ít khó khăn.