PADO và AO cùng nhau ra mắt Máy tính bí mật có thể xác minh (VCC), cách mạng hóa tính bảo mật và tính toàn vẹn của chuỗi khối thông qua công nghệ zkFHE. zkFHE kết hợp mã hóa đồng cấu hoàn toàn (FHE) với bằng chứng không có kiến ​​thức (ZK) để đảm bảo quyền riêng tư, tính toàn vẹn tính toán và tính toán phổ quát. Tích hợp liền mạch với mạng AO và Arweave, mạng zkFHE của PADO sẽ đảm bảo tính hiệu quả, khả năng mở rộng và bảo vệ quyền riêng tư toàn diện của hệ sinh thái AO.

Tác giả: PADO

Được đánh giá bởi: 0xmiddle

PADO và AO sẽ hợp tác để lãnh đạo và triển khai Tính toán bí mật có thể xác minh, thay đổi hoàn toàn tính bảo mật và tính toàn vẹn của các ứng dụng blockchain thông qua công nghệ zkFHE. Chúng tôi rất vui mừng rằng điện toán bí mật có thể kiểm chứng của PADO sẽ được xây dựng trên máy tính siêu song song AO và chứng minh tiềm năng của điện toán bí mật được thúc đẩy bởi công nghệ zkFHE.

zkFHE là gì?

Thuật toán Mã hóa hoàn toàn đồng hình (FHE) cho phép thực hiện bất kỳ loại tính toán nào trên dữ liệu được mã hóa, do đó, nó rất phù hợp với các tình huống mà bạn thiếu sức mạnh tính toán và muốn mã hóa dữ liệu riêng tư và có sức mạnh tính toán của bên thứ ba (chẳng hạn như dịch vụ đám mây ) thực hiện các phép tính, thông thường loại kịch bản này được gọi là tính toán thuê ngoài. Tuy nhiên, thuật toán FHE đơn giản không thể đảm bảo rằng các hoạt động của bản mã (dựa trên các hoạt động đồng hình) được thực hiện bởi sức mạnh tính toán của bên thứ ba là đáng tin cậy. Nói cách khác, không ai có thể phân biệt được sự khác biệt giữa kết quả suy luận mô hình trung thực và kết quả ngẫu nhiên.

Do đó, làm thế nào để đảm bảo tính toàn vẹn của máy tính thuê ngoài của FHE và ngăn chặn các nút máy tính độc hại là một thách thức cốt lõi hạn chế ứng dụng quy mô lớn của thuật toán FHE.

Thuật toán bằng chứng không có kiến ​​thức (ZK) (ở đây được gọi cụ thể là zk-snarks) chủ yếu được sử dụng để mở rộng (chẳng hạn như zk-rollup) và quyền riêng tư. Một sự thật thú vị là thuật toán ZK không thể đạt được sự riêng tư trong các tình huống điện toán thuê ngoài. Điều này là do tính năng bảo mật của chính hệ thống ZK - bằng chứng về kiến ​​thức, có nghĩa là điều kiện tiên quyết để tạo ra bằng chứng ZK chính xác phải là người chứng minh có được. những thông tin bí mật liên quan (gọi là “nhân chứng”). Do đó, sức mạnh tính toán của bên thứ ba cần biết toàn bộ dữ liệu về quyền riêng tư của người dùng để hoàn thành việc tính toán bằng chứng ZK.

zkFHE dựa trên thuật toán FHE và thực hiện đồng thời việc chứng minh ZK trong quá trình tính toán để đảm bảo tính toàn vẹn và độ tin cậy của quá trình tính toán mà không lo rò rỉ dữ liệu riêng tư. zkFHE là một công nghệ mật mã mới kết hợp một cách hữu cơ hai công nghệ mã hóa nguyên thủy tiên tiến ZKP và FHE, đồng thời tận dụng các ưu điểm của cả hai để bổ sung cho nhau, từ đó cung cấp các phép tính thuê ngoài thực sự có thể kiểm chứng được.

Tóm lại, ở cấp độ tính toán dữ liệu cá nhân, ưu điểm cốt lõi của zkFHE là nó còn có:

Do đó, chúng tôi tin rằng zkFHE là công nghệ cơ bản để xây dựng nền kinh tế dữ liệu có thể kiểm chứng được trong kỷ nguyên Web3.

Triển khai zkFHE trên AO

Do đó, chúng tôi tin rằng zkFHE là công nghệ cơ bản để xây dựng nền kinh tế dữ liệu có thể kiểm chứng được trong kỷ nguyên Web3.

Triển khai zkFHE trên AO

Dựa trên công nghệ zkFHE, chúng tôi có thể tạo ra một thị trường máy tính bí mật không cần tin cậy và có thể xác minh, cung cấp cho người dùng cuối bất kỳ loại máy tính dữ liệu nào mà không lo rò rỉ thông tin nhạy cảm của người dùng. Các tính năng bảo mật tuyệt vời này hoàn toàn được đảm bảo bằng mật mã. Vì vậy, câu hỏi tiếp theo là chúng ta cần loại cơ sở hạ tầng và thành phần cơ bản nào để thực sự tập hợp thị trường máy tính này theo cách phi tập trung và có thể mở rộng?

Câu trả lời của PADO là xây dựng nó dựa trên máy tính siêu song song AO. Về mặt lý thuyết, AO có thể cung cấp sức mạnh tính toán gần như không giới hạn (trong tình huống thực tế, điều này phụ thuộc vào mức độ khuyến khích của mạng) và mức độ tự do cao hơn thông qua việc mở rộng các nút theo chiều ngang. Về mặt kiến ​​trúc, AO tiêu chuẩn hóa các phương pháp xử lý dữ liệu và biểu thức thông báo. sắp xếp, lập kế hoạch và tính toán thông tin thông qua ba đơn vị mạng (mạng con), cũng như tiêu chuẩn hóa các phương pháp và chức năng của các đơn vị khác nhau. Dữ liệu trạng thái của quy trình AO được lưu trữ trên chuỗi khối Arweave và đã được xác nhận bằng sự đồng thuận, điều này cung cấp nền tảng tốt cho việc phân cấp và xác minh của AO. Việc tách rời sự đồng thuận về tính toán và lưu trữ trong thiết kế AO có thể đạt được khả năng tính toán có khả năng mở rộng ở mức độ cao.

PADO sẽ dần dần xây dựng một đơn vị điện toán phi tập trung dựa trên AO để cung cấp khả năng tính toán bí mật không cần tin cậy cho hệ sinh thái AO. Đồng thời, PADO cũng nhận ra tiềm năng khởi động mạng nhanh chóng và mở rộng theo chiều ngang. Quan trọng hơn, PADO sẽ sử dụng chuỗi khối Arweave làm lớp lưu trữ dữ liệu về quyền riêng tư của người dùng. Người dùng có thể sử dụng công nghệ zkFHE của PADO để mã hóa dữ liệu của riêng họ và lưu trữ dữ liệu đó một cách an toàn trên chuỗi khối Arweave. Mọi yêu cầu điện toán trong hệ sinh thái AO sẽ được gửi đi. tới đơn vị tính toán độc quyền của PADO thông qua đơn vị lập kế hoạch AO và đơn vị tính toán cung cấp các nhiệm vụ tính toán cho nút tính toán zkFHE. Sau khi các nút điện toán này đọc dữ liệu bản mã của người dùng trên Arweave, chúng sẽ hoàn thành các phép tính đồng cấu hoàn toàn tương ứng và bằng chứng về tính toàn vẹn tính toán.

Ứng dụng của zkFHE

zkFHE có thể hỗ trợ bất kỳ loại tính toán văn bản mã hóa nào, phá vỡ giới hạn hạn chế về quyền riêng tư hiện tại trong các ứng dụng blockchain và cho phép các kịch bản rộng hơn và phong phú hơn. Các ứng dụng điển hình của zkFHE bao gồm thanh toán, bỏ phiếu, đấu giá, MEV, chia sẻ nội dung, bảo vệ quyền riêng tư AI và nhiều lĩnh vực khác.

Sự phát triển điện toán được thúc đẩy bởi PADO và AO

Là một công nghệ mã hóa tiên tiến mang tính đột phá, zkFHE không chỉ đơn giản là sự kết hợp của hai thuật toán zkSNARK và FHE mà thay vào đó, nó cần được thiết kế lại và tối ưu hóa trên giao thức mã hóa cơ bản để đạt được các phép tính với hiệu quả tương tự như thuật toán FHE hàng đầu hiện nay. và đầu ra bằng chứng.

Được kết hợp một cách hữu cơ với kiến ​​trúc điện toán và lưu trữ của AO và Arweave, PADO có thể nhanh chóng khởi động mạng zkFHE trong kỹ thuật. Tính toán, lập lịch và lưu trữ tương đối độc lập và sức mạnh tính toán có thể được mở rộng vô hạn. Mặt khác, hệ sinh thái AO cũng có thể có được khả năng tính toán bí mật và bảo vệ quyền riêng tư chung hiệu suất cao thông qua công nghệ zkFHE của PADO.

PADO từ lâu đã cam kết xây dựng cơ sở hạ tầng mật mã để bảo vệ chủ quyền dữ liệu cá nhân. Mặc dù chủ quyền dữ liệu cá nhân vẫn còn ở giai đoạn đầu nhưng nó cũng sẽ trải qua một thời gian dài tìm hiểu và xác minh và sẽ là chìa khóa để dự án Web3 vượt ra ngoài lĩnh vực phi tài chính. Chúng tôi tin rằng sự kết hợp với máy tính siêu song song AO sẽ đẩy nhanh đáng kể chu trình xây dựng chủ quyền dữ liệu cá nhân và nền kinh tế dữ liệu có thể kiểm chứng.

Hy vọng rằng trong tương lai, mọi người dùng đều có thể bảo vệ chủ quyền dữ liệu của mình thông qua blockchain và mật mã.

Giới thiệu về AO

AO là một "máy tính siêu song song" với mục tiêu cốt lõi là cung cấp các dịch vụ điện toán cộng tác và không cần tin cậy mà không có bất kỳ giới hạn quy mô thực tế nào. Nó kết hợp các lợi ích giảm thiểu độ tin cậy của mạng blockchain với tốc độ và khả năng mở rộng của các môi trường điện toán truyền thống hơn.

Một số tính năng cốt lõi giúp phân biệt AO với các hệ thống điện toán phân tán bao gồm xử lý song song, tính toán không giới hạn, đọc/ghi vào Arweave, quy trình tự động và kiến ​​trúc mô-đun.

Để biết thêm thông tin, vui lòng truy cập

Một số tính năng cốt lõi giúp phân biệt AO với các hệ thống điện toán phân tán bao gồm xử lý song song, tính toán không giới hạn, đọc/ghi vào Arweave, quy trình tự động và kiến ​​trúc mô-đun.

Để biết thêm thông tin, vui lòng truy cập

https://ao.arweave.dev

Giới thiệu về PADO

PADO cam kết xây dựng mạng điện toán phi tập trung zkFHE đầu tiên trên thế giới để giải phóng dữ liệu và giá trị điện toán thông qua mật mã.

PADO sử dụng công nghệ MPC-TLS và IZK để xác minh dữ liệu riêng tư từ các nguồn dữ liệu mạng và mở rộng chức năng hợp đồng thông minh. Để tính toán dữ liệu cá nhân, PADO đạt được mô hình điện toán bí mật có thể kiểm chứng trên dữ liệu lớn bằng cách kết hợp nó với các công nghệ điện toán chung như zkFHE.

Để biết thêm thông tin, vui lòng truy cập

https://padolabs.org

🔗 Giới thiệu về PermaDAO: Trang web Twitter Telegram |

💡 Cộng đồng PermaDAO được khởi xướng bởi everVision và được tài trợ bởi Forward Research (chính thức của Arweave). Đây là một "cộng đồng đồng xây dựng" được xây dựng xoay quanh chủ đề lưu trữ đồng thuận của Arweave. Tất cả công việc của những người đóng góp sẽ trở thành sự đồng thuận về dữ liệu. Hãy bắt đầu với “sự đồng thuận dữ liệu” và khám phá một mô hình mới về cộng tác làm việc giữa những người lạ — các tổ chức tự trị phi tập trung.

Kế hoạch “bắt lỗi”

Nếu bạn phát hiện lỗi trong bài viết này, bao gồm lỗi chính tả, câu sai, mô tả không chính xác, ý nghĩa không rõ ràng, mô tả dư thừa hoặc các vấn đề khác, bạn có thể phản hồi cho chúng tôi và chúng tôi sẽ được khen thưởng. Bấm vào " đây " để đưa ra phản hồi.

Thời hạn hiệu lực của phản hồi: trong vòng 30 ngày kể từ ngày bài viết được đăng.