Pi Squared, una empresa que se propone permitir la informática verificable mediante el uso de tecnología de conocimiento cero, anunció el martes que recaudó 12,5 millones de dólares en una ronda inicial liderada por Polychain Capital.
La participación en la ronda incluyó a ABCDE, Bloccelerate, Generative Ventures, Robot Ventures y Samsung Next, así como inversores ángeles, incluidos Justin Drake de la Fundación Ethereum y el fundador de EigenLayer, Sreeram Kanaan.
La nueva ronda de capital se utilizará para ampliar los productos que la empresa planea lanzar.
El primer producto de Pi Squared es su "Capa de liquidación universal", que liquida transacciones de blockchain (o, como las llaman, "reclamaciones") en cualquier lenguaje de programación, dijo Grigore Rosu, director ejecutivo de Pi Squared, en una entrevista con CoinDesk.
Rosu es profesor de informática en la Universidad de Illinois Urbana-Champaign y la idea de Pi Squared surgió de su carrera académica.
"He realizado esta investigación con mis estudiantes durante muchos, muchos años", dijo Rosu a CoinDesk.
La compañía también está construyendo un "Circuito ZK universal", que utiliza tecnología de conocimiento cero para permitir "computación remota sin confianza, inteligencia artificial y contrato inteligente interoperable para cualquier blockchain o dApp", escribió Pi Squared en un comunicado de prensa.
“Esto será posible mediante la creación de un circuito ZK universal y sorprendentemente pequeño que verifica la integridad de las pruebas matemáticas, lo que proporcionará garantías de corrección informática verificables a todos los lenguajes y máquinas virtuales (VM) por igual directamente desde su semántica formal, sin cualquier traducción a un lenguaje común, VM o arquitectura de conjunto de instrucciones (ISA)”, según la empresa.
Pi Squared todavía se encuentra en su fase de prueba de concepto. Rosu dijo que el proyecto debería estar en testnet para fines de 2024.
