Xin chào các bạn, Xin chào tất cả mọi người! Tôi nhiệt liệt chào mừng bạn đến với kênh của tôi, liên hệ với ông Atlas. Bài viết hôm nay sẽ dành cho một dự án độc đáo và rất hứa hẹn nhận được nhiều sự ủng hộ, cả từ phía người dùng và từ phía các nhà đầu tư, và đây là Aleo . Và nói chính xác hơn, trong vấn đề này

chúng tôi sẽ xem xét những tin tức mới nhất về dự án này . Tôi khuyên bạn nên đọc hết bài viết này, bởi vì: Thông tin rất thú vị và đáng tin cậy, và bạn thân mến, là người đầu tiên tìm hiểu về nó. Vì vậy, chúng ta hãy đi!

☯️Yêu cầu từ nhóm:

Chúng tôi vui mừng thông báo về giai đoạn thứ hai của Aleo Testnet 3! Trong bản phát hành này, chúng tôi sẽ triển khai nhiều tính năng chính được mô tả trong lộ trình ban đầu của chúng tôi cho Testnet 3, chẳng hạn như triển khai và thực thi các chương trình do người dùng xác định và một câu đố để thúc đẩy sự phát triển của phần cứng xác minh zkSNARK.

Vậy các bạn ơi, giờ các bạn đã hiểu: Đợt ra mắt sẽ khá thú vị :)

Để tìm hiểu sâu hơn một chút về thời điểm này, tôi khuyên bạn nên bắt đầu với những điều cơ bản…

☯️ Aleo là gì?

Aleo là một chuỗi khối cấp 1 mới sử dụng mật mã không kiến ​​thức để cho phép các ứng dụng phi tập trung riêng tư và có thể mở rộng.

‌ Nhóm Aleo, hiểu rằng trong kiến ​​trúc (chương trình) của họ không được thực thi theo chuỗi; thay vào đó, người dùng thực hiện chương trình ngoại tuyến và đăng zkSNARK (bằng chứng ngắn hạn về kiến ​​thức không) lên chuỗi chứng minh việc thực thi chính xác theo cách bảo vệ quyền riêng tư.

Bước tiếp theo được chuỗi thực hiện là kiểm tra các bằng chứng ngắn tại một thời điểm (không phụ thuộc) vào thời gian chạy của chương trình.

Nhưng! Nếu mọi việc suôn sẻ, dự án đã được niêm yết trên sàn chứng khoán

‌ Kế hoạch hoạt động tốt 100%, ngoại trừ một lỗi nhỏ: tạo bằng chứng về việc thực hiện đúng chương trình mà không cần biết có thể tốn kém hơn nhiều lần so với việc chỉ thực hiện trực tiếp chương trình. Đối với nhiều ứng dụng hữu ích (chẳng hạn như thanh toán), chi phí chung này có thể được quản lý ngay cả khi kiểm tra trên một thiết bị phổ biến như điện thoại di động hoặc máy tính xách tay.

Khi chúng ta sử dụng các ứng dụng chuyên sâu về tính toán hơn, chẳng hạn như học máy, trò chơi hoặc xác thực, chi phí xác minh trên các thiết bị tiêu chuẩn có thể bị cấm

Và điều này làm cho những trường hợp sử dụng này không thể đạt được.

Tất nhiên, khoảnh khắc đó không đủ dễ chịu, nhưng tôi sẽ tiếp tục, bởi vì:

‌Tuy nhiên, thiết kế của Aleo cho phép khách hàng chọn có thuê ngoài việc tạo bằng chứng cho “dịch vụ xác thực” của bên thứ ba hay không , dịch vụ này có thể có nhiều tài nguyên máy tính hơn để giúp tính toán zkSNARK cho các phép tính lớn hơn.

Ví dụ:

​​chẳng hạn như bộ xử lý có nhiều lõi, dung lượng RAM lớn hoặc thậm chí là phần cứng đặc biệt để xác minh.

Chỉ khi đó, vấn đề mới trở nên kích thích sự phát triển của các cấu trúc bằng chứng tốt hơn. Giải quyết vấn đề cuối cùng này là một trong những động lực chính đằng sau sự phát triển của thuật toán đồng thuận mới của Aleo, AleoBFT. Ở cấp độ cao, AleoBFT là một kiến ​​trúc kết hợp sử dụng bằng chứng cổ phần để đạt được tính hữu hạn ngay lập tức cho việc xác nhận khối và cũng sử dụng câu đố coinbase bằng chứng công việc để thưởng cho việc phát triển các phương pháp tạo bằng chứng nhanh hơn.

Các thuê bao, chúng tôi cũng đồng hành cùng bạn, chúng ta sẽ đi sâu hơn vào chi tiết của mật mã này. Cho nên…

☯️GIỚI THIỆU Câu đố về Coinbase?

‌ Câu đố coinbase là một câu đố bằng chứng công việc được thiết kế để thúc đẩy sự phát triển của phần mềm và phần cứng nhanh hơn nhằm tạo ra bằng chứng không cần kiến ​​thức.

Đó là?

Để đạt được điều này, câu đố coinbase của chúng tôi có hai tính năng độc đáo (mà chúng tôi sẽ tập trung vào đầu tiên).

Tính năng độc đáo:

‌_Cryptographic_Function:

⚡️không giống như PoW truyền thống như bạn tìm thấy trong Bitcoin hoặc Ethereum, câu đố coinbase yêu cầu tạo ra các quy trình hiệu quả cho các thuật toán “hữu ích” cho các thành phần phụ chính của xác thực zkSNARK.

‌ _Tính năng_Kinh tế:

⚡️không giống như PoW truyền thống, trong đó mỗi khối chỉ có thể chứa một giải pháp câu đố hợp lệ, câu đố coinbase của chúng tôi chấp nhận nhiều giải pháp hợp lệ trên mỗi khối, ngăn chặn người chiến thắng ăn tất cả và dẫn đến phân phối phần thưởng bằng chứng rộng hơn.

Các bạn, bây giờ chúng ta cần tập trung 100% vào thiết kế của câu đố, liên quan đến phần mật mã, vì vậy:

☯️Thiết kế câu đố?

Điều đầu tiên chúng ta sẽ chú ý là: Hướng dẫn thiết kế nhanh zkSNARK.

⚡️Thời gian tạo bằng chứng trong zkSNARK hiện đại bị chi phối bởi thời gian xác minh hai thành phần phụ: IOP đa thức và sơ đồ cam kết đa thức.

Tức là câu đố coinbase này kích thích hiệu quả khả năng tăng tốc của các thành phần phụ này.

Nếu chúng ta xem xét quy trình giao thức bao gồm hai bước, chúng ta sẽ nhận thấy:

_ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _

‌ (1) Tạo giải pháp (Prover)

Để tạo một biến thể giải pháp, trình xác minh tạo (từ phần tử một lần) và nhân một đa thức ngẫu nhiên, sau đó sửa đa thức tích kết quả bằng cách sử dụng lược đồ cam kết đa thức (trong trường hợp của chúng tôi là lược đồ KZG10). Cam kết kết quả này sau đó được băm và nếu hàm băm này phù hợp với độ phức tạp của mục tiêu, thì đó là một giải pháp hợp lệ có thể được gửi tới bộ tổng hợp (cùng với bằng chứng về điểm số để tổng hợp hiệu quả).

Mặc dù vậy , câu đố kết quả bao gồm 2 phần tử nhóm và 1 phần tử trường, một địa chỉ và một nonce, và có thể được kiểm tra trong phép nhân và ghép trường D, trong đó D là bậc của đa thức được tạo.

_ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _

‌ (2) Tổng hợp các giải pháp hợp lệ (BFT Leader)

Mặc dù bất kỳ ai cũng có thể xác minh lời giải câu đố hợp lệ, nhưng việc thêm từng lời giải câu đố vào chuỗi sẽ làm tăng trạng thái.

Để tránh điều này ở giai đoạn này, câu đố coinbase này cho phép người dẫn đầu BFT thu thập các giải pháp hợp lệ. Nhóm sẽ không đi sâu vào chi tiết cách thực hiện điều này, nhưng kết quả chung là lưu trữ mạng phụ thuộc vào chi phí của n + 1 phần tử mảng và 1 phần tử mảng là một cải tiến đáng kể. Là một lợi ích phụ, việc kiểm tra câu đố cũng nhanh hơn.

Chà, các bạn, sau rất nhiều thông tin, tôi đề nghị tóm tắt mọi thứ. Cho nên..

☯️TÓM TẮT:

Dựa trên cuộc thảo luận của chúng ta, AleoBFT là một cơ chế đồng thuận mới kết hợp tính hữu hạn của bằng chứng cổ phần với cơ chế khuyến khích bằng chứng công việc mạnh mẽ. Nếu bạn lấy trường hợp của chúng tôi, câu đố coinbase sẽ kích thích khả năng tăng tốc của bằng chứng zkSNARK. Tôi thấy công việc này hữu ích vì nó chuyển trực tiếp sang chạy bất kỳ chương trình nào khác trong Aleo.

Trên cơ sở đó, với cơ chế này, chúng tôi hy vọng sẽ kích thích một hệ sinh thái xác minh mạnh mẽ sẽ mang lại lợi ích cho người dùng Aleo bằng cách giảm chi phí và độ trễ của ứng dụng (thật tuyệt vời, đồng ý)

​Động viên khích lệ?

Và cuối cùng, đối với những người kiên nhẫn nhất, tôi đã chuẩn bị một tin tốt lành. Vì giai đoạn này của mạng thử nghiệm sẽ được khuyến khích. Và điều này có thể là bất cứ điều gì (vì vậy tôi khuyên bạn nên vượt qua testnet này)

Bạn bè, tôi sẽ có tất cả mọi thứ về điều này. Tôi rất vui khi được phục vụ bạn. Hẹn gặp lại các bạn trong số tiếp theo!

Aleo:

Trang web | Twitter | Bất hòa | GitHub