Pi Squared, một công ty đặt mục tiêu cho phép tính toán có thể kiểm chứng thông qua việc sử dụng công nghệ không có kiến ​​thức, đã công bố hôm thứ Ba rằng họ đã huy động được 12,5 triệu USD trong vòng hạt giống do Polychain Capital dẫn đầu.

Những người tham gia vào vòng này bao gồm ABCDE, Bloccelerate, Generative Ventures, Robot Ventures và Samsung Next, cũng như các nhà đầu tư thiên thần bao gồm Justin Drake của Ethereum Foundation và người sáng lập EigenLayer, Sreeram Kanaan.

Vòng vốn mới sẽ được sử dụng để mở rộng các sản phẩm mà công ty dự định tung ra.

Grigore Rosu, Giám đốc điều hành của Pi Squared, cho biết trong một cuộc phỏng vấn với CoinDesk: Sản phẩm đầu tiên của Pi Squared là “Lớp thanh toán toàn cầu”, giải quyết các giao dịch blockchain – hay như người ta gọi chúng là “khiếu nại” – bằng bất kỳ ngôn ngữ lập trình nào.

Rosu là giáo sư khoa học máy tính tại Đại học Illinois Urbana-Champaign và ý tưởng về Pi Squared xuất phát từ sự nghiệp học thuật của ông.

Rosu nói với CoinDesk: “Tôi đã thực hiện nghiên cứu này với các sinh viên của mình trong nhiều năm.

Công ty cũng đang xây dựng “Universal ZK Circuit”, sử dụng công nghệ không có kiến ​​thức để cho phép “điện 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,” Pi Squared viết trong một thông cáo báo chí.

“Đ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ỳ bản dịch nào sang ngôn ngữ chung, VM hoặc kiến ​​trúc tập lệnh (ISA),” theo công ty.

Pi Squared vẫn đang trong giai đoạn chứng minh khái niệm. Rosu cho biết dự án sẽ được thử nghiệm vào cuối năm 2024.