Một trong những yếu tố quan trọng nhất quyết định liệu điện toán đám mây có thể được sử dụng rộng rãi hay không là độ tin cậy của nó. Trong quá trình ứng dụng thực tế, mọi dữ liệu trên điện toán đám mây phải đầy đủ, đồng thời trong quá trình thực thi chương trình phải có độ chính xác cao để có thể mở rộng phạm vi ứng dụng của điện toán đám mây một cách hiệu quả. Ngoài ra, giao thức điện toán đám mây có thể đánh giá tất cả các kết quả phản hồi trên máy chủ và máy chủ từ xa không cần phải vận hành lại các quy trình liên quan. Trong những năm gần đây, điện toán có thể kiểm chứng đã thu hút được sự quan tâm lớn của các nhà nghiên cứu và trở thành xu hướng chính trong việc phát triển điện toán đám mây đáng tin cậy.

Được dẫn dắt bởi Grigore Rosu, giáo sư khoa học máy tính tại Đại học Illinois ở Urbana-Champaign, Pi Squared là một công ty tập trung vào việc cho phép tính toán có thể kiểm chứng thông qua công nghệ không có kiến ​​thức. Ý tưởng cốt lõi của Pi Squared bắt nguồn từ nhiều năm nghiên cứu của Rosu trong học viện. Ông đã cùng các sinh viên của mình khám phá công nghệ này trong nhiều năm và cuối cùng hình thành nên khái niệm về Pi Squared.

Theo những người trong ngành, nếu Pi Squared thành công, nó sẽ cách mạng hóa điện toán có thể kiểm chứng. Công nghệ này sẽ không chỉ được sử dụng trong Lớp thanh toán chung (USL) của chuỗi khối và điện toán đám mây đáng tin cậy mà còn được mở rộng sang các lĩnh vực khoa học xác minh. và kiến ​​thức. Và hoạt động trên tất cả các ngôn ngữ và máy ảo, vốn đã chính xác và nhanh chóng.

Có thể nói các kịch bản ứng dụng và không gian giá trị của Pi Squared rất giàu trí tưởng tượng.

Trước khi tìm hiểu thêm về Pi Squared, trước tiên cần phải hiểu một số dự án đổi mới khác dựa trên công nghệ ZK, cũng như sự khác biệt và mối liên hệ của chúng với Pi Squared.

01

Phân tích sản phẩm cạnh tranh

ZKsync

ZKsync là một giải pháp mở rộng quy mô Ethereum tận dụng công nghệ ZK-rollup để đạt được thông lượng cao và phí giao dịch thấp. Nó đạt được khả năng mở rộng bằng cách gộp nhiều giao dịch và tạo bằng chứng ZK. Ưu điểm chính của ZKsync là tốc độ và phí giao dịch giảm đáng kể trong khi vẫn duy trì tính bảo mật của Ethereum.

ZK-bản địa

ZK-native đề cập đến những blockchain sử dụng công nghệ chứng minh không có kiến ​​thức từ thiết kế cơ bản. Các chuỗi khối này thường có khả năng nén dữ liệu và bảo vệ quyền riêng tư mạnh mẽ hơn, chẳng hạn như Giao thức StarkNet và Mina. Họ đảm bảo tính riêng tư và hiệu quả của các giao dịch và dữ liệu bằng cách tích hợp trực tiếp công nghệ ZK ở cấp độ giao thức.

Chuỗi ZK

ZK-native đề cập đến những blockchain sử dụng công nghệ chứng minh không có kiến ​​thức từ thiết kế cơ bản. Các chuỗi khối này thường có khả năng nén dữ liệu và bảo vệ quyền riêng tư mạnh mẽ hơn, chẳng hạn như Giao thức StarkNet và Mina. Họ đảm bảo tính riêng tư và hiệu quả của các giao dịch và dữ liệu bằng cách tích hợp trực tiếp công nghệ ZK ở cấp độ giao thức.

Chuỗi ZK

Chuỗi ZK đề cập đến những hệ thống blockchain sử dụng công nghệ chứng minh không có kiến ​​thức làm thành phần cốt lõi. Các hệ thống này thường được thiết kế để cải thiện khả năng bảo vệ quyền riêng tư và khả năng mở rộng của các chuỗi khối, chẳng hạn như Aztec và Zcash. ZK Chain cung cấp cho người dùng khả năng bảo vệ quyền riêng tư mạnh mẽ và khả năng xử lý giao dịch hiệu quả bằng cách sử dụng các công nghệ như ZK-SNARK hoặc ZK-STARK.

Sự khác biệt chính giữa Pi Squared và các công nghệ nêu trên là tính linh hoạt và phương pháp xác minh của nó. Trong khi ZKsync, ZK-native và ZK Chain đều tập trung vào việc cải thiện hiệu suất và bảo vệ quyền riêng tư cho các chuỗi khối cụ thể thì Pi Squared cung cấp khả năng xác minh phổ quát cho tất cả các chuỗi khối, máy ảo và ngôn ngữ lập trình thông qua Lớp giải quyết chung (USL) của nó. . Công nghệ PoP của Pi Squared không chỉ phù hợp với blockchain mà còn có thể được mở rộng sang các lĩnh vực điện toán khác để đạt được tính toán phổ biến thực sự.

02

USL: Con át chủ bài của Pi Squared

Sản phẩm đầu tiên của Pi Squared là Lớp thanh toán chung (USL), một kiến ​​trúc chuỗi khối mô-đun với các tính năng cốt lõi sau:

(1) Tính phổ quát

USL hỗ trợ tính toán bằng bất kỳ ngôn ngữ hoặc máy ảo nào mà không cần trình biên dịch. Điều này có nghĩa là các nhà phát triển có thể sử dụng ngôn ngữ lập trình quen thuộc của họ để giải quyết giao dịch blockchain.

(2) Tính đúng đắn có thể chứng minh được

USL xác minh tính chính xác của các phép tính thông qua bằng chứng toán học và bất kỳ thực thể bên ngoài nào cũng có thể xác minh một cách độc lập tính chính xác của trạng thái USL.

(3) Giảm thiểu cơ sở tin cậy

USL thể hiện một cách minh bạch các giả định về độ tin cậy trong các phép tính ở lớp trên, cuối cùng là giảm thiểu cơ sở tin cậy thông qua bằng chứng về tính chính xác, đồng thời tăng độ tin cậy và tính minh bạch của người dùng.

(4) Khả năng tương tác của ứng dụng

USL hỗ trợ khả năng tương tác giữa các mô-đun ứng dụng và mạng khác nhau, chẳng hạn như tương tác giữa các chuỗi ứng dụng.

(5) Độ chắc chắn và độ lặp lại

Quá trình xác minh của USL mang tính quyết định và có thể được lặp lại một cách độc lập bởi bất kỳ tổ chức bên ngoài nào.

Kiến trúc USL của Pi Squared bao gồm nhiều lớp và thành phần, mỗi lớp đóng một vai trò quan trọng trong việc cho phép tính toán hiệu quả và có thể kiểm chứng.

Đầu tiên, lớp tính toán

Lớp điện toán nằm ở trên cùng của kiến ​​trúc và là nơi các ngôn ngữ và máy ảo khác nhau thực hiện các phép tính. Bao gồm công cụ thực hiện giao dịch, chuỗi ứng dụng đầy đủ chức năng và các bản tổng hợp thực hiện. Các phép tính trong lớp điện toán có thể rất phức tạp và môi trường có thể thực hiện tối ưu hóa và xử lý song song của riêng nó mà không cần USL cần hiểu cách thực hiện các phép tính này.

Thứ hai, Mạng tuần tự

Mạng tuần tự chịu trách nhiệm xử lý các giao dịch giữa lớp điện toán và USL. Trình sắp xếp trình tự xác minh và thu thập các giao dịch thành các khối, nâng cao hiệu quả và tăng thông lượng giao dịch. Mạng tuần tự thường được phân cấp và chạy thuật toán đồng thuận để sắp xếp các giao dịch một cách an toàn. Xác nhận trước ở lớp Mạng tuần tự là lạc quan và các giao dịch không hợp lệ có thể được đảo ngược sau khi xác minh USL.

Thứ ba, giao diện lớp thực thi

Thứ ba, giao diện lớp thực thi

Giao diện lớp thực thi nằm bên dưới lớp điện toán và cho phép hệ thống lớp điện toán giao tiếp với USL. Nó chấp nhận "các giao dịch được tính toán", bao gồm các giao dịch, thay đổi trạng thái và siêu dữ liệu chuyển đổi. Siêu dữ liệu xác định chương trình thực hiện phép tính, danh sách các thực thể đáng tin cậy và các chi tiết khác.

Thứ tư, lớp USL của Pi Squared

Lớp USL hoạt động như một bản tổng hợp lạc quan, diễn giải các giao dịch tính toán dưới dạng các câu lệnh toán học trong lý thuyết logic. USL tạo ra các bằng chứng toán học về trình tự tính toán để đảm bảo tính chính xác và chủ yếu bao gồm mạng π² và Nhóm Prover.

Cuối cùng, Mạng π² và Nhóm Prover

Mạng π² bao gồm các nút chạy giao thức đồng thuận nhằm xác minh tính hợp lệ của các trạng thái sau giao dịch. Quá trình xác minh minh bạch, có thể lặp lại và có thể được xác minh độc lập bởi bất kỳ tổ chức bên ngoài nào. Nhóm Prover bao gồm các nút chứng minh tạo ra bằng chứng không có kiến ​​thức (ZKP) về các giao dịch hoặc khối. ZKP hoạt động bằng cách thực hiện lại các giao dịch hoặc khối và tạo ra bằng chứng về tính chính xác của logic. ZKP thu được nhỏ hơn nhiều so với bằng chứng toán học ban đầu và có thể được truyền và xác minh nhanh hơn.

03

Giá trị ứng dụng của USL trong trường Web3

Nhóm Pi Squared hình dung USL là một lớp độc lập với ngôn ngữ và máy ảo sẽ tăng cường đáng kể các ứng dụng chuỗi chéo và khả năng truy cập thanh khoản trong ngành Web3. Các ứng dụng cụ thể bao gồm:

Cuộn trong hộp

Dịch vụ này hỗ trợ tạo các chuỗi ứng dụng và cuộn L2/L3, người dùng có thể chọn các tính năng của hệ thống và tất cả các giao dịch đều được USL giải quyết một cách minh bạch.

Cầu nối nhiều chuỗi

Cầu nối đa chuỗi cho phép các ứng dụng và bản tổng hợp chạy trên USL kết nối liền mạch các mã thông báo trên các chuỗi khác nhau mà không cần mã ngoài chuỗi.

Ứng dụng tài chính xuyên chuỗi

USL cho phép các ứng dụng DeFi chuyển đổi suôn sẻ giữa các chuỗi cuộn và chuỗi ứng dụng khác nhau, cung cấp tỷ lệ đặt cọc và cho vay tốt hơn. Ví dụ: đặt cọc ETH trên Ethereum trên chuỗi Cosmos và cho vay USDC.

Xác minh ZK không đồng nhất

Người dùng có thể sử dụng nhiều bản tổng hợp ZK và ứng dụng được USL hỗ trợ để chọn nền tảng ZK mà họ quen thuộc và USL xác minh các giao dịch thông qua chương trình phụ trợ ZK tương ứng.

bản tóm tắt

Pi Squared đặt ra một chuẩn mực mới trong lĩnh vực điện toán có thể kiểm chứng bằng công nghệ PoP cải tiến và Lớp thanh toán chung (USL). USL không chỉ giải quyết nhiều thách thức trong hệ sinh thái blockchain hiện tại mà còn đặt nền tảng cho việc xác minh kiến ​​thức và khoa học trong tương lai.

Mặc dù USL hoạt động tốt ở nhiều khía cạnh nhưng nó cũng có một số hạn chế. Ví dụ: USL không nhằm mục đích nâng cao quyền riêng tư và chỉ giữ kín bằng chứng logic phù hợp về tính chính xác của tính toán. Nhu cầu về quyền riêng tư dành riêng cho ứng dụng có thể được xem xét trong tương lai; cấu trúc giao dịch cho phép chỉ định danh sách các phụ thuộc tin cậy, được chỉ định bởi các thành phần hệ thống. USL sẽ không chủ động khám phá cơ sở tin cậy của các giao dịch thiếu thông số kỹ thuật phụ thuộc tin cậy và ban đầu tập trung vào xác minh cơ sở tin cậy.

Nhưng chúng ta có thể thấy từ những đột phá quan trọng mà nó đạt được trong công nghệ rằng USL đã chứng tỏ được khả năng giải quyết các vấn đề thực tế trong thực tế. Trong tương lai, với sự gia tăng của nhiều ứng dụng hơn và sự cải thiện cơ sở hạ tầng, Pi Squared chắc chắn sẽ mang lại nhiều đổi mới và thay đổi hơn cho ngành công nghiệp blockchain.