Pi Squared

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.