Champaign, Illinois, Hoa Kỳ, ngày 2 tháng 7 năm 2024, Chainwire
Pi Squared , (Proof of Proof), đã công bố việc đóng vòng gọi Vốn đầu tiên của họ. Dẫn đầu bởi Polychain Capital, liên minh 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ệ zero-knowledge (ZK) theo cách xây dựng chính xác và về cơ bản là duy nhất, Pi Squared sẽ cho phép tính toán từ xa Không cần tin cậy , AI và 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ẽ trở nên khả thi thông qua việc tạo ra một mạch ZK phổ quát và cực kỳ nhỏ để kiểm tra tính toàn vẹn của các bằng chứng toán học, mạch này sẽ cung cấp các đảm bảo tính chính xác có thể xác minh được cho tất cả các ngôn ngữ và máy ảo (VM) giống nhau trực tiếp từ ngữ nghĩa chính thức của chúng, mà không cần bất kỳ bản dịch nào sang ngôn ngữ chung, VM hoặc kiến trúc tập lệnh (ISA).
“Sứ mệnh của chúng tôi là cách mạng hóa điện toán có thể xác minh, biến nó thành phổ quát cho mọi ngôn ngữ và máy ảo, vốn có tính chính xác theo cấu trúc và nhanh như chớp”, Grigore Roșu, CEO của Pi Squared và Giáo sư khoa học máy tính tại Đại học Illinois Urbana-Champaign cho biết. “Điều này sẽ có nhiều ứng dụng, bao gồm một Settlement Layer phổ quát (USL) để tất cả các Blockchain, L1 và L2, có thể phổ quát, chính xác, có thể tương tác và hiệu quả. Không dừng lại ở đó, sứ mệnh dài hạn của chúng tôi là giải quyết mọi khoa học và kiến thức trên USL”.
Karthik Raju, GP tại Polychain Capital cho biết: "Công nghệ bằng chứng chứng minh của Pi Squared sẽ có tác động chuyển đổi trên toà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 áp dụng của Web3 cho 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ệ tiếp theo của điện toán có thể xác minh được, phổ biến và có thể mở rộng với cơ sở tin cậy tối thiểu tối ưu. Sản phẩm đầu tiên được Pi Squared cung cấp là Universal Settlement Layer (USL), một kiến trúc cho các blockchain mô-đun cho phép các đặc điểm sau:
Tính phổ quát
Các phép tính có thể được thể hiện bằng bất kỳ ngôn ngữ máy ảo hoặc ngôn ngữ cấp cao nào mà không cần đến trình biên dịch hoặc trình dịch.
Sự đú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 độc lập tính chính xác của trạng thái USL.
Cơ sở tin cậy tối thiểu
USL phơi bày mọi giả định về độ tin cậy trong các phép tính ở 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 của ứ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).
Sự quyết định và khả năng tái tạo
Việc xác thực có thể được tái tạo 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 các đảm bảo về tính chính xác từ đầu đến cuối cho các phép tính chung trong khi giảm thiểu cơ sở tin cậy cơ bản của các phép tính này. USL thúc đẩy điện toán có thể xác minh như là Paradigm điện toán phân tán tiêu chuẩn mà không yêu cầu hoặc thúc đẩy các ngôn ngữ cụ thể theo miền (DSL), VM hoặc môi trường thực thi, tất cả đều hiệu quả và có khả năng 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. Người tham dự có thể lắng nghe CEO của Pi Squared, Grigore Roșu, phát biểu tại reStaking & Infra Day vào ngày 8 tháng 7 và L2con vào ngày 9 tháng 7.
Giới thiệu về Pi Squared
Pi Squared có nghĩa là bằng chứng ZK của các bằng chứng toán học. Pi Squared sử dụng công nghệ ZK theo cách chính xác theo cấu trúc và về cơ bản là duy nhất. Một mạch ZK phổ quát và nhỏ đến mức không thể nghi ngờ cung cấp các đảm bảo tính chính xác có thể xác minh được cho tất cả các ngôn ngữ và VM giống nhau, 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ư Grigore Rosu của UIUC, người sáng lập ra khuôn khổ K và Runtime Verification, và bao gồm các nhà nghiên cứu và người sáng lập của các dự án thành công trong các phương pháp chính thức, blockchain và AI/ML.
Để đặt lịch họp với CEO và nhóm của Pi Squared, người tham dự có thể liên hệ qua email contact@pi2.network .
Để tìm hiểu thêm về tầm nhìn và Bằng chứng của Bằng chứng 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 Bình Phương Inc
media@pi2.network
Bài đăng Pi Squared huy động được 12,5 triệu đô la tiền tài trợ hạt giống do Polychain Capital dẫn đầu để xây dựng mạch ZK phổ quát được hỗ trợ bởi Proof of Proof xuất hiện đầu tiên trên Metaverse Post .
