Monedas38584
Capitalización$ 2.28T+1.88%
Volumen Spot 24h$ 20.97B+91.5%
Gas ETH0.10 Gwei
Criptomonedas
Top 100 Monedas
Top 100 criptomonedas por capitalización de mercadoCriptos en Tendencia
Criptomonedas en tendenciaRendimiento
Seguimiento del rendimiento del mercado de criptomonedasListado Reciente
Criptomonedas agregadas recientemente en los últimos 30 díasGanadoras
Criptos con mayor crecimiento en las últimas 24 horasTodas las Categorías
Criptomonedas ordenadas por categoríasMáximos Históricos
Criptomonedas que han alcanzado recientemente su máximo históricoBlockchains
Analiza y compara métricas clave de blockchainsDatos Globales del Mercado
Gráficos globales de criptomonedas: Sentimiento del mercado y flujoEcosistemas
Explora plataformas blockchain: proyectos del ecosistema, TVL y otras métricas claveIDO/ICO
IDO/ICO
Próximos/Activos/PasadosROI de launchpad IDO
Analiza el rendimiento de los Launchpads de IDOLaunchpads
Plataformas IDO/IEO/ICOROI de launchpad CEX
Analiza el rendimiento de los Launchpads de CEXLaunchpool
Próximos/Activos/PasadosPanel de análisis
Panel público de Token SalesNode Sale
Próximos/Activos/PasadosProductos
Análisis
Análisis, informes y medios sobre el mercado criptoMercados de predicción
Analítica todo en uno para mercados de predicciónNoticias
Últimas noticias de criptomonedasPersonas
Análisis integral de personasMapas de calor
Visualización del estado del mercado criptoCaza de Airdrops
Airdrops potenciales y actividadesAlertas
Señales y alertas de precios de criptomonedasFuturos y Opciones
Estadísticas de futuros y opciones de Bitcoin y EthereumWidgets
Widgets útiles para tu sitioConvertidor
Convertidor de criptomonedasAPI de Mercado
Consulta los detalles de nuestros planes API/
Heroes Of The Land HOL
4 favoritas
JuegoFi
Vitalik Buterin propone lenguaje para que las pruebas de IA sean legibles
En resumen
Vitalik Buterin quiere un nuevo lenguaje que se compile a Lean o HOL.
El lenguaje se dirigiría únicamente a definiciones y teoremas, no...
22 jul 2026
3 min de lectura
por BeInCrypto