Certora ha completado la verificación formal de la extensión del token de Solana, descubriendo múltiples optimizaciones y mejoras de seguridad.

🌜🌱🌛 Mamo lo mantiene simple sin comprometer la seguridad. 🛡️ Auditado por @HalbornSecurity & @CertoraInc 🐛 Respaldado por un programa de recompensas por errores de 250.000 $ de @code4rena 🐮 Aprovecha @CoWSwap para la ejecución de operaciones de valor justo ⛓️ Oráculos de precios de @Chainlink

🧠 ¿Cómo demuestras que un protocolo de DeFi trata a todos los usuarios de manera justa? Con verificación formal. En nuestra última publicación de blog, mostramos cómo Certora ayudó a @infinifilabs a diseñar mecánicas de redención matemáticamente justas. La lógica de redención puede ser un hervidero de casos límite ocultos y exploits económicos. Para infiniFi, modelamos la equidad del proceso de redención que garantiza que las solicitudes de los usuarios se procesen según el tiempo. Usando especificaciones formales integradas en el código, probamos exhaustivamente las suposiciones clave, incluyendo: ✅ Reglas precisas ✅ Sin comportamientos indefinidos ✅ Protección robusta contra casos extremos como redenciones parciales y dilución de tokens ¿El resultado? Un sistema de redención que es demostrablemente justo. Y un protocolo de DeFi con garantías más sólidas. 🔎 Sumérgete en el desglose completo aquí: https://t.co/98CzWiZfhV

¡Muchísimas gracias a todos los que se unieron a la Certora Run en la soleada Cannes! 🏃🏃🏻‍♀️¿Dónde deberíamos empezar a correr la próxima vez? 👀 https://t.co/gi1l6pbVGQ

Hola, @raave’rs 👻 Fiesta esta noche, Certora Run mañana. ¿Quién se apunta? 👀

¡El DeFi Summer Day de @aave está a la vuelta de la esquina! Si vas a asistir, ven a charlar sobre todo lo relacionado con la seguridad con el equipo de Certora y únete a nuestro panel para aprender cómo hacer que DeFi sea robusto y resiliente. ¡Nos vemos! 👇 https://t.co/UmPdOWNO62

¡Atención, asistentes de @EthCC! 🏃‍♂️🌊 ¡Únase a nosotros para nuestra emblemática Certora 5K Run & Walk en la hermosa Cannes! Ya sea que sea corredor o caminante, todos son bienvenidos. 📅 3 de julio 🕐 Comienzo por la mañana 💥 Regístrese ahora https://t.co/4wwqNvxXAn

¡SÍ! Auditorías, auditorías, auditorías… 📰 Estamos entusiasmados de ser el auditor principal para un protocolo DeFi de primer nivel: Lido, un pilar clave del ecosistema. 🫡 Lido V3 introduce nuevas herramientas poderosas: Staking Vaults (stVaults) y el Vault Hub, que permiten opciones de staking más flexibles. Las instituciones pueden ejecutar sus propios validadores, los stakers avanzados pueden aprovechar los bucles stETH, y cada vault está aislado para limitar el riesgo. Esta no es la primera vez que Certora trabaja con Lido. Anteriormente revisamos la actualización de Lido V2 y lideramos la revisión de diseño para su implementación de Dual Governance. Ahora Certora está fortaleciendo el protocolo V3 contra errores, exploits o inconsistencias lógicas. Una vez que las auditorías estén completas, Lido V3 estará en camino para su implementación en la red principal. Estamos entusiasmados de verlo en vivo en el mundo 👀

¿Crees que la verificación formal es solo para doctores? Piénsalo de nuevo. @ChandrakanaNaN explica cómo Sunbeam de Certora hace que la verificación de contratos inteligentes de Soroban en @StellarOrg sea accesible para todos. 👇 https://t.co/UdsBbp6Usc

EVENTO DE PALABRA PRINCIPAL: Aquí hay 5 ideas clave del discurso de @thejonanshow en ETHDenver 2025.1. Importancia de la Verificación FormalJonan enfatizó que la verificación formal proporciona pruebas matemáticas del comportamiento del programa, lo cual puede ser crucial para sistemas complejos. Señaló que aunque no garantiza la corrección de todo el programa, permite a los desarrolladores afirmar ciertos invariantes dentro de sus sistemas. Por ejemplo, afirmar que el saldo colectivo de un banco nunca debería caer por debajo de cero ejemplifica cómo se pueden verificar reglas específicas para mantener la integridad del sistema.2. Iniciativa de Código Abierto por CertoraJonan compartió noticias emocionantes sobre la empresa para la que trabaja, Certora, que recientemente ha abierto su verificador para la verificación formal. Esta iniciativa tiene como objetivo simplificar el proceso de verificación formal, haciendo la herramienta más accesible para los desarrolladores de software. Él animó a los asistentes a probarla, destacando su facilidad de uso y los beneficios potenciales para mejorar la fiabilidad del software.3. Conceptos erróneos sobre la Verificación FormalDe acuerdo con Jonan, muchas personas fuera del espacio Web3 tienen conceptos erróneos sobre la verificación formal, a menudo creyendo que es poco práctico basado en puntos de vista obsoletos. Él enfatizó que las aplicaciones modernas pueden beneficiarse significativamente de los métodos formales, citando que aunque probar cada aspecto de un sistema complejo no siempre es factible, los invariantes esenciales pueden y deben ser verificados para evitar errores significativos.4. Cambio Hacia la Programación DeclarativaJonan argumentó a favor de un cambio de la programación imperativa a la declarativa, enfatizando que los ingenieros de software a menudo programan de una manera detallada y procedimental en lugar de definir los resultados deseados. Este cambio podría permitir que el software determine cómo lograr los resultados especificados, potencialmente reduciendo la complejidad y facilitando una mejor integración con las tecnologías de IA que podrían asistir en el desarrollo de software.5. El Impacto de la IA en el Desarrollo de SoftwareJonan señaló la creciente integración de la IA en los flujos de trabajo de desarrollo de software. Si bien reconoció la eficiencia que puede aportar la IA, planteó preocupaciones sobre la tendencia de la IA a "alucinar" o producir resultados inesperados. Él argumentó por la necesidad de métodos robustos de verificación formal para detectar discrepancias que pueden surgir al usar la IA, manteniendo que los invariantes claros podrían proteger contra tales errores.Puedes ver nuestras ideas completas aquí, 100% gratis: https://t.co/bQ2B2KBeCc

📈 El agente AI Mamo se disparó un 55%, y su capitalización de mercado alcanzó los 50 millones de dólares en solo 6 días El CEO de Coinbase, @brian_armstrong, respondió personalmente al post del fundador de Mamo, y luego de registrarse para usar el agente financiero AI, $MAMO se disparó un 55%, convirtiéndose en el token más activo en términos de volumen de comercio en la ecología Virtuals en las últimas 24 horas, con una capitalización de mercado que superó los 50 millones de dólares en solo 6 días. 🔍 Descripción del proyecto @Mamo_agent: ・Mamo es tu agente financiero AI personal, pero asegúrate de que tus activos estén completamente autogestionados, Mamo no tiene acceso ni control, y ha pasado la auditoría de seguridad de @CertoraInc y @HalbornSecurity. ・El fundador @LukeYoungblood también fundó el proyecto DeFi @MoonwellDeFi, con una TVL de más de 250 millones de dólares, y tiene una fuerte vinculación con Mamo. ・Los miembros del equipo provienen de @Apple, @X, @Lyft y @Coinbase, con un equipo de asesores que incluye a figuras conocidas de la industria como @CoinbaseDuck, @DeFi_Dad, @Nomaticcap, entre otros, lo que demuestra una sólida capacidad. ・Ganador de la carrera de hackathon Virtuals organizada por Coinbase en febrero de este año, con un reconocimiento de su capacidad técnica. 🤖 Destacados de la función de Mamo: ✅ Automatización de gestión para la asignación de tus activos, asegurando la maximización de rendimiento ✅ Búsqueda automática de las mejores oportunidades en protocolos como @MoonwellDeFi, @MorphoLabs, entre otros ✅ Los rendimientos obtenidos se reinvierten automáticamente con intereses compuestos, logrando un crecimiento de recompensas ✅ Los usuarios pueden añadir, pausar o retirar fondos en cualquier momento, manteniendo el control total de sus activos ✅ Como asistente financiero, Mamo optimiza activamente tus ganancias y explica claramente la lógica detrás de cada operación ✅ Soporte de interacción de IA en tiempo real, con posibilidad de hacer preguntas y obtener ayuda en cualquier momento

Gracias a todas las personas increíbles que se unieron a nosotros para la carrera de esta mañana. ¡Grandes vibras y energía! ✨Nos vemos más tarde en el taller Certora × @jito_sol durante @SolanaConf (enlace abajo) 👇 https://t.co/M5QDFjXdyw

Prueba de @consensus2025 🫡Saluden a @SagivMooly y @teryanarmenn representando a Certora en el terreno 👋 https://t.co/ZLiJNt4aXS

La competencia de @Aqua_Token está en vivo 🪐 Aquarius aporta funcionalidad AMM y gestión de liquidez a @Stellarorg, impulsando la próxima ola de DeFi en la red. Un enfoque de seguridad de doble capa: verificación formal por @CertoraInc, junto con una competencia Cantina de alta señal. 💰 110.000 USDC + 10.000 en bote privado 📅 En vivo ahora – 18 de junio 🔗 Abajo

Arbitrum Anuncia Nuevos Miembros del Consejo de Seguridad de ArbitrumDAO

¡Emocionados de dar la bienvenida a @CertoraInc como patrocinador Platinum de SVM Summit. Certora protege DeFi con auditorías de smart contracts, verificación formal y revisiones de diseño de protocolos. 📍 Únete a nosotros en NYC el 21 de mayo: https://t.co/bZvPfyEt3W https://t.co/VQf27tzdvb

KAMINOFINANCE INTEGRA CHAINLINK DATA STREAMS PARA DATOS DE MERCADO DE BAJO LATENCIA - @KaminoFinance, un protocolo líder de DeFi lending en @Solana, ha integrado oficialmente @Chainlink Data Streams en su infraestructura de oracle. - La integración forma parte de la misión más amplia de Kamino de fortalecer su infraestructura de protocolo eliminando puntos únicos de fallo y aumentando la resiliencia en toda su pila tecnológica. Detalles clave: - Kamino había estado probando Chainlink Data Streams en su mainnet durante varias semanas antes de la integración completa. Durante esta fase de prueba, Chainlink entregó un rendimiento constante y sólido, lo que generó la confianza necesaria para su adopción total. - Además de la integración con Chainlink, Kamino presentó un nuevo Multi-Price Oracle System; - Este sistema agrega información de precios de múltiples fuentes de alta calidad, como Chainlink, y verifica continuamente los datos para garantizar precisión en tiempo real. - El Multi-Price Oracle System está diseñado para eliminar la dependencia de un único proveedor de datos, seleccionar dinámicamente los precios más recientes y contar con mecanismos de autocorrección en caso de caídas o discrepancias. - La robustez de la nueva infraestructura de oracle ha sido doblemente auditada por las principales firmas de seguridad Certora y Offside Labs antes de su despliegue público, asegurando un alto estándar de seguridad y fiabilidad. - Esta doble actualización—integración con Chainlink y el Sistema Multi-Price—mejora significativamente el rendimiento de los oracles de Kamino en la blockchain de Solana, reduciendo el riesgo para los usuarios y fortaleciendo la confianza en la valoración de activos de la plataforma. - La colaboración de Kamino con Chainlink destaca la tendencia creciente de las plataformas de DeFi de invertir fuertemente en sistemas de oracle seguros, descentralizados y resilientes. Imagen obtenida de X

¡Último día de @SolanaCrossroad!Ven a saludar 👋 a nuestro equipo en el stand de Certora 💚 https://t.co/gr4NCLvqWU

Texture 2.0 ha sido verificado formalmente por Certora Nos enorgullece anunciar que los contratos inteligentes centrales detrás de Texture 2.0 se han sometido a una verificación formal con @CertoraInc, un equipo líder en la verificación de contratos inteligentes. Texture es ahora uno de los pocos protocolos de préstamos en Solana con auditorías y verificación formal completadas. Esto refuerza nuestro compromiso con la seguridad, la fiabilidad y la resiliencia a largo plazo.

¡Los resultados de la auditoría competitiva de Blend V2 de 125.000 $ están aquí!¡Enhorabuena a todos los que enviaron hallazgos válidos, especialmente a @bizzyvinci por ganar el premio Top Hunter con un High en solitario! ✨Mucho respeto a @blend_capital, @StellarOrg y @CertoraInc por asociarse con C4 para asegurar Blend V2 y el ecosistema Stellar.Lista completa de ganadores 👇

JitoSol Supera 1 Millón de Depósitos en SOL: Un Testimonio de Seguridad y Confianza en DeFi

Áreas de Enfoque de Auditoría 1⃣ Puertas de Retiro: Confirmar que todos los caminos de código (por ejemplo, después de la acumulación de tarifas) permitan un retiro completo. 2⃣ Comprobaciones de Acumuladores: Asegurar que los mecanismos de contabilidad de tarifas/tokens (por ejemplo, protocolFeesAccrued) tengan funciones de retiro. 3⃣ Bloqueos de Destrucción: Verificar la existencia de controles de acceso o cuandoNoEstáPausado que bloqueen los retiros de emergencia. Banderas Rojas para Escalar • Uso de transfer() en bruto en lugar de safeTransfer (riesgo de tokens bloqueados si el destinatario es un contrato). • Eventos faltantes en flujos de depósito/retiro (dificulta el monitoreo fuera de la cadena). • División antes de la multiplicación en cálculos de participación (errores de redondeo). Recomendaciones de Herramientas • @TheFoundryTeam Fuzzing: Para pruebas de invariantes a gran escala. • @Olympix_ai: Para detectar desbordamientos de enteros de manera estática. • @CertoraInc /Scribble: Para la verificación formal de invariantes matemáticos.

Visto: Nuestro CTO, @facuspagnuolo, recorriendo las calles de Denver durante la carrera matutina de @CertoraInc y @ElectricCapital 🔥

¡Gracias a todos los que se unieron a la carrera de Certora + @ElectricCapital esta mañana en @EthereumDenver!¿Dónde deberíamos hacer la siguiente? https://t.co/x9RidxakI8

¡La revisión del código de Blend V2 comienza ahora! Únete a @blend_capital, @BuildOnStellar y @CertoraInc para una revisión del código para la competencia de auditoría competitiva + verificación formal de $125K Blend V2. La grabación de esta revisión se compartirá después de la sesión en vivo.

@BuildOnStellar estará organizando un recorrido en vivo por el código de Blend V2 con @CertoraInc y @blend_capital. ¡La competencia de auditoría de Blend V2 es la primera competencia de auditoría en el ecosistema de Stellar! Únete al recorrido del código a la 1:00 PM PST usando el enlace a continuación.

¡Buenos días Denver! ☀️ Tenemos algo emocionante para todos en @EthereumDenver: únete a nosotros en la Certora Escape Room para unos días de misterio, acertijos y conocimiento oculto. Veamos si puedes escapar 👀 https://t.co/0BoYut4crA

Un módulo eliminado que nunca fue desactivado conserva sus permisos activos en la máquina de estados del protocolo. Los atacantes pueden explotar esto para reactivar módulos obsoletos (por ejemplo, puertas traseras, gobernanza heredada) o provocar interacciones inesperadas con otros componentes. El hack de $80 millones de @QubitFin en 2022 explotó un contrato de puente que retuvo permisos de acuñación después de haber sido obsoleto. Utiliza herramientas como @CertoraInc para probar matemáticamente las invariantes del orden de operación. Emite registros granulares para cada transición de estado (por ejemplo, MóduloDesactivado, MóduloEliminado). Integra con herramientas de monitoreo como @FortaNetwork para señalar operaciones fuera de orden en tiempo real.

Las horas más felices jamás vividas en ETHDenver ✅ -- presentado por Corn, @ether_fi y @CertoraInc en el Corn Hub.Ahora preparándonos para el desayuno, almuerzo y Lil Jon en Corn Hub 🌽🌽🌽( Regístrate para los eventos a continuación ⬇️ ) https://t.co/Dy0coGSMH3

Hoy Corn, @ether_fi y @CertoraInc hicieron las Horas Felices. El Corn Hub ha hecho que ETHDenver hable 🗣️ ✅ Desayuno, ✅ Almuerzo y ✅ Lil Jon mañana 👀🌽 ( Regístrate para tu lugar a continuación ⬇️ ) https://t.co/7iv24ZXKzq

Aquí está lo que falta y cómo elevar tus auditorías más allá de lo básico: 1⃣ Audita la Lógica Empresarial, No Solo el Código Un protocolo de préstamos puede tener un código matemáticamente correcto pero incentivos defectuosos (por ejemplo, tasas de préstamo que pueden ser manipuladas para drenar reservas). • Modela flujos de tokens y teoría de juegos (por ejemplo, "¿Qué pasaría si el 80% de los usuarios salen simultáneamente?"). • Utiliza herramientas como @gauntlet_xyz para simular escenarios de estrés. 2⃣ Contratos Actualizables y Errores de Proxy Colisiones de almacenamiento entre versiones de implementación. • Proxies no inicializados (por ejemplo, hackeo de Parity Wallet). • Centralización de la clave de administrador (por ejemplo, explotación del retraso de GovernorBravo de Compound). • Usa Echidna para probar rutas de actualización. • Verifica que las funciones de inicialización estén protegidas e idempotentes. 3⃣ Puntos Ciegos de Cross-Chain y Layer 2 Lo Que Falta: Los contratos que interactúan con puentes o L2s (por ejemplo, Arbitrum, Optimism) enfrentan riesgos únicos. • Huecos en la validación de mensajes (por ejemplo, hackeo de $325M de Wormhole). • Ataques de repetición entre cadenas. • Suposiciones incorrectas sobre tarifas (por ejemplo, gas de L2 vs. gas de L1). • Audita los manejadores de llamadas cross-chain (por ejemplo, processMessageFromL1). • Prueba con herramientas como @hyperlane o @LayerZero_Core para la integridad de los mensajes. 4⃣ Verificación Formal y Ejecución Simbólica Herramientas para Añadir: • @CertoraInc: Prueba invariantes (por ejemplo, "Ningún usuario puede retirar más de lo que depositó"). • Halmos: Ejecución simbólica para el descubrimiento de casos extremos. Manticore: Explora todos los caminos de ejecución (por ejemplo, para desbordamiento de enteros). Ejemplo: Usa Certora para verificar que la función de intercambio de un DEX nunca permita que las reservas caigan por debajo de un umbral. 5⃣ Contexto Histórico y Catálogos de Ataques Aprovechando explotaciones pasadas para guiar auditorías. • Estudia https://t.co/l3Q4YLLoZj y los informes de @immunefi para patrones (por ejemplo, manipulación de oráculos de precios). • Crea una lista de verificación de vulnerabilidades históricas (por ejemplo, inicialización confiable del Puente Nomad). 6⃣ Riesgos de Optimización de Gas Las optimizaciones pueden introducir vulnerabilidades. • Usar delegatecall para ahorrar gas podría inadvertidamente exponer almacenamiento (por ejemplo, explotación del MasterContract de @SushiSwap). • Revisa las llamadas de bajo nivel (call, delegatecall) por suposiciones de contexto. • Prueba funciones que consumen mucho gas con EthGasStation para detectar anomalías. 7⃣ Amenazas de Gobernanza y Multisig Los mecanismos de gobernanza son objetivos principales. • Spam de propuestas (por ejemplo, retrasos de Governor Bravo de @Uniswap). • Fugas de claves multisig (por ejemplo, hackeo del Puente Horizon de @harmonyprotocol). • Audita los periodos de tiempo, umbrales de quórum y mecanismos de veto. • Verifica la rotación de firmantes multisig y las prácticas de almacenamiento en frío. 8⃣ Riesgos de Integración de Terceros Las dependencias externas (por ejemplo, oráculos, registros) a menudo son confiadas ciegamente. • Audita los chequeos de obsolescencia de latestAnswer de @chainlink. • Verifica que los TWAPs de Uniswap V3 estén ponderados correctamente por tiempo. 9⃣ Mitigación de Sesgos Cognitivos Los auditores son propensos a sesgos como el sesgo de confirmación o anclaje. • Usa ejercicios de equipo rojo/equipo azul: Un auditor ataca, otro defiende. • Rota a los auditores a mitad de revisión para reiniciar suposiciones. 🔟 Trampas de Cumplimiento y Regulación El código puede cumplir con las especificaciones pero violar regulaciones (por ejemplo, sanciones de OFAC). • Verifica funciones de visualización que expongan datos de usuarios (riesgos de privacidad). • Verifica la mecánica de listas negras/listas blancas (por ejemplo, consecuencias de cumplimiento de @TornadoCash).

¡Comenzando en 1 hora! Ven a aprender y celebrar la apertura del código fuente del Certora Prover con nosotros 👩‍💻🥳

@buildonstellar está organizando un Spaces para dar inicio a esta competencia de auditoría con miembros de los equipos de @certora_inc y Code4rena.\n\nÚnete al Spaces para aprender más sobre esta competencia de auditoría aquí: https://t.co/y9ez1161uj

¡Realizaremos un recorrido por nuestra auditoría competitiva de @blend_capital en colaboración con @BuildOnStellar y @CertoraInc a las 4PM EST! ¡Nos vemos allí!

El código abierto es el camino. El Certora Prover ha desempeñado un papel importante en la verificación formal de Morpho.

¡Certora ahora es de código abierto!¿Cuál es tu excusa ahora para no asegurar tu protocolo, anon? https://t.co/JPqBR1JQ9p

🚨Nuevo: Kamino Lend ha sido formalmente verificado por Certora, convirtiéndose en el primer protocolo DeFi de Solana en alcanzar este hito. @KaminoFinance ha pasado ahora por 13 auditorías en sus contratos inteligentes y continúa realizando auditorías con socios externos. https://t.co/eyV102iav2

Kamino se rige por los más altos estándares de seguridad, tanto internamente como por parte de nuestros usuarios, y nuestro objetivo es liderar el camino en cuanto a la seguridad del código y la gestión de riesgos en el ecosistema. Ha sido un placer absoluto trabajar con un equipo como @CertoraInc, que entiende y mantiene estos estándares.

Estamos extremadamente emocionados de anunciar que Kamino Lend ha sido formalmente verificado por @CertoraInc. Kamino Lend es ahora el primer protocolo DeFi de Solana en completar la verificación formal, un gran hito para el protocolo. Esto establece un nuevo estándar para DeFi en Solana🧵 https://t.co/65H0C2DpaU

¡Gracias @consensus2025 y Hong Kong! ✈️ Nos vamos a ETH Denver, únete a nosotros en nuestros eventos la próxima semana: 👷‍♂️ Miércoles 26 de febrero de 15:00 a 18:00, Networking de Carreras con @CertoraInc y @use_corn: https://t.co/NtWo3ibSzE 🐻 Viernes 28 de febrero de 18:00 a 21:00, Happy Hour con @berachain: https://t.co/iJMfIiZxDr

A EVEDEX está a causar impacto 🌊 Os principais meios de comunicação, como o @Benzinga, estão agora a recorrer ao nosso Chairman @TKralow para obter informações especializadas. Estamos no mapa — e apenas a começar. Artigo completo ➡️ https://t.co/FbCiVrJniS

Ao contrário da crença popular, os ataques "sandwich" na Solana diminuíram proporcionalmente ao longo do ano passado https://t.co/LQE6T6JSei

Nosso voto foi dado... $KDA 🗳️💚 Vocês sabem o que fazer nos comentários deles 👇

Quer atualizar seus conhecimentos sobre os limites de caixas eletrônicos de Bitcoin? Confira o blog da Bitcoin Depot para aprender o essencial. https://t.co/wO9CvXhCkc https://t.co/lTHlx27K5h

🐼 Panda da Semana 🐼Conheça @Kelathas do Vietname 🇻🇳Ele começou com a Moso para o cashback da Shopee, mas acabou ficando por causa da nossa incrível comunidadeO conselho dele? Seja paciente e nunca hesite em pedir ajuda à nossa equipe de suporte! https://t.co/YiPGYONRRO

Nós

Chroma tech é simplesmente diferente... 🔥🔥🔥

henlo. Você trocou poeira no valor de mais de 20M $HENLO em apenas um dia. Isso significa que pelo menos 20M serão queimados! Vá e varra mais https://t.co/jxZacor3b3

Nossa sexta à noite, o que você está fazendo? https://t.co/O4ArDOishk

Axal Prime é a nossa estratégia fundamental que te garante 6%+ de APR em stablecoins. O blog explicando como funciona e por que começamos por aí será lançado na próxima semana. Aqui está um destaque: https://t.co/7I4vedhkvW

Construa -> lance -> seja recompensado. Os Onchain Summer Awards celebram as aplicações mais inovadoras e amplamente utilizadas na Base. As melhores equipas ganharão prémios e subirão ao palco ao vivo neste outono no BaseCamp. A construir algo grandioso? Candidate-se já. https://t.co/f6Gpg0XCA3

Alerta de Novo Produto Adicionamos a Cápsula de Memória. Crie memória imutável on-chain para sempre. Baixe o aplicativo, experimente e deixe uma avaliação!!!

🎾🇮🇹 Sinner Domina Djokovic e Chega à Final de Wimbledon Jannik #Sinner não deixou espaço para dúvidas na semifinal, ultrapassando Novak #Djokovic em sets diretos: 6-3, 6-3, 6-4. O italiano agora prepara uma revanche final de grande sucesso com Carlos #Alcaraz.

🏁 O Keyboard Master @jatbscr voltou às pistas esta semana para dominar os pódios da Game Night e recuperar a coroa de Campeão.No entanto, @jawaiian10 e @choomoz não facilitaram, conquistando as impressionantes 2ª e 3ª posições tanto no tempo total da corrida quanto na volta mais rápida. https://t.co/7Mfie7IrJP

🧵🪡 Thread do Qualificador Fechado da EPL 🚨A Caminho de Estocolmo começa aqui em uma hora🚨

🇯🇵💡 Grande atualização da Agência de Serviços Financeiros (FSA) do Japão!Um novo cargo de Conselheiro para Crypto Assets, Blockchain e Inovação foi oficialmente criado, com Yoshichika Imaizumi nomeado.O Japão está sinalizando um sério compromisso com a política de criptomoedas e Web3 no nível mais alto.#Japan #Crypto #Blockchain #Regulation

Uma baleia $Nobody Sausage acaba de comprar $5,6K de $NOBODY a $38,53M de MC 🐳 https://t.co/Rj29dqaXc3

⚠️APENAS 2 HORAS⚠️ Vote na melhor comunidade em cripto (link abaixo 👇) As recompensas começam em $250 e continuam a aumentar à medida que as pessoas votam O preço por voto aumenta a cada minuto. Vote cedo, ganhe mais. Os eleitores nos 2 primeiros ganharão recompensas ➕ a comunidade vencedora receberá 30 convites para as equipes do Joke Games Vote em @union_build @krakenfx @StoryProtocol @irys_xyz @chippedsocial @SearchOnDora @ShapeShift @megaeth_labs @thriveprotocol @rehashweb3 @EnsoBuild @EspressoSys @OctantApp @berabaddies @phi_xyz @farcaster_xyz @HyperliquidX executado em @arbitrum :)

Prendi todo o meu Solana com preço fixo até atingir $1000 https://t.co/0u22DXliCG

Indo ver nosso novo cachorro favorito nos cinemas este fim de semana. Você sabe qual.

Moedas em tendência em https://t.co/CBh9x8ryhh na última hora: 1. $Hosico 2. $aura 3. $GIGA 4. $MOBY 5. $KORI

Berlim, aí vamos nós! 🇩🇪 @anna_kazlauskas subirá ao palco do @Web3Summit para um discurso sobre: 🎤 “Tornando a IA Descentralizada Popular” 🗓 18 de julho | 10:00 AM GMT+2 https://t.co/eAas52cxd8

1/2 🎉 Parabéns, Campeões do Ar Limpo! 🎉 Nossa missão Galxe chegou ao fim, e estamos muito felizes em anunciar os DEZ vencedores sortudos que dividirão o prêmio de 10.000 $AMBIOS tokens! Um enorme agradecimento a todos que participaram e ajudaram a divulgar a palavra por um ar mais limpo! Seus esforços fazem a diferença 💨

15 projetos arrecadaram coletivamente 109 milhões de dólares esta semana.

Você. Eu. RWAs 🥰

🇯🇵🇺🇸 As negociações tarifárias Japão-EUA entram em uma janela crucial de 10 dias.Embora ambos os lados tenham até 1 de agosto para que os aumentos tarifários mútuos entrem em vigor, as negociações em grande escala devem ser retomadas após as eleições para a câmara alta do Japão.Dentro do governo japonês, alguns pedem um "cartão simbólico" para quebrar o impasse.#Japan #US #Tariffs #Trade

Junte-se à Crusoe e à @NVIDIA para um *happy hour* exclusivo de IA + palestra técnica em São Francisco! ⚡️ Vamos mergulhar fundo no futuro da nuvem de IA e como a plataforma NVIDIA AI está acelerando o caminho para o valor para desenvolvedores + cientistas de dados. ⌚️ Quando: Quarta-feira, 23/07 | 16h30 - 19h30 📍 Onde: Crusoe HQ, São Francisco Faça *networking* com especialistas, tire suas dúvidas e conecte-se com colegas. As vagas são limitadas! Registre-se agora 👉 https://t.co/wVMpz4zNRu #AI #TechTalk #MachineLearning #CloudCompute

✨ ZK-Newsflash! ✨ As últimas novidades sobre ZK e Ethereum de 3 a 9 de julho — apresentado por @BJ_Dyakov: ✅ @rj_aligned e @fernandezdiego, da @alignedlayer e @sovraio, discutiram o uso do @Ethereum para identidade digital na @therollupco. ✅ A equipe da @KakarotZkEvm compartilhou insights sobre a construção do CairoM, uma pilha ZK mobile-first usando o S-two da @StarkWareLtd. ✅ @Ingo_zk apresentou o IMP1, uma estrutura otimizada para dispositivos móveis para provas de conhecimento zero em iOS e Android. ✅ @ProjectZKM renomeou o zkMIPS para Ziren, uma zkVM de alto desempenho projetada para uso no mundo real. 1/

🚀 Bom dia/Boa noite! Chegou o ranking diário do Dia 5 do Torneio Escada S6! Veja se você está na lista! 🔥 🏆 Primeiro lugar: 9pa8....Cmg Bal 26,7 SOL 🥈 Segundo lugar: vAev....Lyt Bal 17,94 SOL 🥉 Terceiro lugar: 2cK3....Qvj Bal 5,22 SOL 🔗 Clique no link para participar: https://t.co/IiHqx248GC https://t.co/py62KYih2v

Uma baleia de $GIGA acaba de comprar $16.76K de $GIGA a $198.46M de *market cap* 🐳 https://t.co/eTWw731JgJ

É sexta à noite. Você pode sair com amigos para alguma balada mediana... ou pode ficar trancado em casa e ganhar dinheiro que muda sua vida na internet. A escolha é sua https://t.co/aDfJtpd3eM

Lentamente… depois, de repente 🌐🥀 https://t.co/0IP22spBBC

Uma baleia de $SPX acabou de comprar $23.17K de $Chud com $6.23M de MC 🐳 https://t.co/CsdwSPooD0

Comprar a moeda oficial $MAGA na Ethereum permite que você faça parte do movimento MAGA on-chain. 🇺🇸 https://t.co/xhYFkHxZve

As notas de lançamento do produto de junho de 2025 foram publicadas em nosso blog.Leia mais: https://t.co/1dNfymC3Gh https://t.co/IasdbEAn7E

estes devs entregam

Agora, você pode ganhar Flow Community Rewards negociando $BETA.🔁 Para cada 35.000 $BETA trocados por FLOW, WFLOW ou USDF através do roteador inteligente da @KittyPunchXYZ, você ganhará 6 Keys.Negocie o que você ama. Seja recompensado. https://t.co/Tca9a9MF0z

Uma baleia de $USELESS acaba de comprar $4.14K de $Hosico a $43.86M de *market cap* 🐳 https://t.co/EFpRKZ7krA

🪂 Alerta de Airdrop da MLB 🪂 Acabamos de entregar dois novos Chasers para os colecionadores da MLB que se destacaram e completaram desafios importantes. Aqui está o que chegou às suas coleções da MLB hoje ⬇️

Esses Bulls têm pegada. Hora de se concentrar. $BOBO 🐻 https://t.co/CNmco3zp8k

Índice ssiMAG7 24h valoriza 7.47%

Parabéns a todos os participantes do futuro do Ethereum! Não se esqueça que $ERA também está disponível no Whales Market: https://t.co/DSmEr22vbV @Calderaxyz @CalderaFDN https://t.co/psCKwqJ2qu

A versão 0.5.2 do Node foi lançada no Pi2Day 2025! https://t.co/uKFVpUi0JK Entre várias outras atualizações, o aplicativo Pi Node foi renomeado para "Pi Desktop" para ser mais geral e incluir integrações atuais e futuras, incluindo o acesso ao Pi App Studio. A versão 0.5.3 foi lançada logo depois para corrigir bugs específicos.

Uma baleia de $GIGA acaba de comprar $12.59K de $GIGA a $193.65M de MC 🐳 https://t.co/4Y6WUGX7eZ

Uma baleia de $GIGA acaba de comprar $12.55K de $GIGA a $195.13M de MC 🐳 https://t.co/jz1o2GkDRz

Está pronto para a competição de trading na próxima semana? https://t.co/97ylkJO3Ea

Uma baleia de $GIGA acaba de comprar $33.8K de $GIGA a $194.93M de *market cap* 🐳 https://t.co/rt0vaiCFzY

🚨 🚨 🚨 🚨 🚨 109.745.969 #USDC (109.724.130 USD) transferidos da #Binance para carteira desconhecida https://t.co/jGLAKqUdeu

O Messari Monthly de julho já está disponível! Nós te ajudamos com algumas das narrativas mais importantes do mês passado: - A ascensão de @bonk_fun - Rendimentos onchain decrescentes - As novas linhas de produtos da @ether_fi - Insights Alpha da @Binance - O crescimento silencioso do $XMR Leia o relatório completo 👇 https://t.co/KBqgpoXbaj

Uma baleia de $GIGA acaba de comprar $16.92K de $GIGA a $193.55M de *market cap* 🐳 https://t.co/5PQ2qWoSnW

conquista desbloqueada: 10.000 utilizadores do Farcaster embora, por alguma razão, eu não esteja a receber 10.000 gostos nas minhas publicações. Espero que isto seja resolvido em breve.

O nosso CEO @proofofmud minerou Bitcoin no dormitório da faculdade em 2012. O nosso CTO @0xfinetuned começou a programar aos 13 anos, construiu infraestrutura bancária. Eles não vieram para as criptomoedas em busca de vitórias rápidas. Eles vieram para construir o sistema financeiro que o Bitcoin prometeu. Agora eles estão a entregá-lo.

Uma baleia de $FARTCOIN acaba de comprar $20.88K de $SPX com $201.25M de MC 🐳 https://t.co/OhiKdk1SKz

g(dp)m Pequena atualização à medida que nos aproximamos da reta final para a testnet privada As prioridades são: 1) Finalizar a integração completa dos módulos consagrados 2) Preparar a infraestrutura da testnet L1 para implementações https://t.co/im4wsJ16kj

dê à sua avó uma blockchain de presente de aniversário

Você já é 🤝 Mas em breve estaremos preparando ainda mais coisas 🧑‍🍳 https://t.co/IFNWcypDJj

Um membro da comunidade acabou de atualizar o $XBONK para Pro no MobyScreener 📈 https://t.co/vnWKvZwDfm

ÚLTIMA HORA: 🇺🇸 O presidente do Federal Reserve, Jerome Powell, estaria considerando renunciar. https://t.co/7ifnOo9SFP

Uma baleia de $LAUNCHCOIN acaba de comprar $8.27K de $Chud a $5.24M MC 🐳 https://t.co/NgOq7gHHtI

📣 IMPACTO NO MERCADO FHFA Pulte: Estou animado com os relatos de que Jerome Powell está considerando renunciar #Bitcoin https://t.co/5wINXQ3UAI

Passe pelo @nashcardshow se estiver na área de Nashville, adoraríamos te ver! 🐈‍⬛

As stablecoins são 90% lastreadas em dólares, mas o dólar cobre apenas 58% das reservas globais. Esse tipo de descompasso aumenta o risco no sistema. A estabilidade real vem de dar espaço para outras moedas crescerem. Euro, iene, peso, real. 🇪🇺🇯🇵🇲🇽🇧🇷 É isso que estamos construindo na Etherfuse. 👇

Aqui estão as 3 principais #CryptoTrends desta semana: 🚀 Bitcoin ultrapassou 118 mil, um aumento de 105% ano após ano, atingindo um recorde histórico 💰 A Bit Mining muda para Solana e planeja arrecadar 300 milhões para seu tesouro 🪙 Os formuladores de políticas dos EUA veem as stablecoins como uma forma de proteger o domínio do dólar https://t.co/bM148bhmcz

Cada ação no jogo é uma transação onchain em tempo real. É reativo. É verificável. E está tudo em Somnia! Aqui está uma prévia 👇

Animoca fornecerá até US$ 100 milhões em BTC para a gigante asiática de alimentos DDC para impulsionar o tesouro de Bitcoin https://t.co/QzNHarhGtu

🚜🌾17,000.000 XP foram distribuídos para a Semana 4🚜🌾 4.000 convites foram adicionados aos usuários ativos desta semana que não tinham convites para dar O algoritmo de XP foi ainda mais ajustado para enfraquecer R4R & conteúdo inorgânico. Alguns multiplicadores também foram ajustados. Guarde-os com carinho 🤖 https://t.co/IfVG6N7tOy

O snack wrap está de volta! https://t.co/fZE0XQE9aI

As votações da Epic DAO terminaram! A votação para esta proposta está agora oficialmente encerrada. Encontre todos os detalhes sobre a mais recente decisão da comunidade aqui👇 https://t.co/6U7iCPoAcq

De acordo com a Fortune, a startup de infraestrutura de criptomoedas e stablecoins Zerohash está a arrecadar cerca de 100 milhões de dólares com uma avaliação próxima de 1 bilhão de dólares, com a corretora online Interactive Brokers a liderar a rodada. A empresa fornece infraestrutura para bancos, corretoras e fintechs para oferecer serviços de criptomoedas e stablecoins. https://t.co/8H2Fz71v3r

Uma baleia de $LAUNCHCOIN acaba de comprar $9.45K de $Chud a $4,72M de capitalização de mercado 🐳 https://t.co/abl8eIHXHi

Atualização da votação SIP-031:Com quase 230 milhões em poder de voto STX lançados, o SIP-031 está mostrando 96,66% a favor da aprovação do SIP.A votação terminará em ~ 2 dias, então certifique-se de registrar seus votos se ainda não o fez!Vote em https://t.co/Knt8RDCE6k https://t.co/erJ5bzxcgc

Zerohash planeja levantar US$ 100 milhões, com uma avaliação próxima de US$ 1 bilhão, liderado pela Interactive Brokers

temple of moon: estendido ✓ Vamos manter esta fase em execução por mais duas semanas (￣^￣)ゞ https://t.co/EpU9EPQQ43

Entrevista de Oscar Young da Stanley Gibbon: Selo Penny Red!✨ Vídeo ao vivo: https://t.co/g9XwfnBkpvJunte-se a @OldRhubarb enquanto um dos selos mais icónicos da Grã-Bretanha faz a sua estreia digital - explorado em detalhe por @StanleyGibbons Oscar Young nesta entrevista exclusiva. https://t.co/gT2k96qM7L

Uma baleia de $GIGA acaba de comprar $21.2K de $GIGA a $182.79M de *market cap* 🐳 https://t.co/K6fYnhIEpi

21:00 CEST ⏰ O hacking começa oficialmente! Mais de 200 builders Web3 no {HACKING PARIS} começaram oficialmente a hackear o futuro dos esportes Web3 por $150.000 em prêmios. Eles têm até domingo, 13 de julho, 12:15 CEST para enviar seus projetos. #HackingParis ⚡ $CHZ https://t.co/P1lCqL4P09

🤔Mais de 90% dos validadores de Solana usam Jito 🎯 Qual é o próximo passo? Agendadores personalizados... ⚡ Rakurai é o futuro do IBRL - não fique para trás ...e somos totalmente compatíveis com Jito 😉

MAIS stablecoins, MAIS marcos, MAIS provas: → Aptos é a blockchain de eleição para stablecoins. Parabéns por +1,35B em stablecoins agora on-chain 🎉 https://t.co/1xx46wWbC2

Meu histórico de pesquisa é 100% dedicado à labuta cripto. https://t.co/jXTsJJ9e6L

O Bitcoin Light Client da Citrea permite que os usuários acessem os hashes de blocos do Bitcoin e verifiquem a inclusão de transações por meio de provas SPV (Simplified Payment Verification). Ao verificar as provas SPV on-chain, o Bitcoin Light Client da Citrea permite ₿apps ancorados no consenso do Bitcoin.

Imagine um lugar onde você pudesse investir em imóveis com ZERO taxas de HOA, ZERO taxas de seguro e ZERO gestão de propriedade. Bem-vindo à nova era. 🏠

US$2 transformados em US$25.000 de GANHO MÁXIMO. YEET it! https://t.co/U1byXcAWIT

A Fonte Desperta Junte-se ao AMA com @Combinderio ao meio-dia UTC na próxima terça-feira para aprender tudo sobre a nova campanha deles com peaq e Shelly, onde você pode ajudar a evitar o próximo grande apagão https://t.co/0axrwvNZDa Mais detalhes aqui https://t.co/wFnDr0Jmu0 https://t.co/EuLyEyZUcZ

POV: Você está acordando às 3 da manhã para verificar se fomos à lua. 🌕 https://t.co/oECut72LFl

As minas podem nunca mais estar tão abertas.Não demore, anon. https://t.co/92RiuN3WWF

Um membro da comunidade acabou de atualizar $Nala para Pro no MobyScreener 📈 https://t.co/hZ30le31FB

Uma baleia $GIGA acaba de comprar $21.17K de $GIGA com $181.86M de MC 🐳 https://t.co/zGGjrsMsjC

não deixe que os touros o distraiam do facto de que é o dia do Slurpee gratuito no 7/11 $BOBO 🐻 https://t.co/nYNwbOqndv

ATUALIZAÇÃO KINESIS 🌉: Após três semanas e 40.000 $KDA em jogo, os fundos ainda estão seguros. Obrigado a todos que participaram para ajudar a garantir a segurança da bridge. A Kinesis Bridge permanecerá na mainnet... fiquem ligados para mais atualizações! 👀🌈🦄

Soltando fatos alpha para nós👇

A próxima grande novidade? Vamos falar sobre o que já está avançando no ecossistema $CREO. Sempre evoluindo em um ritmo constante, a Creo está comprometida em construir uma plataforma revolucionária com benefícios Web3 reais que funcionam para gamers, desenvolvedores e usuários comuns. • CreoPlay Bridge Mova CREO perfeitamente entre Solana, Ethereum e BNB Chain. Desfrute de taxas baixas, desempenho equilibrado e confirmações extremamente rápidas. Cada chain suporta uma força específica, enquanto conecta você diretamente à liquidez global de DeFi e CEX. • Creo Staking Ganhe passivamente com até 18% APR, sem lock-in O painel de staking é simples, intuitivo e construído para o uso diário. Nenhuma complexidade necessária. • Integração de Ativos do Mundo Real Trazendo Play and Earn para o mundo real Através da TagTag x GoPay, os jogadores indonésios agora podem sacar diretamente no GoPay! Mais de 600K impressões mensais e mais de 20K usuários recorrentes A chegada da TagTag ao Telegram abre acesso global instantâneo a recompensas. • CreoPlay ID Seu login único para tudo no ecossistema Creo Faça login via WhatsApp, Telegram ou e-mail para acessar: Staking, bridging, swapping. Staking, bridging, swapping, listagens de NFTs, tudo a partir de um único ID.

🎙️ Acabei de concluir uma conversa poderosa no SuperWorld Summit com o Dr. Adel ElMessiry, pioneiro da AI — e um consultor e investidor na SuperWorld. Exploramos como a AI agentic aprende através da observação, mesmo sem entender a linguagem ou o contexto. Como o Dr. Adel compartilhou: “A AI é como aterrar na Espanha sem saber espanhol. Você apenas observa, escuta e começa a imitar com base em milhões de interações do mundo real. Com o tempo, os padrões guiam seu comportamento — mesmo sem entender as palavras.” O Dr. Adel e seus alunos alcançaram recentemente um grande avanço — adicionando axiomas à AI — permitindo que os agentes aprendam e ajam de forma mais inteligente no mundo real. Isto é exatamente o que estamos construindo na SuperWorld: agentes inteligentes, tecnologia imersiva e conexão com o mundo real através da Web3. 🧠 Grato por ter o Dr. Adel como consultor estratégico e crente inicial em nossa visão. 🎥 Assista à entrevista completa e mais sessões inscrevendo-se em https://t.co/N31THHfJPo #SuperWorld #AI #Web3 #AgenticAI #SuperWorldSummit #AdelElMessiry #ImmersiveTech #DigitalTwins #DecentralizedFuture

Você gosta de pesquisa, anon?

Quem está pronto para o nosso AMA com @HatashiYamatomo da @0xHyperBeat começando às 15h EST?Junte-se a nós ao vivo: https://t.co/jByYuUCvUW https://t.co/knWcGwraiy

Continue construindo.

A América constrói. E agora a América apoia. 🇺🇸 David McIntosh, ex-congressista dos EUA e veterano de longa data em políticas, está se juntando ao Conselho Consultivo Estratégico da Lumia. Regulamentação de RWA, conformidade real, escala institucional. #LumiaIsAmerica https://t.co/vWucMBGVr7

Ronin é a chain que mais cresce esta semana. Liderando as tabelas tanto em carteiras ativas quanto em transações ⚔️

“Estamos a dar-lhe mais recompensas em tokens para o ajudar a deixar a nicotina” Reffo, fundador da Puffpaw, sobre recompensar utilizadores de produtos com tokens https://t.co/w8qbd1xm42

Resumo Semanal de Pesquisa:- Nota Empresarial: Reflexões sobre o ICO da PUMP por @defi_monk- Messari Mensal: Julho de 2025 por @SteimetzKinji, @capradavis, @AvgJoesCrypto e @0xTulipKing- Estado da Captação de Recursos em Crypto: Q2 2025 por @immutablejacob- Humanity Protocol: Trazendo Verificação de Identidade Onchain por@0xCryptoSam- Dabba: Próximo TGE, Adoção e Roteiro por @oztxn- Galxe/Gravity: Galxe Entra no Setor InfoFi com o Lançamento do Starboard por @0xGunkan- Arbitrum: Fundamentos de uma Nação Soberana Digital por @Solofunk_- Warden Protocol: Diminuindo a Lacuna da UX de IA por @PlagueObserver- Estado do Safe Q1 2025

🚀 Próximos Eventos da Kross Blockchain – Vagas Limitadas!Temos o prazer de convidá-lo para uma experiência inovadora de blockchain trazida a você pela Kross Blockchain e Hashgreed. Garanta sua vaga registrando-se como membro da Vinekross Coop — apenas 5.000 vagas disponíveis (tanto físicas quanto virtuais)!🎁 Por que participar?Propriedade de ativos gratuita para todos os participantesRefrescos e presentes em dinheiro por meio de sorteio (JARA NFT necessário)Sorteio de ₦1 Milhão através de um sorteio especial de NFTOportunidade exclusiva de mentoria com um renomado magnata dos negócios (10 vencedores)E muito mais...Isto é mais do que um evento — é a sua porta de entrada para o futuro da riqueza, inovação e oportunidade no blockchain.🔗 Registre-se agora: https://t.co/XfDQVdvIly