Champaign, Illinois, Hoa Kỳ, ngày 2 tháng 7 năm 2024, Chainwire

Pi Squared, (Proof of Proof), đã thông báo kết thúc đợt huy động vốn đầu tiên của họ. Được dẫn dắt bởi Polychain Capital, tổ chức này bao gồm ABCDE, Bloccelerate, Generative Ventures, Robot Ventures và Samsung Next. Các nhà đầu tư thiên thần bao gồm Shumo Chu, Harish Devarajan, Justin Drake, Sreeram Kanaan, Csongor Kiss, George Lambeth, Yilong Li, Calvin Liu, Lucian Mincu, Karthik Raju và Common Prefix.

Sử dụng công nghệ không kiến ​​thức (ZK) theo cách xây dựng chính xác và độc đáo về cơ bản, Pi Squared sẽ cho phép tính toán từ xa không cần tin cậy, AI và các hợp đồng thông minh có thể tương tác cho bất kỳ blockchain hoặc dApp nào. Điều này sẽ có thể thực hiện được thông qua việc tạo ra một mạch ZK phổ quát và nhỏ gọn để kiểm tra tính toàn vẹn của các bằng chứng toán học, điều này sẽ cung cấp các đảm bảo về tính chính xác trong tính toán có thể kiểm chứng cho tất cả các ngôn ngữ và máy ảo (VM) trực tiếp từ ngữ nghĩa chính thức của chúng mà không cần bất kỳ điều gì. dịch sang ngôn ngữ chung, VM hoặc kiến ​​trúc tập lệnh (ISA).

Grigore Roșu, Giám đốc điều hành của Pi Squared và Giáo sư CS tại Đại học Illinois Urbana-Champaign cho biết: “Nhiệm vụ của chúng tôi là cách mạng hóa điện toán có thể kiểm chứng, làm cho nó trở nên phổ biến cho tất cả các ngôn ngữ và máy ảo, vốn đã chính xác theo từng cấu trúc và nhanh như chớp”. . “Điều này sẽ có nhiều ứng dụng, bao gồm lớp giải quyết phổ quát (USL) để tất cả các Blockchain, L1 và L2, có thể phổ biến, chính xác, có thể tương tác và hiệu quả. Không dừng lại ở đó, sứ mệnh lâu dài của chúng tôi là tổng hợp tất cả khoa học và kiến ​​thức về USL.” 

Karthik Raju, GP tại Polychain Capital cho biết: “Công nghệ chứng minh bằng chứng của Pi Squared sẽ có tác động biến đổi trên Web3 và hơn thế nữa”. “Mạch ZK phổ quát của Pi Squared sẽ tăng đáng kể phạm vi tiếp cận và khả năng ứng dụng của Web3 cho tất cả mọi người, từ người xây dựng đến người dùng cuối.”

Pi Squared sẽ cho phép thế hệ điện toán có thể kiểm chứng tiếp theo có tính phổ quát và có thể mở rộng với cơ sở tin cậy tối thiểu. Sản phẩm đầu tiên được cung cấp bởi Pi Squared là Lớp thanh toán chung (USL), một kiến ​​trúc dành cho các chuỗi khối mô-đun cho phép các đặc điểm sau:

Tính phổ quát

Tính toán có thể được thể hiện bằng bất kỳ ngôn ngữ máy ảo hoặc cấp cao nào mà không cần trình biên dịch hoặc trình dịch.

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

Các tính toán được USL xác minh được chứng minh về mặt toán học là chính xá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 của USL.

Cơ sở tin cậy tối thiểu

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

Khả năng tương tác ứng dụng

USL sẽ hỗ trợ khả năng tương tác giữa các mô-đun ứng dụng và mạng khác nhau (ví dụ: chuỗi ứng dụng). 

Tính xác định và độ tái lập

Việc xác thực có thể được lặp lại và xác minh độc lập bởi bất kỳ thực thể bên ngoài nào.

Do đó, USL của Pi Squared cung cấp sự đảm bảo tính chính xác từ đầu đến cuối cho các phép tính chung đồng thời giảm thiểu cơ sở tin cậy làm nền tảng cho các tính toán này. USL thúc đẩy điện toán có thể kiểm chứng dưới dạng mô hình điện toán phân tán tiêu chuẩn mà không yêu cầu hoặc quảng bá các ngôn ngữ dành riêng cho miền (DSL), VM hoặc môi trường thực thi, đồng thời vẫn hiệu quả và có thể mở rộng.

Pi Squared sẽ trình bày và triển lãm tại các sự kiện xung quanh EthCC ở Brussels từ ngày 8 đến ngày 11 tháng 7. Những người tham dự có thể nghe Giám đốc điều hành của Pi Squared, Grigore Roșu, phát biểu tại Ngày khôi phục & hồng ngoại vào ngày 8 tháng 7 và L2con vào ngày 9 tháng 7.

Giới thiệu về Pi Bình Phương

Pi Squared có nghĩa là bằng chứng ZK của bằng chứng toán học. Pi Squared sử dụng công nghệ ZK theo cách xây dựng chính xác và độc đáo về cơ bản. Một mạch ZK phổ quát và nhỏ gọn mang đến sự đảm bảo tính chính xác trong tính toán có thể kiểm chứng cho tất cả các ngôn ngữ và máy ảo mà không cần bất kỳ bản dịch nào sang ngôn ngữ chung, VM hoặc ISA. Pi Squared được dẫn dắt bởi giáo sư UIUC Grigore Rosu, người sáng lập khung K và Xác minh thời gian chạy, đồng thời bao gồm các nhà nghiên cứu và người sáng lập các dự án thành công trong các phương pháp chính thức, blockchain và AI/ML.

Để đặt cuộc họp với Giám đốc điều hành và nhóm của Pi Squared, người tham dự có thể liên hệ theo địa chỉ contact@pi2.network. 

Để tìm hiểu thêm về tầm nhìn và Bằng chứng chứng minh của Pi Squared, hãy truy cập pi2.network và theo dõi Pi Squared trên mạng xã hội.

Liên hệ

Trưởng phòng Marketing
Chris Hazelton
Pi Squared Inc
media@pi2.network

Bài đăng Pi Squared huy động được 12,5 triệu USD tiền tài trợ hạt giống do Polychain Capital dẫn đầu để xây dựng mạch ZK toàn cầu được hỗ trợ bởi Bằng chứng chứng minh đã xuất hiện đầu tiên trên Blockonomi.