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

Parabéns pelo lançamento do @Balancer v3. A Keom está feliz em apoiar o lançamento, AMMs simplificados ✅

Conheça @iamveektoria_, uma educadora e defensora inspiradora dedicada a tornar o Web3 fácil de acessar 👋🌐 Com experiência representando @0xPolygon, trabalhando com @maraimpact, @KeomProtocol, @theZuriTeam, e ativa na comunidade @base, a jornada de Victoria mostra como construir reputação e comunidade pode abrir portas no blockchain.Leia sua história no Spotlight Profissional desta semana👇https://t.co/YRyrM3uiWe

O @GarryKrug da Keom subiu ao palco principal no evento Agora 2024 da @PythNetwork para discutir como os protocolos lidam com #MEV.🎙️ Sintonize para ouvir suas percepções sobre por que o Express Relay é um divisor de águas para os protocolos de empréstimo e usuários.💡 https://t.co/EskxTipL7h

O evento exclusivo de @0xPolygon e Keom no telhado da @EthCC foi fantástico 🪁 Desde painéis esclarecedores até momentos incríveis da comunidade, foi verdadeiramente memorável. Agradecimentos especiais vão para @blocktheotter, @phklive, @0xpolygon, @ameensol, @secparam, @Sandeepnailwal, @hdevalence, @Zac_Aztec, @schmiddominik1, @DablClub, @finessevanes, @colo, @troopdegen, @Tyler_Sehr e a equipe do Polygon Miden que se juntou a nós e tornou tudo especial.🫂 Sem mais delongas, aqui está um breve resumo 🎥

O evento exclusivo da Keom e @0xPolygon Miden na @Ethcc está a apenas algumas horas de distância! 🪁Apresentando nosso moderador, @blocktheotter, Diretor Jurídico da Keom.📌 Tópico de discussão:Como a DeFi aborda regulamentações e desenvolvimentos futuros (onde estamos & onde queremos estar?)📅 Data: Quarta-feira, 10 de julho📌 Garanta seu lugar: https://t.co/d5ZiRsMFsq#EthCC #Ethcc2024

Keom está assumindo o #EthCC ao lado de @0xPolygon e da equipe Miden! Mais de 500 participantes já se registraram para nosso evento exclusivo no terraço, no coração de Bruxelas. 🗓️Detalhes do evento: https://t.co/d5ZiRsMFsq Por favor, note que, devido à alta demanda, recomendamos chegar cedo.

🪁 Estamos animados para anunciar que Paul-Henry Kajfasz @phklive, Engenheiro de Protocolo Sênior @0xPolygon Miden, será o Moderador do painel de bate-papo Fire no evento exclusivo no rooftop da @EthCC, organizado pela Keom e #Polygon Miden.📌 Tópico de discussão: Aplicações do mundo real com provas do lado do clienteInscreva-se para garantir seu lugar 👉https://t.co/d5ZiRsMFsq#EthCC #EthCC2024

O evento exclusivo de Keom e @0xPolygon Miden @Ethcc está a apenas 2 dias! 🪁 Apresentamos nosso próximo painelista, @ameensol, Fundador da @0xbowio.📌 Tema da discussão:Como a DeFi aborda regulamentações e desenvolvimentos futuros (onde estamos e onde queremos estar?)📅 Data: Quarta-feira, 10 de julho📌 Garanta seu lugar: https://t.co/d5ZiRsMFsq

🪁 Estamos empolgados em anunciar que @secparam, Chefe de Pesquisa da @AleoHQ, será um painelista no Fire side chat, um evento exclusivo da @ethcc organizado pela Keom e @0xpolygon Miden.📌 Tópico da discussão:Aplicações no mundo real com provas do lado do clienteInscreva-se para garantir seu lugar 👉https://t.co/d5ZiRsMFsq

🪁 Estamos empolgados em anunciar que o Dr. Andreas Glarner, sócio jurídico da @MME_Switzerland, será um painelista no exclusivo evento @ethcc, organizado pela Keom e @0xpolygon Miden.📌 Tema da discussão:Como o DeFi aborda as regulamentações e os desenvolvimentos futuros (onde estamos e onde queremos estar?)Inscreva-se para garantir seu lugar https://t.co/d5ZiRsMFsq

🪁 Estamos empolgados em anunciar que Jon Fink Isaksen, Chefe de Políticas EMEA na @Uniswap Labs, será um painelista no exclusivo evento @ethcc organizado pela Keom e @0xpolygon Miden.📌 Tema da discussão:Como o DeFi aborda regulamentações e desenvolvimentos futuros (onde estamos e onde queremos estar?)Inscreva-se para garantir seu lugar 👉https://t.co/d5ZiRsMFsq#EthCC #Ethcc2024

Estamos empolgados em anunciar que @Sandeepnailwal, Co-Fundador da @0xPolygon, dará início ao evento com discursos de abertura e boas-vindas.Restam apenas 6 dias para o evento exclusivo no terraço promovido pela Keom e #Polygon Miden! 🪁📅 Data: Quarta-feira, 10 de julho📌 Garanta seu lugar: https://t.co/d5ZiRsMFsqJunte-se a nós para uma noite de discussões perspicazes e networking! #EthCC #EthCC2024

🪁 Temos o prazer de anunciar que @hdevalence, Fundador da @penumbrazone, será um dos painelistas no bate-papo Fire, um evento exclusivo da @ethcc organizado por Keom e @0xpolygon Miden.📌 Tópico da discussão:Aplicações do mundo real com provas do lado do cliente.Registre-se para garantir seu lugar👉 https://t.co/d5ZiRsMFsq

🪁 Estamos empolgados em anunciar que @Zac_Aztec, CEO da Aztec Network, será um Panelista no Fire side chat, um evento exclusivo da @ethcc organizado pela Keom e @0xpolygon Miden.📌 Tema da discussão:Aplicações do mundo real com provas do lado do clienteInscreva-se para garantir seu lugar :point_right 👉 https://t.co/d5ZiRsMFsq

Keom e @0xPolygon Miden, o evento exclusivo @Ethcc, está a 2 semanas de distância! 🪁 Apresentando nosso primeiro palestrante🎙 @schmiddominik1 Tema da discussão💬 "O que é Polygon Miden"?Estamos empolgados para compartilhar mais sobre nossos parceiros, palestrantes e painelistas nos próximos dias ✨Inscreva-se para garantir seu lugar 👉https://t.co/d5ZiRsMFsq

Participando do @EthCC❓ Junte-se a Keom e @0xPolygon Miden para um evento exclusivo #EthCC, onde celebramos o lançamento da testnet do #Polygon Miden e suas aplicações inovadoras em um dos melhores locais de cobertura de Bruxelas 🪁 🗓️ Quarta-feira, 10 de julho 🔗 https://t.co/ICcpn0Tm3A Marque em sua agenda!🗒️

Estou empolgado por fazer parte das discussões vibrantes no fórum Pyth sobre a inovadora proposta Express Relay! É inspirador ver @caladanxyz, @SwaapFinance, @TokkaLabs e @ionicmoney contribuindo com suas percepções. Vamos manter o ímpeto! 🔮🪁 #Pyth #Keom #DeFi

😮 Há mais! 🗓️ 7 de junho na conferência @thecryptovalley, não perca Chronicle's @BlockChainBene moderando um painel sobre ZK 👏 Com @jbaylina da @0xPolygon, @evanashapiro da @MinaProtocol, Ghazi da @zama_fhe e @blocktheotter da @KeomProtocol 🕙 10:40 Palco Audi Midi https://t.co/lmg8wte2pw

#Keom no #Polygon Destaques de APY 🔥Forneça suas stablecoins favoritas no Keom @0xPolygon mercado #PoS e #zkEVM & ganhe esses APYs.Polygon PoS+11% APY em $USDC.e+11% APY em $USDTPolygon zkEVM +11% APY em $USDC.e+9% APY em $USDTLink para o Protocolo Keom na bio 🪁

Com o Polygon Miden, os usuários têm total transparência e controle sobre seus fundos. Ouça diretamente do zk Maxi, @GarryKrug, enquanto ele explora a inovação central da Keom com @0xPolygon Miden 📽️