Buổi biểu diễn
So sánh
Chi tiết
Nội dung này do RD AI tạo ra, chỉ mang tính tham khảo
Pi Squared sử dụng công nghệ zero-know proof (ZK) để xác minh việc thực thi chính xác bất kỳ chương trình nào mà không cần dựa vào ngôn ngữ lập trình (PL) hoặc máy ảo (VM) cụ thể. Nó dựa trên khung K và logic phù hợp để cung cấp phương pháp xác minh phổ quát và hiệu quả. Được thiết kế để cho phép khả năng tương tác liền mạch của chuỗi khối, ngôn ngữ và ứng dụng.
Theo dõi cập nhật
Theo dõi danh sách
Nhân vật
Về Pi Squared
Pi Squared là một dự án blockchain tập trung vào tính toán có thể xác minh phổ quát. Hoạt động cốt lõi của nó là Lớp Thanh toán Có thể Xác minh (VSL), một mạng lưới phi tập trung cho phép thực thi minh bạch, có thể lập trình và có thể xác minh trên nhiều lĩnh vực khác nhau. Không giống như các dự án ZK điển hình gắn liền với các ngôn ngữ lập trình hoặc máy ảo cụ thể, Pi Squared tận dụng ngữ nghĩa hình thức để cho phép bất kỳ ngôn ngữ nào tạo ra bằng chứng mật mã trực tiếp, loại bỏ nhu cầu về trình biên dịch tùy chỉnh hoặc VM chuyên dụng. Lợi thế cạnh tranh cốt lõi nằm ở tính phổ quát của nó. Bằng cách coi ngữ nghĩa hình thức là nền tảng, Pi Squared có thể xác minh các tính toán từ bất kỳ nguồn nào—dù là Ethereum, Bitcoin hay các ứng dụng tùy chỉnh—mà không cần các lớp dịch thuật. Cách tiếp cận này giải quyết một điểm đau lớn của thị trường: sự phân mảnh của các hệ sinh thái blockchain. Hiện tại, các nhà phát triển phải lựa chọn giữa các chuỗi khác nhau, mỗi chuỗi có ngôn ngữ và VM riêng, tạo ra các silo thanh khoản và thách thức về khả năng tương tác. VSL của Pi Squared nhằm mục đích hợp nhất các hệ sinh thái này bằng cách cung cấp một lớp thanh toán duy nhất có thể xác minh tất cả chúng. Trong sáu tháng qua (28-02-2026 đến 31-08-2026), Pi Squared đã ra mắt VSL Devnet, môi trường trực tiếp đầu tiên để các nhà phát triển tương tác với mạng lưới. Devnet tích hợp với khung Chuyển giao Token Gốc (NTT) của Wormhole để chuyển giao tài sản xuyên chuỗi an toàn và cung cấp sao chép thời gian thực trạng thái của Ethereum và Bitcoin để tạo điều kiện cho phát triển đa chuỗi có thể kết hợp. Ngoài ra, dự án đã nhấn mạnh năm 2026 là bước ngoặt cho thanh toán, nhấn mạnh nhu cầu về các hệ thống thanh toán song song, có thể xác minh để xử lý sự tăng trưởng giao dịch do AI thúc đẩy. FastSet, một sáng kiến liên quan, tập trung vào xây dựng cơ sở hạ tầng thanh toán thế hệ tiếp theo với thông lượng cao và tính tức thời cuối cùng. Không có sự kiện tiêu cực đáng kể nào được báo cáo trong giai đoạn này, mặc dù dự án vẫn ở giai đoạn đầu với mức độ trưởng thành ở cấp devnet.
Pi Squared, một giải pháp ZK trên blockchain, đã hoàn thành vòng gọi vốn hạt giống trị giá 12,5 triệu đô la do Polychain Capital dẫn đầu, đánh dấu sự xác nhận vốn ban đầu và cho phép phát triển một mạch ZK phổ quát cho tính toán có thể xác minh. Sau đó, họ đã ra mắt devnet VSL (Lớp thanh toán có thể xác minh), một cột mốc hướng tới một lớp thanh toán xuyên chuỗi thống nhất các hệ sinh thái phân mảnh thông qua xác minh dựa trên bằng chứng. Những bước đi này tạo nên ý nghĩa lâu dài: vòng hạt giống đảm bảo nguồn lực cho R&D cốt lõi, trong khi devnet cung cấp môi trường trực tiếp đầu tiên để thử nghiệm khả năng xác minh phổ quát trên các ngôn ngữ và máy ảo, đặt nền móng cho cơ sở hạ tầng thanh toán tối thiểu hóa lòng tin.
Grigore Rosu (Đồng sáng lập & CEO): Giáo sư Khoa học Máy tính tại UIUC, lãnh đạo Phòng thí nghiệm Hệ thống Hình thức. Trước đây là nhà khoa học tại NASA, đã đặt ra thuật ngữ 'kiểm chứng thời gian chạy'. Lĩnh vực nghiên cứu bao gồm ngôn ngữ lập trình, phương pháp hình thức, kỹ thuật phần mềm và mật mã học. Tiến sĩ từ UC San Diego. Nhận giải thưởng NSF CAREER, giải thưởng xuất sắc cho giảng viên trẻ của UIUC và giải thưởng của Trưởng khoa về xuất sắc nghiên cứu. Xiaohong Chen (CTO): Kỹ sư phương pháp hình thức và nhà nghiên cứu ZK. Tập trung vào đặc tả/kiểm chứng chương trình hình thức, logic chương trình và các giải pháp zero-knowledge có khả năng mở rộng. Cử nhân từ Đại học Bắc Kinh, Tiến sĩ từ UIUC.