Infraestructura

Startups

Pi Squared está creando la capa de asentamiento universal definitiva. Utiliza la tecnología de conocimiento cero (ZK) de una manera fundamentalmente única y de construcción correcta, lo que permite que un circuito ZK universal y asombrosamente pequeño ofrezca garantías de precisión informática verificables para todos los lenguajes y máquinas virtuales (VM) por igual, sin necesidad de traducirlo a un idioma, máquina virtual o arquitectura de conjuntos de instrucciones (ISA) comunes.

Pi Squared está creando una capa de asentamiento universal (USL) para hacer que la interoperabilidad entre cadenas de bloques, lenguajes y aplicaciones sea perfecta y eliminar por completo la necesidad de implementaciones lingüísticas tradicionales pero notoriamente defectuosas, como compiladores, transpiladores o intérpretes. La USL de Pi Squared se basa en los avances recientes en ZK, la semántica formal y las técnicas de razonamiento lógico.

El proyecto Pi Squared está dirigido por el profesor de la UIUC Grigore Rosu, fundador del marco K y de Runtime Verification, y está formado por investigadores y fundadores de proyectos exitosos en los campos de los métodos formales, la cadena de bloques y la inteligencia artificial y el aprendizaje automático.

Karthik Raju

Generative Ventures

ABCDE Capital

Sreeram Kannan

Bloccelerate VC

Justin Drake

Grigore Rosu

Pi Squared

Expertos

Investments

Organizaciones

Robot Ventures

Samsung SIGUIENTE

Protocols

0xPPL

Asset Management

satlayer

zkMe

Swaps

Comercio

Ammalgam

Services

Hypernative Labs

Patrocinadores

CypherHunter Plus

Pi Squared

Rondas de financiamiento

Also invested in others