Sin resultados
Ver todos los resultados
lunes, mayo 23, 2022
bloque ₿: 737.658
CriptoNoticias Logo
  • Criptopedia
  • Tutoriales y guías
  • Glosario
    • Acrónimos y frases
  • Reviews
  • Calendario
  • Precios BTC y ETH
Sin resultados
Ver todos los resultados
CriptoNoticias Logo
CriptoNoticias Logo
lunes, mayo 23, 2022 | bloque ₿: 737.658
Bandera de ARS
BTC 5.956.320,17 ARS -0,85% ETH 399.757,60 ARS -0,40%
Bandera de BOB
BTC 212.390,05 BOB -3,94% ETH 14.423,41 BOB -3,11%
Aliado Quantfury
Bandera de BRL
BTC 145.320,76 BRL -1,54% ETH 9.854,19 BRL -0,77%
Bandera de CLP
BTC 24.424.318,43 CLP -4,54% ETH 1.665.414,04 CLP -1,40%
Aliado Quantfury
Bandera de COP
BTC 116.845.758,48 COP -4,36% ETH 7.796.625,14 COP -1,88%
Bandera de CRC
BTC 19.422.632,55 CRC -6,82% ETH 1.376.982,04 CRC 1,95%
Aliado Quantfury
Bandera de EUR
BTC 28.148,47 EUR -0,95% ETH 1.913,07 EUR 0,23%
Bandera de USD
BTC 29.706,33 USD -1,06% ETH 2.022,65 USD 0,20%
Aliado Quantfury
Bandera de MXN
BTC 582.206,14 MXN -2,59% ETH 39.475,08 MXN -1,88%
Bandera de PAB
BTC 30.237,31 PAB -3,86% ETH 2.042,68 PAB -3,54%
Aliado Quantfury
Bandera de PYG
BTC 168.539.325,84 PYG -7,27% ETH 11.445.505,62 PYG -6,47%
Bandera de PEN
BTC 113.136,72 PEN 0,13% ETH 7.502,10 PEN 2,32%
Aliado Quantfury
Bandera de DOP
BTC 1.700.389,34 DOP -1,42% ETH 108.870,26 DOP -7,20%
Bandera de UYU
BTC 1.170.322,65 UYU -28,41% ETH 79.476,61 UYU -27,80%
Aliado Quantfury
Bandera de VED
BTC 154.435,95 VED 2,41% ETH 16.415,71 VED 0,86%
Aliado Quantfury
Bandera de ARS
BTC 5.956.320,17 ARS -0,85% ETH 399.757,60 ARS -0,40%
Bandera de BOB
BTC 212.390,05 BOB -3,94% ETH 14.423,41 BOB -3,11%
Aliado Quantfury
Bandera de BRL
BTC 145.320,76 BRL -1,54% ETH 9.854,19 BRL -0,77%
Bandera de CLP
BTC 24.424.318,43 CLP -4,54% ETH 1.665.414,04 CLP -1,40%
Aliado Quantfury
Bandera de COP
BTC 116.845.758,48 COP -4,36% ETH 7.796.625,14 COP -1,88%
Bandera de CRC
BTC 19.422.632,55 CRC -6,82% ETH 1.376.982,04 CRC 1,95%
Aliado Quantfury
Bandera de EUR
BTC 28.148,47 EUR -0,95% ETH 1.913,07 EUR 0,23%
Bandera de USD
BTC 29.706,33 USD -1,06% ETH 2.022,65 USD 0,20%
Aliado Quantfury
Bandera de MXN
BTC 582.206,14 MXN -2,59% ETH 39.475,08 MXN -1,88%
Bandera de PAB
BTC 30.237,31 PAB -3,86% ETH 2.042,68 PAB -3,54%
Aliado Quantfury
Bandera de PYG
BTC 168.539.325,84 PYG -7,27% ETH 11.445.505,62 PYG -6,47%
Bandera de PEN
BTC 113.136,72 PEN 0,13% ETH 7.502,10 PEN 2,32%
Aliado Quantfury
Bandera de DOP
BTC 1.700.389,34 DOP -1,42% ETH 108.870,26 DOP -7,20%
Bandera de UYU
BTC 1.170.322,65 UYU -28,41% ETH 79.476,61 UYU -27,80%
Aliado Quantfury
Bandera de VED
BTC 154.435,95 VED 2,41% ETH 16.415,71 VED 0,86%
Aliado Quantfury
Publicidad
Home Aplicaciones

Melonport anuncia liberación de Oyente, una herramienta de verificación y análisis de Contratos Inteligentes

por Bitcoin PR Buzz
21 junio, 2017
en Aplicaciones
3 min de lectura
Publicidad
Exchange
La plataforma de cambio fácil y accesible

FixedFloat te permite intercambiar tus criptomonedas de forma rápida y segura. Tú eliges si las tasas de cambio fijas o variables se ajustan a tu estrategia y luego nuestros bots hacen el trabajo duro de elegir la mejor oferta para ti.

¡Conoce más!

Juega
- Juega Fútbol Fantasy y colecciona NFT!

¿Eres fanático del futbol? En Sorare puedes coleccionar e intercambiar NFT de tus jugadores favoritos y armar un equipo que compite con otros del mundo, basado en el rendimiento real de los jugadores.

¡Conoce más!

Trading
Binance - El ecosistema cripto.

Únete al principal exchange de criptomonedas del mundo, Binance. Haz trading en cualquier dispositivos desde cualquier parte del mundo. Comienza a hacer trading con seguridad y a tu conveniencia.

¡Regístrate ya!

Apuestas
- El mejor casino bitcoin!

La mejor experiencia online con pagos y retiros ultrarrápidos. Bonos y promociones increíbles y frecuentes para jugadores. Amplia selección de juegos de alta calidad y personal de soporte útil y receptivo.

¡Apuesta ahora!
FacebookTwitterLinkedinEmail

Melonport AG, en asociación con el equipo de desarrollo de Oyente, se enorgullece en anunciar la versión beta de Oyente, una herramienta de código abierto de análisis y verificación formal para contratos inteligentes de Ethereum. Oyente se puede utilizar para cualquier lenguaje de contrato inteligente Ethereum (Solidity, Serpent, LLL, etc.), y su iteración actual también tiene muchas características específicamente orientadas a desarrolladores de módulos de protocolo Melon. Una versión en línea está disponible ahora en http://oyente.melonport.com/.

Reto Trinkler, CTO y presidente de Melonport declara,

También te podría interesar
Pool de staking Lido y Ethereum.
Masivos retiros en el principal pool de staking de Ethereum 2.0
23 mayo, 2022
Privacidad en transacciones de bitcoin.
Transacciones privadas con bitcoin alcanzan récord en Samourai Wallet
23 mayo, 2022

«Estamos muy complacidos de ver que los esfuerzos de desarrollo de Oyente llegan a un resultado. Creemos que analizar los opcodes desensamblados desde los bytecode desplegados a la blockchain, y comprobarlos contra un conjunto de propiedades es una de las maneras más eficaces, en costo y tiempo, de razonar sobre la seguridad del contrato inteligente hasta ahora. Para el protocolo de melón, este traduce a una gran herramienta de fuente abierta para ayudar a asegurar la calidad y las normas de seguridad en los módulos de melón.»

Publicidad

Explicando más sobre el producto, el Desarrollador principal del proyecto de Oyente, Loi Luu, dijo:

«Estoy muy feliz de ver que los resultados de nuestros esfuerzos académicos se utilizan en la práctica para traer valor a la comunidad Ethereum. Oyente puede ser utilizado para detectar muchos errores comunes encontrados en contactos inteligentes como re-entradas, dependencia de órdenes de transacción y así. Lo más interesante es que el diseño de Oyente es modularizado, por lo que permite a los usuarios avanzados implementar y conectar su propia lógica de detección para verificar propiedades auto definidas en sus contratos. Espero ver más contribuciones de la comunidad para hacer a Oyente aún más poderoso y útil.»

El proyecto Oyente comenzó como un documento académico publicado por el estudiante de Ph.D. Luu y un grupo de sus compañeros de la Universidad Nacional de Singapur. Después de un primer lanzamiento de código abierto de Oyente cubriendo ~ 80% de opcodes EVM, la financiación desgraciadamente se agotó, y el mantenimiento del proyecto Oyente fue puesto en espera. Tras la recaudación de 2,5 millones de francos suizos de Melonport durante un período de contribución en febrero de 2017, el equipo de Melonport identificó el potencial de Oyente para aumentar considerablemente la capacidad de la comunidad de desarrolladores de Ethereum para crear aplicaciones descentralizadas seguras.

Publicidad

Específicamente, la seguridad y la estandarización del ecosistema del módulo de protocolo Melon pueden ser mejoradas en gran medida por el uso de la herramienta. Después de seis meses adicionales de trabajo duro por los equipos de desarrollo de Oyente y Melonport, Oyente ahora cubre el 100% de opcodes EVM y tiene una plétora de otras herramientas útiles en trabajos tales como soporte a ERC20. Para obtener información más detallada, consulte nuestra publicación en el blog de Oyente.

Mona El Isa, CEO de Melonport, dijo:

«Mientras la verificación formal no es un proyectil mágico para la seguridad de los contratos inteligentes, estamos orgullosos de poder financiar y compartir esta herramienta de ejecución simbólica de fuente abierta con nuestros propios desarrolladores de módulos y con la comunidad de Ethereum en su totalidad».

Publicidad

Tras este nuevo lanzamiento de Oyente, el equipo de desarrolladores tiene la intención de continuar agregando nuevas características a la herramienta, que pueden incluir funcionalidades para el análisis de ERC20 y contratos de tokens. Por ejemplo, el equipo busca detectar si alguna función imprime accidentalmente más tokens de lo esperado en un contrato ERC20 debido a una lógica de codificación imprecisa.

Aprender más acerca de Melonport en: https://melonport.com/

Probar Oyente en linea: http://oyente.melonport.com

Publicidad

Conocer más acerca de la versión Beta de Oyente: https://medium.com/melonport-blog/oyente-beta-release-announcement-dd573cac1dff

Contactos con Medios:

Nombre: George Hallam

Publicidad

Email: george@melonport.com

Ubicación: Zug, Suiza


Descargo de responsabilidad: este artículo fue proporcionado por Bitcoin PR Buzz. CriptoNoticias no es responsable de los productos y/o servicios descritos. Este comunicado de prensa es sólo para fines informativos, la información no constituye consejo de inversión o una oferta para invertir.

Publicidad
Etiquetas: Aplicaciones DescentralizadasBitcoin (BTC)BlockchainCriptomonedasDesarrolladoresEthereum (ETH)Publicidad
Publicidad
Artículo previo

Invirtió en Bitcoin a los 12 y ahora es millonario con sólo 18 años

Siguiente artículo

Empresa surcoreana de servidores Nayana pagará el mayor rescate por ransomware conocido hasta hoy

Relacionados Artículos

exchange descentralizado 1inch expansión polygon
Aplicaciones

El exchange descentralizado 1inch se expande a Polygon

por Fernando Clementín
14 mayo, 2021

Luego de implementar el protocolo de Binance Smart Chain, el DEX suma ahora una nueva solución de segunda capa con...

recompensa proveedores liquidez aave defi

Aave ahora recompensa a usuarios por dar liquidez a la plataforma DeFi

26 abril, 2021
pagos criptomoneda signal app

Signal integra criptomoneda enfocada en privacidad a su app de mensajería

7 abril, 2021
configuraciones UXTO pagos bitcoin spectere waller

Specter Wallet facilita la construcción de transacciones de bitcoin complejas

31 marzo, 2021
protocolo RGB lanza herramienta tokens lightning bitcoin

Protocolo RGB lanza herramienta para emitir tokens en Lightning de Bitcoin

19 marzo, 2021
Siguiente artículo
erebus, rasomware, nayana, corea del sur, bitcoin, bitcoins, pagos, encriptados, rescate, virus

Empresa surcoreana de servidores Nayana pagará el mayor rescate por ransomware conocido hasta hoy

Deja una respuesta Cancelar la respuesta

Tu dirección de correo electrónico no será publicada. Los campos obligatorios están marcados con *

Este sitio usa Akismet para reducir el spam. Aprende cómo se procesan los datos de tus comentarios.

Publicidad

Nosotros

  • Contacto
  • Acerca de
  • Nuestro equipo
  • Mapa del sitio
  • Política de Privacidad
  • Política publicitaria
  • Trabaja con nosotros
  • Anuncios
  • Advertisement

Asesor SEO

© 2022 Hecho con ♥ por Latinos.

Sin resultados
Ver todos los resultados
  • Inicio
  • Precios BTC y ETH
  • Criptomonedas
    • Bitcoin (BTC)
    • Ethereum (ETH)
    • Monero (XMR)
  • Países
    • Argentina
    • Colombia
    • España
    • México
    • Venezuela
  • Tutoriales y guías
  • Reviews
  • Mercados
  • Minería
  • Regulación
  • Tecnología
  • Seguridad
  • Podcasts
  • Otras categorías
    • Comunidad
      • Adopción
      • Análisis e Investigación
      • Educación
      • Entretenimiento
      • Eventos
      • Ficción
    • Negocios
      • Judicial
      • Finanzas
    • Opinión
      • Editorial
      • Entrevistas
  • Criptopedia
    • Diccionario de acrónimos y frases sobre Bitcoin
    • Glosario de Bitcoin y blockchains
  • Calendario de eventos
  • Voz Empresarial
    • IOV Labs
  • Contacto

© 2020 Hecho con ♥ por Latinos.

Posting....