Pi Squared, компанія, яка має на меті забезпечити верифіковані обчислення за допомогою технології нульового знання, оголосила у вівторок, що залучила 12,5 мільйонів доларів у початковому раунді під керівництвом Polychain Capital.

У раунді брали участь ABCDE, Bloccelerate, Generative Ventures, Robot Ventures і Samsung Next, а також інвестори-ангели, зокрема Джастін Дрейк з Ethereum Foundation і засновник EigenLayer Срірам Канаан.

Новий раунд капіталу буде використано для розширення продуктів, які компанія планує випустити.

Першим продуктом Pi Squared є його «універсальний рівень розрахунків», який здійснює розрахунки за блокчейн-транзакціями — або, як вони їх називають, «претензіями» — будь-якою мовою програмування, сказав Григоре Розу, генеральний директор Pi Squared, в інтерв’ю CoinDesk.

Розу є професором інформатики в Університеті штату Іллінойс Урбана-Шампейн, і ідея Pi Squared виникла в його академічній кар’єрі.

«Я проводив це дослідження зі своїми студентами протягом багатьох-багатьох років», — сказав Росу CoinDesk.

Компанія також створює «універсальну схему ZK», яка використовує технологію нульового знання, щоб увімкнути «ненадійні віддалені обчислення, штучний інтелект і взаємодіючий смарт-контракт для будь-якого блокчейну або dApp», — написав Pi Squared у прес-релізі.

«Це стане можливим завдяки створенню універсальної та неймовірно малої схеми ZK, яка перевіряє цілісність математичних доказів, що забезпечить гарантії коректності перевірених обчислень для всіх мов і віртуальних машин (ВМ) безпосередньо з їх формальної семантики, без будь-який переклад на загальну мову, віртуальну машину або архітектуру набору інструкцій (ISA)», - повідомляє компанія.

Pi Squared все ще перебуває на етапі підтвердження концепції. Розу сказав, що проект має бути в тестовій мережі до кінця 2024 року.