NewsBriefs - Certora lanza en código abierto su herramienta Prover para mejorar la seguridad de contratos inteligentes

Feb 24, 4:00 PM Certora

Certora lanza en código abierto su herramienta Prover para mejorar la seguridad de contratos inteligentes

Certora ha liberado el código fuente de su Prover, motor líder en Verificación Formal para Ethereum, Solana y Stellar. Objetivo: seguridad avanzada en contratos inteligentes y eficiencia en DeFi.

Último

• Feb 24, 6:33 PM Bloomberg

  DekaBank Lanza Servicios de Comercio Cripto para Clientes Institucionales

  DekaBank ahora ofrece servicios de comercio, custodia y gestión cripto exclusivos para clientes institucionales, no para particulares.

  Expandir Ocultar

  

• Feb 24, 5:49 PM Cointelegraph

  USDC y EURC, Primeras Stablecoins Legales Reconocidas en Dubai

  Autoridad Financiera de Dubai aprueba USDC y EURC como tokens reconocidos, impulsando la infraestructura cripto en Emiratos Árabes Unidos.

  Expandir Ocultar

  

• Feb 24, 4:00 PM Certora

  Certora lanza en código abierto su herramienta Prover para mejorar la seguridad de contratos inteligentes

  Certora ha liberado el código fuente de su Prover, motor líder en Verificación Formal para Ethereum, Solana y Stellar. Objetivo: seguridad avanzada en contratos inteligentes y eficiencia en DeFi.

  Expandir Ocultar

  

• Feb 24, 3:00 PM The Block

  YZi Labs invierte en la startup de cripto-IA Vana, Changpeng Zhao se une como asesor

  YZi Labs ha invertido una cantidad no divulgada en Vana, una startup de cripto-IA centrada en la propiedad de datos. Es su primera inversión en IA desde el cambio de marca. Changpeng "CZ" Zhao también se ha unido a Vana como asesor. La inversión sigue al lanzamiento reciente del mainnet y del token de Vana, con planes de expandir su ecosistema DataDAO y desarrollar una mayor integración con la IA.

  Expandir Ocultar

• Feb 24, 2:30 PM PancakeSwap

  PancakeSwap se estrena en Monad testnet con tarifas ultra bajas y nuevas características

  PancakeSwap ha iniciado en Monad Testnet, presentando bajas tarifas de trading, mayor liquidez y eficiencia de capital para el espacio de trading DeFi. Esta fase de prueba permite a los usuarios experimentar condiciones mejoradas de trading con tarifas de hasta 0.01%, pero utiliza tokens de prueba, lo que significa que no se realizarán transacciones reales, recompensas, ni quemas. Las capacidades completas de PancakeSwap en Monad, que admiten opciones de liquidez v2 y v3, buscan ofrecer un entorno de trading escalable, rápido y rentable.

  Expandir Ocultar

  

• Feb 24, 2:22 PM Robinhood

  SEC concluye investigación sobre operaciones cripto de Robinhood sin acciones punitivas

  La SEC de EEUU finaliza su investigación sobre las actividades de criptomonedas de Robinhood y decide no tomar medidas punitivas.

  Expandir Ocultar

  

• Feb 24, 6:15 AM Bitcoin Laws

  Fracasa la propuesta de reserva de Bitcoin en Montana

  La propuesta que pretendía designar a Bitcoin como activo de reserva estatal fue rechazada por 41 votos contra 59.

  Expandir Ocultar

  

• Feb 24, 6:00 AM OX.FUN

  OX.FUN respaldado por Su Zhu niega insolvencia y asegura seguridad de fondos de usuarios

  OX.FUN, un exchange cripto, enfrenta acusaciones de insolvencia y problemas de retiro de fondos. Acusa a JefeDAO de manipular operaciones y congela $1 millón en USDC de JefeDAO.

  Expandir Ocultar

  

• Feb 23, 3:01 PM Bitcoin Sistemi

  Fondos hackeados en Bybit lavados a través de memecoins en PumpFun

  ZachXBT, detective de criptomonedas, descubrió que en el reciente hackeo a Bybit, se lavaron Ethereum robados mediante memecoins en la plataforma descentralizada PumpFun. El ladrón lanzó un memecoin llamado QinShihuang, generando más de $26 millones en volumen de operaciones. Los fondos robados atravesaron diversas blockchain, resultando en caminos de lavado complejos utilizando múltiples carteras y divisas en plataformas como Solana y Binance Smart Chain.

  Expandir Ocultar

• Feb 22, 3:57 PM The Block

  Bybit anuncia recompensa del 10% para recuperar fondos de hackeo cripto de $1.4 mil millones

  Tras el hackeo del exchange de cripto récord de $1.4 mil millones, Bybit lanza un programa de recompensa ofreciendo el 10% de los fondos recuperados.

  Expandir Ocultar

  

• Feb 20, 2:14 PM The Block

  Lanzamiento de mainnet y evento de generación de tokens de AR.IO para revolucionar el almacenamiento permanente en la nube

  AR.IO, una red basada en Arweave, lanza su mainnet y evento de generación de tokens, introduciendo un modelo de almacenamiento en la 'nube permanente'. Ofrece almacenamiento de datos inmutable y verificable sin tarifas recurrentes, compitiendo con servicios tradicionales como Google Cloud y Amazon Web Services. El token ARIO, con un suministro total de 1,000 millones, facilitará transacciones y permitirá la propiedad de dominios descentralizados en la red.

  Expandir Ocultar

  

• Feb 20, 2:00 PM PR Newswire

  KuCoin EU Solicita Licencia MiCAR en Austria para Operaciones Cripto Reguladas

  KuCoin EU Exchange GmbH busca obtener licencia MiCAR en Austria para funcionar como proveedor de servicios de criptoactivos completamente regulado en el EEE.

  Expandir Ocultar

  

• Feb 20, 1:35 PM Hand-Picked

  Assetera lanza productos del Tesoro de EEUU tokenizados en Europa con Ondo Finance

  Assetera, una entidad de comercio basada en blockchain regulada por la UE, se asocia con Ondo Finance para listar títulos del Tesoro de EEUU de grado institucional tokenizados. Esta colaboración permite a inversores minoristas e institucionales europeos acceder a valores respaldados por el gobierno estadounidense a través de una plataforma conforme. Los valores, soportados nativamente en la red de Polygon, facilitan liquidaciones atómicas, reduciendo el riesgo de contraparte y permitiendo una ejecución eficiente de operaciones. La plataforma de Assetera, que integra herramientas de comercio innovadoras y precios minuto a minuto, busca mejorar la liquidez y transparencia en el mercado de activos digitales.

  Expandir Ocultar

• Feb 20, 4:10 AM Cointelegraph

  SEC retira apelación en disputa legal sobre regla de broker-dealer cripto

  La SEC abandona su apelación contra un fallo en Texas que bloqueó la expansión de una regla para brokers-dealers, impactando a los proveedores de liquidez cripto.

  Expandir Ocultar

  

• Feb 19, 11:00 AM ClustroAI

  ClustroAI obtiene $12M en financiación Serie A para expandir tecnología de IA descentralizada en el borde

  ClustroAI, startup de infraestructura de IA respaldada por NVIDIA, cierra ronda Serie A de $12M liderada por Forum Ventures, sumando $15M en fondos totales.

  Expandir Ocultar