Uno de los determinantes más importantes para determinar si la computación en la nube puede utilizarse ampliamente es su credibilidad. En el proceso de solicitud real, todos los datos sobre la computación en la nube deben estar completos y, al mismo tiempo, deben tener una alta precisión durante la ejecución del programa, para que el alcance de la aplicación de la computación en la nube se pueda ampliar de manera efectiva. Además, el protocolo de computación en la nube puede juzgar todos los resultados de la retroalimentación en el servidor y el servidor remoto no necesita volver a ejecutar los procedimientos relevantes. En los últimos años, la computación verificable ha atraído gran atención por parte de los investigadores y se ha convertido en la principal tendencia en el desarrollo de la computación en la nube confiable.
Dirigida por Grigore Rosu, profesor de informática de la Universidad de Illinois en Urbana-Champaign, Pi Squared es una empresa centrada en permitir la computación verificable a través de tecnología de conocimiento cero. La idea central de Pi Squared se originó a partir de los años de investigación de Rosu en el mundo académico. Él y sus estudiantes exploraron esta tecnología durante muchos años y finalmente formaron el concepto de Pi Squared.
Según expertos de la industria, si Pi Squared tiene éxito, revolucionará la informática verificable. La tecnología no solo se utilizará en la capa de liquidación universal (USL) de blockchain y la computación en la nube confiable, sino que también se extenderá a los campos de verificación de la ciencia. y conocimiento. Y funciona en todos los lenguajes y máquinas virtuales, siendo intrínsecamente correcto y rápido.
Se puede decir que los escenarios de aplicación y el espacio de valores de Pi Squared son muy imaginativos.
Antes de aprender más sobre Pi Squared, es necesario comprender primero otros proyectos innovadores basados en la tecnología ZK, así como sus diferencias y conexiones con Pi Squared.
01
Análisis de productos competitivos.
ZKsincronización
ZKsync es una solución de escalamiento de Ethereum que aprovecha la tecnología ZK-rollup para lograr un alto rendimiento y bajas tarifas de transacción. Logra escalabilidad agrupando múltiples transacciones y generando pruebas ZK. La principal ventaja de ZKsync es que la velocidad de sus transacciones y sus tarifas se reducen significativamente manteniendo la seguridad de Ethereum.
nativo de ZK
ZK-native se refiere a aquellas cadenas de bloques que utilizan tecnología a prueba de conocimiento cero desde el diseño subyacente. Estas cadenas de bloques suelen tener capacidades de compresión de datos y protección de la privacidad más sólidas, como StarkNet y Mina Protocol. Garantizan la privacidad y eficiencia de las transacciones y los datos integrando directamente la tecnología ZK a nivel de protocolo.
Cadena ZK
ZK Chain se refiere a aquellos sistemas blockchain que utilizan tecnología a prueba de conocimiento cero como componente central. Estos sistemas suelen estar diseñados para mejorar la protección de la privacidad y la escalabilidad de las cadenas de bloques, como Aztec y Zcash. ZK Chain proporciona a los usuarios una sólida protección de la privacidad y capacidades eficientes de procesamiento de transacciones mediante el uso de tecnologías como ZK-SNARK o ZK-STARK.
La principal diferencia entre Pi Squared y las tecnologías mencionadas anteriormente es su versatilidad y método de verificación. Mientras que ZKsync, ZK-native y ZK Chain se centran en mejorar el rendimiento y la protección de la privacidad para blockchains específicas, Pi Squared proporciona verificabilidad universal para todas las blockchains, máquinas virtuales y lenguajes de programación a través de su Universal Settlement Layer (USL). Calcule la solución. . La tecnología PoP de Pi Squared no solo es adecuada para blockchain, sino que también puede extenderse a otros campos informáticos para lograr una verdadera informática ubicua.
02
USL: la carta de triunfo de Pi Squared
El primer producto de Pi Squared es Universal Settlement Layer (USL), una arquitectura modular de blockchain con las siguientes características principales:
(1) Aplicabilidad
USL admite computación en cualquier lenguaje o máquina virtual sin un compilador. Esto significa que los desarrolladores pueden utilizar su lenguaje de programación familiar para la liquidación de transacciones blockchain.
(2) Corrección demostrable
USL verifica la exactitud de los cálculos mediante pruebas matemáticas, y cualquier entidad externa puede verificar de forma independiente la exactitud del estado de USL.
(3) Minimización de la base de confianza
USL expone de forma transparente los supuestos de confianza en los cálculos de la capa superior, lo que en última instancia minimiza la base de confianza mediante pruebas de corrección y aumenta la confianza y la transparencia del usuario.
(4) Interoperabilidad de aplicaciones
USL admite la interoperabilidad entre diferentes módulos de aplicaciones y redes, como las interacciones entre cadenas de aplicaciones.
(5) Certeza y repetibilidad
El proceso de verificación de la USL es determinista y cualquier entidad externa puede repetirlo de forma independiente.
La arquitectura USL de Pi Squared consta de múltiples capas y componentes, cada uno de los cuales desempeña un papel importante para permitir un cálculo eficiente y verificable.
Primero, la capa informática.
La capa informática se encuentra en la parte superior de la arquitectura y es donde varios lenguajes y máquinas virtuales realizan los cálculos. Incluye motor de ejecución comercial, cadena de aplicaciones completamente funcional y paquetes acumulativos de ejecución. Los cálculos en la capa informática pueden ser muy complejos y el entorno puede implementar su propia optimización y procesamiento paralelo sin que USL necesite comprender cómo se realizan estos cálculos.
En segundo lugar, red secuenciadora.
Sequencer Network es responsable de procesar las transacciones entre la capa informática y USL. Los secuenciadores verifican y recopilan transacciones en bloques, promoviendo la eficiencia y aumentando el rendimiento de las transacciones. Sequencer Network generalmente está descentralizada y ejecuta un algoritmo de consenso para secuenciar transacciones de forma segura. La confirmación previa en la capa de Sequencer Network es optimista y las transacciones no válidas se pueden revertir después de la verificación de USL.
Tercero, la interfaz de la capa de ejecución.
La interfaz de la capa de ejecución está ubicada debajo de la capa informática y permite que el sistema de la capa informática se comunique con USL. Acepta "transacciones calculadas", incluidas transacciones, cambios de estado y metadatos de transición. Los metadatos definen el programa que realiza el cálculo, la lista de entidades confiables y otros detalles.
Cuarto, la capa USL de Pi Squared
La capa USL opera como un resumen optimista, interpretando transacciones computacionales como declaraciones matemáticas en teoría lógica. USL genera pruebas matemáticas de secuencias de cálculo para garantizar la exactitud y se compone principalmente de la red π² y Prover Pool.
Finalmente, red π² y grupo de probadores
La red π² consta de nodos que ejecutan un protocolo de consenso que verifica la validez de los estados posteriores a la transacción. El proceso de verificación es transparente, repetible y puede ser verificado de forma independiente por cualquier entidad externa. El Prover Pool consta de nodos de prueba que generan pruebas de conocimiento cero (ZKP) de transacciones o bloques. ZKP funciona volviendo a ejecutar transacciones o bloques y generando pruebas de que la lógica coincidente es correcta. El ZKP resultante es mucho más pequeño que la prueba matemática original y puede transmitirse y verificarse más rápido.
03
El valor de aplicación de USL en el campo Web3.
El equipo de Pi Squared visualiza USL como una capa independiente del lenguaje y de la máquina virtual que mejorará significativamente las aplicaciones entre cadenas y el acceso a la liquidez en la industria Web3. Las aplicaciones específicas incluyen:
Enrollable en una caja
El servicio admite la creación de acumulaciones L2/L3 y cadenas de aplicaciones, los usuarios pueden elegir características del sistema y USL liquida todas las transacciones de forma transparente.
Puente de múltiples cadenas
El puente de cadenas múltiples permite que las aplicaciones y los paquetes acumulativos que se ejecutan en USL conecten tokens sin problemas en diferentes cadenas sin la necesidad de código fuera de la cadena.
Aplicaciones financieras entre cadenas
USL permite que las aplicaciones DeFi realicen una transición fluida entre diferentes acumulaciones y cadenas de aplicaciones, proporcionando mejores tasas de participación y préstamos. Por ejemplo, apueste ETH en Ethereum en la cadena Cosmos y preste USDC.
Verificación ZK heterogénea
Los usuarios pueden utilizar varios paquetes acumulativos de ZK y aplicaciones compatibles con USL para elegir la plataforma ZK con la que están familiarizados, y USL verifica las transacciones a través del backend de ZK correspondiente.
resumen
Pi Squared establece un nuevo punto de referencia en informática verificable con su innovadora tecnología PoP y Universal Settlement Layer (USL). USL no solo resuelve muchos desafíos en el ecosistema blockchain actual, sino que también sienta las bases para la futura verificación de la ciencia y el conocimiento.
Aunque USL funciona bien en muchos aspectos, también tiene algunas limitaciones. Por ejemplo, USL no tiene como objetivo mejorar la privacidad y solo mantiene privada la prueba lógica coincidente de corrección computacional. Es posible que en el futuro se consideren las necesidades de privacidad específicas de la aplicación; la estructura de la transacción permite especificar una lista de dependencias de confianza, especificadas por los componentes del sistema. USL no descubrirá proactivamente la base de confianza de las transacciones que carecen de especificaciones de dependencia de confianza, e inicialmente se centra en la verificación de la base de confianza.
Pero podemos ver en los importantes avances tecnológicos que USL ha demostrado su capacidad para resolver problemas prácticos en la práctica. En el futuro, con el aumento de más aplicaciones y la mejora de la infraestructura, Pi Squared seguramente traerá más innovación y cambios a la industria blockchain.
