Basta de nuevas cadenas y capas "Realmente no necesitas una blockchain para resolver reclamaciones que vienen con pruebas". En Hack Seasons Cannes, @RosuGrigore explicó por qué la verificabilidad escala mejor que el consenso para la infraestructura cripto. Más abajo ↓

¿Necesita el mundo crypto un nuevo paradigma para la coordinación global?@RosuGrigore, fundador de @Pi_Squared_Pi2, reveló una visión radicalmente diferente: la computación verificable y los datos con prueba de validez deberían reemplazar a las blockchains con gran dependencia del consenso.El lanzamiento de la Mainnet está previsto para finales de 2025 con un monedero descentralizado ultrarrápido para pagos y transferencias.

Hoy en L2Con, @RosuGrigore subió al escenario para plantear una pregunta importante: ¿Qué pasaría si web3 no necesitara blockchains?La respuesta: las blockchains no desaparecerán, pero deben evolucionar para favorecer la verificabilidad sobre el orden total.Gracias a @epicweb3 por recibirnos y obtén más información a continuación.

Mañana, @RosuGrigore subirá al escenario de L2Con a las 14:50 para explicar por qué no necesitamos blockchains para la próxima fase de web3. Regístrese para asistir a su charla a continuación.

4/ 📅 3 de julio – Pragma Cannes por @ETHGlobal @RosuGrigore presentará, "The Future of Web3 is Not Blockchain". 🕐 Hora: 14:20-14:40pm GMT +2 📍Ubicación: Carlton Cannes Regístrate: https://t.co/N3kJrMoTBD

3/ 📅 3 de julio – Hack Seasons Cannes por @mpost_io @RosuGrigore se unirá al panel "Infra That Developers Actually Use" con @Starknet y @worldcoin 🕐 Hora: 12:00-12:30pm GMT +2 📍Ubicación: Hotel Barrière Le Majestic Cannes, Tech Stage Regístrate: https://t.co/J5eOneMCxS

"En @NASA, vi a gente reinventando la rueda para cada lenguaje de programación. Necesitábamos un framework para definir un lenguaje una vez y generar todas las herramientas correctas por construcción. Eso es lo que el VSL de Pi² aporta a Web3: ejecución universal, sin errores y verificable." — @RosuGrigore

17 ponentes en Pragma Cannes el 3 de julio 🏖️🎙️ 1. Sergej Kunz → Ampliando los horizontes de DeFi: Mercados de intercambio y más allá 2. Roham Gharegozlou → Charla informal sobre el futuro de Consumer Crypto 3. Ismael Hishon-Rezaizadeh → La infraestructura de Ethereum es fundamental para construir confianza y seguridad en la IA 4. Anthony Leutenegger → Crecimiento y seguridad de las redes: ¿Qué sigue para la gobernanza Onchain? 5. Marek Olszewski → Charla informal sobre Identidad Descentralizada 6. JonJon Clark → Indexación Multichain ultrarrápida 7. Muriel Médard → Memoria de alto rendimiento para la computadora mundial 8. Stani Kulechov → Aave V4: DeFi 2.0 9. Grigore Rosu → El futuro de Web3 no es Blockchain 10. Sergey Nazarov → Charla informal con Sergey 11. Howard Wu → El espectro de la privacidad: de las sombras a los estándares 12. Illia Polosukhin → Charla informal con Illia sobre IA 13. Shea Ketsdever → Una charla optimista sobre MEV 14. Michele D'Aliessi → La IA tiene una Wallet. ¿Y ahora qué? 15. Ram Kumar → OpenLedger, la Blockchain construida para la IA especializada 16. Yaniv Tal → Creación de aplicaciones de consumo para una Web de privacidad primero propiedad del usuario 17. Vitalik Buterin → Charla informal con Vitalik

Mañana, profundizaremos en nuestro devent con @RosuGrigore, @UBAmain de Pi2 y @os_presso de @wormhole.Desglosaremos el VSL, mostraremos las demos y destacaremos cómo la verificabilidad impulsa la interoperabilidad multicadena.📍Jue, 26 de junio a las 10 a. m. CTEstablece un recordatorio ↓ https://t.co/VS03RQ5xkf

Pi Squared lanza la red de desarrollo VSL, construyendo una capa de liquidación entre cadenas verificable.

Repensando cómo se conectan las cadenas. Las pruebas toman la delantera. @RosuGrigore lo explica todo con @joerazz | Interoperabilidad sin concesiones | Las matemáticas como capa de confianza | El futuro de los agentes, las reclamaciones y la liquidación rápida 🎙️ Podcast ↓

Blockchain resolvió el doble gasto, pero a un costo: un orden rígido y global. El fundador de Pi², @RosuGrigore, sostiene que Web3 necesita una infraestructura más rápida y flexible, impulsada por la verificabilidad. Esto lo cambia todo.

A medida que la IA se vuelve más inteligente, la confianza se vuelve más difícil. @RosuGrigore, @JensGroth16 y @UBAmain compartieron cómo la verificabilidad mantiene a los agentes responsables. Resumen completo en la siguiente publicación ↓

Un breve resumen del X Spaces de hoy con @JensGroth16 y @RosuGrigore de @Pi_Squared_Pi2 https://t.co/SDZCtxQYRv

GENIUS Act. Meta. Dinero programable en lo social. Las stablecoins no son el futuro. Son las vías ahora. El fundador de Pi Squared, @RosuGrigore, lo explica en el último artículo de Techopedia. Lee el artículo completo ↓

A partir de ahora. Únete a @JensGroth16 y @RosuGrigore para hablar sobre Verifiable AI

1 hora para profundizar en la IA verificable Únete a @RosuGrigore y @JensGroth16 mientras desglosan cómo se ve la confianza cuando las máquinas pueden demostrarla. En vivo a las 12:30 CT en X Spaces Presentado por Pi² × @NexusLabs

Este jueves: IA Verificable con @JensGroth16 @RosuGrigore y @UBAmain de @Pi_Squared_Pi2

Web3 se construyó sobre sistemas sin confianza. Pero, ¿cómo se ve eso cuando los agentes de IA entran en escena? @RosuGrigore se une a @GoKiteAI para analizar la IA, la verificación y el futuro de la coordinación. Sintoniza ↓ https://t.co/4JSdzRB8pE

Faltan 15 minutos para nuestro podcast con @RosuGrigore, profesor titular de @UofIllinois y CEO de @Pi_Squared_Pi2. ¡Únete a nosotros EN VIVO en X!

Web3 pasó años midiendo cuánto valor podía ser bloqueado.Ahora proponemos una nueva forma de medir el crecimiento: Total Value Unlocked.Lee el artículo de opinión completo de @RosuGrigore en @cryptodotnews ↓ https://t.co/fupno3kEzU

Prepárense para otro episodio de AI Unchained. 🎙️Nuestros fundadores @ChiZhangData y @scottshics, estarán sentados con @RosuGrigore - profesor, pionero en verificación formal y CEO de @Pi_Squared_Pi2, para explorar lo que realmente significa la confianza en la era de los agentes de AI.📍 EN VIVO en el X de Kite AI🗓️ 13 de mayo🕔 12pm ESTDesde la NASA hasta los métodos formales, los agentes autónomos y la construcción de la capa de confianza que falta para la AI en Web3 - ¡esto va a ser bueno!

Prepárense para otro episodio de AI Unchained. 🎙️Nuestros fundadores @ChiZhangData y @scottshics, estarán sentados con @RosuGrigore - profesor, pionero en verificación formal y CEO de @Pi_Squared_Pi2, para explorar lo que realmente significa la confianza en la era de los agentes de AI.📍 EN VIVO en X🗓️ 13 de mayo🕔 12pm ESTDesde la NASA hasta los métodos formales, los agentes autónomos y la construcción de la capa de confianza que falta para la AI en Web3: ¡esto va a ser bueno!

¿Qué está realmente bloqueando el crecimiento de DeFi? Soul y Pi² tienen algunas respuestas. Ayer, @Pi_Squared_Pi2 y @0xSoulProtocol coorganizaron un Space para explorar qué está frenando los préstamos cross-chain y qué nuevos enfoques pueden desbloquear todo su potencial. La fragmentación sigue siendo el mayor desafío de DeFi. Soul enfatizó que, mientras la mayoría de los protocolos compiten por liquidez, su modelo se construye sobre sistemas existentes, fortaleciendo la capa base en lugar de extraer valor de ella. Este cambio ofrece un camino más sostenible y escalable para el crecimiento. 🎙️ @efectorami La experiencia del usuario sigue siendo un obstáculo clave. @RosuGrigore señaló que la complejidad de DeFi sigue siendo un gran problema. Soul y Pi² coinciden en que eliminar la fricción y permitir una participación fluida entre cadenas es esencial para una adopción más amplia. La verificabilidad cambia lo que es posible. El enfoque de mirroring de Pi Squared elimina la necesidad de controladores centralizados al crear una capa de coordinación trustless. Esto permite que agentes y protocolos interactúen entre cadenas con total transparencia y prueba de corrección. Rendimiento cross-chain, sin puentes. Soul compartió cómo su arquitectura permite a los usuarios ganar en múltiples cadenas sin necesidad de puentes o wrapping de activos, maximizando la eficiencia y minimizando el riesgo. 🎙️ @As_Hatom Una visión compartida construida con el tiempo. La asociación entre Soul y Pi² comenzó hace casi tres años. Ahora, trabajan juntos para habilitar sistemas de préstamos autónomos y verificables que se mueven tan rápido como lo exige el mercado.

¿Tienes curiosidad sobre el futuro de los préstamos en DeFi? Nuestro CEO @As_Hatom y CTO @efectorami se unirán a @RosuGrigore y @UBAmain de @Pi_Squared_Pi2 para discutir el estado actual de DeFi, su fragmentación y cómo Soul está construyendo una infraestructura unificada de préstamos cross-chain. ¡Únete a nosotros! 🔥

¡Descubre el eslabón perdido en DeFi lending! Únete a los líderes de @Pi_Squared_Pi2 y @0xSoulProtocol el 8 de mayo a las 10 a.m. CST para una charla en vivo sobre los desafíos del cross-chain lending, como la fragmentación y la liquidez.🎙️: @RosuGrigore, @As_Hatom, @efectorami, @UBAmain.↓ ¡Configura un recordatorio! ↓

¿Qué se necesita realmente para que Web3 sea confiable? El episodio de la semana pasada del podcast @HeliosStaking contó con la participación de @RosuGrigore sobre verificabilidad, métodos formales y la construcción de sistemas comprobables para el futuro de la infraestructura descentralizada. ↓ Aquí lo que destacó: De @NASA a la infraestructura blockchain: @RosuGrigore comenzó aplicando métodos formales a sistemas críticos para misiones en NASA. Hoy, esas mismas herramientas se están usando en blockchains que exigen corrección comprobable. Cómo tomó forma Runtime Verification: @RosuGrigore fundó @rv_inc para llevar los métodos formales a sistemas del mundo real. Inicialmente rechazado por conferencias de testing y métodos formales, el término “runtime verification” redefinió el enfoque—combinando observación en tiempo de ejecución con garantías de corrección. Ahora, define toda una categoría de aseguramiento de sistemas. Por qué importan las semantics: Sin semantics formales, los lenguajes de programación se vuelven objetivos móviles. Pi Squared usa el K Framework y Matching Logic para definir y razonar sobre el comportamiento de programas con precisión matemática. Apoyo de @IOHK_Charles y @VitalikButerin: IOHK financió trabajos tempranos en la formalización de lenguajes en K. Vitalik otorgó subvenciones para verificar el protocolo Casper de Ethereum, Vyper, Uniswap y el contrato de depósito ETH2—algunos de los primeros esfuerzos de verificación formal en el espacio. Verificabilidad sin orden: Pi Squared introduce una capa de liquidación descentralizada donde las afirmaciones—ya sean de rollups, agentes AI o exchanges—pueden ser verificadas de forma independiente y en paralelo. Sin necesidad de orden global. Solo prueba. “Sin verificabilidad, no hay Web3.” La corrección se vuelve portable. La verdad se vuelve programable.

Pruebas sobre suposiciones. @RosuGrigore se une a @HeliosStaking para explorar por qué la verificabilidad se está convirtiendo en una condición no negociable en Web3 y más allá.

🎯 “Una vez que proporcionamos la prueba, la reclamación se convierte en la verdad.” @RosuGrigore explica cómo Verifiable Settlement Layer de Pi² convierte las reclamaciones computacionales en hechos confiables—desde cualquier L1, aplicación o agente de IA. Así es como la verificabilidad escala. 🎧 Sonido activado. https://t.co/fyETmJ4JaM

🧵 ¿Te perdiste el Space? No te pierdas las ideas de @RosuGrigore, @ma2bd y @shresth3103 en la repetición completa: 👉 https://t.co/5LUNTpSxhy

“En Pi², no nos importa qué lenguaje de programación uses. Nos importa si tiene semántica formal. Así es como se demuestra que algo es verdad.” @RosuGrigore lo explica en @commonwarexyz con @_patrickogrady ↓

Gracias a @BoilerChain por dar la bienvenida a @RosuGrigore y al equipo de Pi2 para compartir cómo desplegar correctamente contratos inteligentes en cualquier lenguaje, en cualquier cadena, utilizando nuestra Verifiable Computing 2.0. ¡Esperamos volver a visitarles pronto! https://t.co/AFcPgXO3rm

Las blockchains están en todas partes, pero ¿realmente las necesitamos? Sumérgete en el debate el jueves con información de @RosuGrigore, @ma2bd, @shresth3103, @UBAMain. 🗓️ 24 de abril | 🕙 10am CT | 🎙️ X Space organizado por @Pi_Squared_Pi2 con @poddotnetwork, @linera_io. → Establece un recordatorio ahora ↓ https://t.co/TfKGuGPbcL

Las blockchains están en todas partes, pero ¿realmente las necesitamos? Profundiza en el debate este jueves con información de @RosuGrigore, @ma2bd, @shresth3103, @UBAMain. 🗓️ 24 de abril | 🕙 10 a. m. CT |🎙️ X Space organizado por @Pi_Squared_Pi2 con @poddotnetwork, @linera_io → Activa un recordatorio ahora ↓

Las blockchains están en todas partes, pero ¿realmente las necesitamos? Sumérgete en el debate este jueves con información de @RosuGrigore, @ma2bd, @shresth3103, @UBAMain. 🗓️ 24 de abril | 🕙 10am CT | 🎙️ X Space organizado por @Pi_Squared_Pi2 con @pod_xyz, @linera_io → Establece un recordatorio ahora ↓ https://t.co/srK2FMGZCc

Nuestro equipo ha estado trabajando duro esta semana. TL;DR: Alcanzamos dos hitos importantes: → Nuestro primer prototipo público de mirroring de blockchain para Ethereum → Trabajo inicial en computación verificable fuera de la cadena a través de TEEs Echa un vistazo al hilo de @RosuGrigore para ver qué más se ha publicado.

¿Quién está construyendo el nuevo estándar de verificabilidad? Me alegro de que lo preguntes. Conozcamos al equipo detrás de Pi2. Primero, nuestro CEO @RosuGrigore, también profesor de @cse_uiuc. Fundador de @rv_inc, ex @NASA. Le gusta construir cosas on-chain e IRL. Conócelo y descubre por qué fundó Pi2 ↓ https://t.co/ve0WlT1MCv

Cargas para desempacar en el Día de Crypto Agente de @alt_layer - sobre la actual meta de IA, verificabilidad y tendencias hifenadas de IA. Me encantó escuchar a este panel imaginativo - moderado por @dabit3, con @deligong, Alan de @brevis_zk, @GuyItzh de @FhenixIO y @RosuGrigore de @Pi_Squared_Pi2

La capacidad de AAA se dispara. ¿Cómo podemos mantener a nuestros agentes bajo control en medio de este nuevo orden mundial? Verifique >>> confíe cada vez con la infraestructura adecuada@dabit3, @eigenlayerAlan Li, @brevis_zk@RosuGrigore, @Pi_Squared_Pi2@deligong, @AutomataNetwork@GuyItzh, @fhenixio https://t.co/zQjooMfWTl

1/🧵Ayer, @RosuGrigore, Yi Zhan y @Ovcd27 de @Pi_Squared_Pi2 presentaron "Trayendo Universalidad a Web3" en el taller BUIDL de @EthereumDenver Un breve hilo de la presentación (o ve a ver la grabación👇) https://t.co/kGvtVSOmGV

"Trayendo todos los lenguajes de programación a todas las zkVMs" - ⁦@RosuGrigore⁩ https://t.co/hyaFJgaBCi

"El mantenimiento del lenguaje es un infierno" - @RosuGrigore Pi Cuadrado es la clave para romper las barreras de los lenguajes de programación en Web3@EthereumDenver https://t.co/qSTjCfFF2c

Si te perdiste nuestro taller BUIDL ayer, @RosuGrigore regresa al escenario Captain Ethereum hoy a las 12:05 PM para presentar "Pi Cuadrado: Trayendo Todos los Lenguajes de Programación a Web3."No te lo pierdas - más detalles aquí: https://t.co/vgpMlbhHvR https://t.co/TDFxhx04TU

Pi Squared: Trayendo Universalidad a Web3 por @RosuGrigore, Yi Zhang y @Ovcd27 de @Pi_Squared_Pi2! Explora cómo las herramientas de desarrollo de vanguardia de Pi Squared empoderan a los desarrolladores de Web2 y Web3 para escribir contratos inteligentes de Ethereum en sus lenguajes de programación favoritos. Video completo a continuación 👇🧵

"Nuestra solución a la fragmentación de Web3: Universalidad" - @RosuGrigore en HederaCon por @hedera

¡El Día de la Investigación está en pleno apogeo! En nuestro primer panel tuvimos a @zhenfei_zhang y @RosuGrigore, quienes dieron inicio a un gran panel sobre el futuro de la verificabilidad🔥 ¡Gracias a @0xNoEscrow por moderar!

🧵1/4 gm² - aquí es donde nos puedes encontrar hoy ↓ Día de Investigación DeFi Modular por @encodeclub Tema: El Futuro es Verificable Hora: 10:50 AM MT Panelistas: @RosuGrigore de @Pi_Squared_Pi2 y @zhenfei_zhang de @PolyhedraZK Registro: https://t.co/iHukvbeYbm

¡Conoce a @RosuGrigore y ve nuestra tecnología en acción!

DÍA CRIPTO AGENTIC 🔥 PANEL "Verificabilidad en IA y Blockchain" @dabit3 de @eigenlayer @pumatheuma de @SuccinctLabs Alan Li, @brevis_zk @RosuGrigore de @Pi_Squared_Pi2 @deligong de @AutomataNetwork @GuyItzh de @fhenixio 📆 28 de febrero 📍 The Curtis - Denver https://t.co/Q9dVndShA8 https://t.co/D6fnhQjvj4

Estamos igualmente emocionados de que @RosuGrigore hable en @EthereumDenver y esperamos compartir cómo incorporaremos a un millón de desarrolladores a Web3. Vea más detalles sobre nuestro taller aquí: https://t.co/EbkeyAg4LN

Nos complace compartir que la primera fase del Lanzamiento Privado de USH ha concluido con éxito. Este hito se centró en desplegar el Pool Aislado en Mainnet y en aportar liquidez inicial de varios socios en el ecosistema #MultiversX.Gracias a este esfuerzo, el Protocolo Aislado logró un TVL inicial de 20,41 millones de dólares (621,1 mil $EGLD). Debido a la sinergia entre el Pool Aislado y nuestro Protocolo de Staking y Préstamos Líquidos, esa cantidad se triplicó efectivamente, elevando el TVL total del ecosistema Hatom de 160,22 millones de dólares a 221,45 millones de dólares.En esta etapa, el TVL reportado aún no incluye contribuciones de la comunidad ni otros módulos de USH. La comunidad más amplia tendrá su oportunidad de unirse cuando avancemos al lanzamiento público de Mainnet. Queremos extender nuestro sincero agradecimiento a todos los socios que nos apoyaron en esta primera fase del Mainnet Privado de USH:@MultiversX, @iVerseVision, @lucianmincu, @Veroc_Daniel, @RosuGrigore, @UnitedStaking, @QoWattEcosystem, @foxsy_ai, @ProjectX_DAO, @ProteoDefi, @SasuRobert, @EAPESCLUB, @TheDinoVox, @TortugaStaking, @VorteXz171, @WaveNodeValid, @SmartChainCnx, @moonlorian, @OriusLLC, @valuestaking, @Rarity_market, @MiddleStaking, @autoscale_, @itheum, @ColombiaStaking, Incal, Rohan Stake, SkynetEGLDCapital.También estamos emocionados de anunciar que la segunda fase del lanzamiento del Mainnet Privado ya está en marcha. Esta fase se centra en crear múltiples LPs para asegurar una liquidez profunda para $USH el día del lanzamiento, en asociación con @xExchangeApp, @ash_swap, @MultiversX y @foxsy_ai.Al implementar varios pools de liquidez desde el inicio, nuestro objetivo es estabilizar $USH y permitir a los usuarios comerciar con él contra varios pares de inmediato. Esta iniciativa es crucial para mantener la estabilidad de USH y ayudará a los DEX y agregadores a aumentar su actividad e ingresos. Además, la introducción de estos LPs de $USH abrirá la puerta a nuevas oportunidades de arbitraje, impulsando más actividad en cadena dentro del ecosistema #MultiversX a través de mecanismos innovadores construidos alrededor de $USH.También animamos a los proyectos a cambiar a LPs de stablecoin, siguiendo el ejemplo de las cadenas líderes. Esto ayuda a fomentar un mercado justo para sus tokens y minimiza la presión de venta sobre $EGLD. Bajo el modelo actual, cualquier venta de tokens impacta directamente en $EGLD, al igual que en los primeros días de Ethereum, cuando la mayoría de los LPs estaban emparejados con $ETH.En ese sentido, $USH se lanzará con LPs para USH-EGLD, USH-USDT, USH-USDC, USH-HTM, USH-MEX, USH-ASH, USH-UTK y USH-FOXSY. Todos estos pares estarán disponibles desde el primer día y listos para ser cultivados. Cualquier Token de LP recibido de las granjas puede ser apostado de inmediato en Hatom para asegurar altos rendimientos.La tercera fase del lanzamiento se centra en implementar los restantes módulos y facilitadores de $USH, habilitando la acuñación de $USH y reanudando los diversos LPs. En ese momento, $USH estará completamente desplegado, operativo y accesible para todos. Se compartirá un anuncio con un temporizador de cuenta regresiva previamente, especificando la fecha y hora exactas. Solo es cuestión de unos pocos días ahora.Como parte de este lanzamiento, introduciremos una gama de nuevas características e iniciativas:MercadosLa sección de Mercados se actualizará para incluir datos sobre $USH y sus facilitadores. Podrás monitorear parámetros en tiempo real para cada facilitador, como montos de colateral o $USH acuñados, directamente desde el panel.AnalíticasEstamos desarrollando una de las páginas de analíticas más completas dentro de #MultiversX. Ofrecerá información detallada sobre cada aspecto de los productos de Hatom, ayudando a los usuarios a comprender y analizar una amplia gama de métricas y parámetros a lo largo de todo el protocolo.Integración con DuneJunto con la página de Analíticas, estamos implementando una integración con @Dune para llevar #MultiversX a una de las plataformas de datos cripto más populares. Los usuarios avanzados podrán personalizar y construir gráficos y vistas de datos únicas adaptadas a sus necesidades.GobernanzaDespués de casi dos años de actividad en Mainnet, el protocolo ha madurado y la comunidad está lista para ayudar a guiar su dirección.Poco después del lanzamiento de $USH, la función de Gobernanza estará activa, permitiendo a los miembros de la comunidad participar en la toma de decisiones y dar forma al futuro del protocolo.SubvencionesPronto introduciremos un programa de subvenciones para apoyar proyectos que se desarrollen sobre el Hatom Protocol. Esta iniciativa ofrecerá tanto asistencia financiera como técnica, ayudando a los desarrolladores a alcanzar sus objetivos.El primer proyecto en beneficiarse de este programa será @autoscale_, un optimizador de rendimiento innovador en Hatom, diseñado para ayudar a los usuarios a capturar rendimientos atractivos y ejecutar estrategias complejas con facilidad. Incluso antes de que el programa de subvenciones se lance oficialmente, invitamos a los proyectos que se desarrollan sobre Hatom a ponerse en contacto para que podamos explorar sinergias potenciales y comenzar a ofrecer nuestro apoyo.Estamos increíblemente agradecidos a nuestra comunidad por apoyarnos desde el principio. ¡Esto es solo el comienzo de lo que promete ser un año emocionante!

📢 Noticias Diarias de Crypto Oasis@Pi_Squared_Pi2, una startup fundada por el profesor de ciencias de la computación de @UofIllinois Urbana-Champaign, Grigore Rosu, ha recaudado $12,5 millones en una ronda de financiación inicial liderada por @polychaincap.https://t.co/xRqPyq1xJR@Coindesk https://t.co/0P9YjTv4Km

⏳ Nos estamos acercando al Infra Day @EthCC Bruselas.✍️ Regístrate ahora y nos vemos el 8 de julio: https://t.co/9KUwIBc2MyCo-creado por @ScopeProtocol y @ABCDELabs, la alineación de oradores de Infra Day está repleta de los principales fundadores y creadores en Web3:@0xSentry, Co-Fundador y CEO @ScopeProtocol@0xRaffaele, Co-Fundador y COO @ScopeProtocol@BMANLead, Co-Fundador de @ABCDELabsMisha Putiatin, CEO @symbioticfi@jayendra_jog, Co-Fundador de @SeiNetwork@yangl1996, Co-Fundador de @megaeth_labs@0xOddrey, CTO @TheSpartanLabs@RosuGrigore, Co-Fundador de @Pi_Squared_Pi2Harry Kalodner, Co-Fundador y CTO @OffchainLabsChi Zhang, Co-Fundador y CEO @ZettaBlockHQ@bidhanxyz, Fundador y CEO @bagel_network@hilmarxo, Fundador @gelatonetwork@leofanxiong, Co-Fundador @cysic_xyz@GiulioRebuffo, Desarrollador Principal de Ethereum @ErigonEth@CarlKVogel, Socio de @6thManVentures@0xRainandCoffee, Socio de Investigación @Maven11Capital@JJAlicea0x, construir, asesorar, invertir @anagramxyz@vyas_krishnan, Estrategia @eigenlayer@TheOnlyNom, Contribuidor Principal @bonk_inu@Chrizhuu, Co-Fundador de @SonicSVM@rushimanche, Co-Fundador @movementlabsxyz@henrlihenrli, Jefe de Devrel @starknetfndn@toghrulmaharram, Hechicero de Rollup @Scroll_ZKP@emceecoy_, Director de Infraestructura @Sei_FNDTausif Ahmed, VP de BD @ionet🤝 Un agradecimiento especial a nuestro socio @ABCDELabs, que ayuda a los fundadores transformacionales a construir el #NextGenInternet, por colaborar con nosotros en este evento.

¡Felicitaciones a @Pi_Squared_Pi2 y a nuestro asesor @RosuGrigore!\n\nAprovechar K-framework para generar pruebas con una capacidad independiente del lenguaje a partir de la semántica formal del sistema mejorará nuestro progreso en ZK al máximo.\n\n¡Una vez más! ¡Felicitaciones!

Estamos absolutamente emocionados de compartir que hemos recaudado una ronda de semillas de 5 millones de dólares liderada por @blockchaincap, con la participación de @velocitycap_ y @Web3com_VC.Los inversores ángeles incluyen a @RosuGrigore, @dlubarov, @ThogardPvP, @0xshake, @Shujia_STEM, @mheinrich, @radedoc y @agfviggiano. https://t.co/HkLnvmPyks