Todas las entradas de: Jefferson Santillan

Crypto.org Chain más segura con Chainalysis como socio.

Luego del anuncio del lanzamiento de la cadena de Crypto.org el día 25 de marzo del 2021, se ha anunciado que se han asociado con el líder de análisis de blockchain Chainalysis quien va a ser el encargado de la seguridad de la red realizando la gestión de riesgo y cumplimiento de la industria, tendrán la misión de monitorear e investigar la actividad sospechosa de los ciberdelincuentes de la Blockchain. Además, hará colaboración para la integración con el Token CRO en Crypto.org Chain, ellos cuentan con un software de Know Your Transaction (KYT) tal software combina inteligencia de blockchain y una interfaz muy sencilla de utilizar, junto con una poderosa API en tiempo real que permite automatizar procesos manuales que permitirán a la empresa en criptomonedas cumplir con regulaciones mundiales.

Chainalysis Reactor es un software de investigaciones que se encarga del análisis forense digital y las prácticas de auditoria con los controles de cumplimiento en toda la cadena de Crypto.org. Con este software los investigadores pueden entrar a profundizar en el detalle de actividades sospechosas para proteger a las empresas y los usuarios dentro del ecosistema. El proceso se simplifica a explora, investigar y actuar.

Ya vemos que Crypto.org Chain esta tomando todas las previsiones para tener una cadena solida y segura para el día de su lanzamiento y que la adopción sea muy amigable para las empresas que utilizaran criptomonedas.

Site: Chainalysis

¡Saludos!

Aplicación Blockchain para Fan Tokens y Socios del fútbol.

¿Eres fanático del fútbol y también eres apasionado al Blockchain y las criptomonedas?

¿Que esperas para unirte a la comunidad de Chiliz?

Registrate

Chiliz es una empresa que ha creado un token de utilidad llamado $CHZ que es intercambiable por Tokens de utilidad de y engloba el mundo de los deportes de todo tipo como la lucha libre, futbol, eSports, carreras de motos, etc. Ha desarrollado un mercado en Chiliz Exchange en donde puedes adquirirlos y cambiarlos por CHZ, USDT, BTC y otras criptomonedas. Lo interesante es que hay muchisimos club de renombre mundial que ya se han unido a traves de su plataforma de Socios.com para que creen su Fan Token. El barcelona y la Juventus fueron de los primeros equipos de futbol en unirse y emitir su token.

¿Cuál es la utilidad de los Fan Tokens?

Los verdaderos fanáticos anhelan tener algo que este relacionado con su equipo y eso desata pasiones. Por ello es que en el mercado del fútbol se mueve mucho dinero y Chiliz como modelo de negocio ha decidido tokenizar activos digitales y brindar un valor de intercambio a sus portadores. Los fanáticos puedan que tengan los Fan Tokens de su selección o equipo, accederán a pases VIP, exclusividad, sorteos, pasar un momento con su equipo de fútbol o la persona que admira, recibir saludos personalizados, hacer que su voz se haga notar en el equipo y otros importantes beneficios que giran entorno a la utilización del token.

El mercado determina el valor del Fan Token

Lo interesante es que el valor del Fan Token no esta relacionado a los movimientos del Bitcoin / Ethereum y otras criptos, pero si al de Chiliz. Por ello, que seria una opción alternativa al intercambio de valor entre Fan Tokens su valor lo determinan los fans o un evento del club. Puedes empezar a realizar y ganar retribuciones y ganancias en Chiliz Exchange.

Si eres fanático del fútbol puedes empezar a coleccionar tarjeta de jugadores comunes, raros y únicos. Leer sobre Sorare

Te invito a registrarte y que seas mi referido:

Registrate

Fuente: Crypto Dividendos.

¡Saludos!

DeepSEA nuevo lenguaje en Blockchain por CertiK

La verificación formal es un método poderoso para garantizar matemáticamente que los programas funcionen de una correcta y segura, pero sigue siendo un uso intensivo de recursos debido a su vigor. La verificación formal funciona mejor cuando los programas están escritos con un alto nivel de abstracción, admiten el razonamiento de ecuaciones y se descomponen en módulos discretos que se pueden verificar. La universidad de Yale con fondos de Columbia-IBM Blockchain Center, Columbia Data Science Institute. QTum Foundation y Ethereum Foundation, CertiK esta desarrollando el lenguaje de programación DeepSEA, que facilita el trabajo de la verificación formal y generar automáticamente el código ejecutable, con un modelo formal que se puede cargar en el demostrador del teorema de Coq. El modelo se genera como un programa funcional y con un mayor nivel de abstracción y con estilo de capas de abstracción.

La seguridad dentro de la Blockchain es un tema primordial, escribir un software de sistema certificable que este correcto requiere de bastante trabajo. Los lenguajes de programación actuales no son adecuados para la tarea y mucho menos compatibles con la verificación formal. DeepSEA es un nuevo lenguaje para escribir contratos inteligentes verificados. Veamos algunos detalles:

¿Qué es DeepSEA y por qué se diseñó?

DeepSEA es un lenguaje que permite a los programadores manejar código extremadamente complejo mientras operan de manera elegante y segura para los propios codificadores. Ha sido diseñado para ser útil cuando se utiliza una verificación formal completa en el sistema de Coq que es un asistente de prueba.

La verificación forma demuestra matemáticamente que el código funcionara según lo previsto, calculando todos los escenarios posibles y como pioneros de la tecnología de verificación formal en contratos inteligentes y cadenas de bloques, CertiK descubrió que, aunque la verificación formal del software totalmente correcto seguía siendo muy costo y desafiante. Parte del problema se debe a la falta de compatibilidad con el lenguaje de programación. El lenguaje existente como C, OCaml y Solidity, no están preparados e integrados con las herramientas de verificación y requiere tiempo para crear y probar pruebas manuales. Sin embargo, el lenguaje que proporciona una forma de verificar formalmente las propiedades de corrección difíciles sobre los contratos inteligentes utilizando Coq Proof Assistant de una manera escalable y automatiza.

Suponiendo que gran parte del tiempo de un desarrollador se dedica a escribir pruebas en un asistente de prueba interactivo como Coq. DeepSEA tiene como objetivo eliminar la mayor cantidad de trabajo ocupado posible y ayudar a los desarrolladores a estructurar su sistema en modulo separados para que le resto del sistema contengan datos verificados. Pruebas herméticas.

¿Cómo se construye?

Al diseñar el lenguaje, se usaron cuatro principios que combinan las mejores características de varios otros lenguajes de programación.

  • Razonamiento ecuacional
    • Cada termino de DeepSEA se traduce en una especificación funcional correspondiente, que luego se puede razonar en el asistente de pruebas dentro de Coq.
  • Especificación en capas
    • DeepSEA mantiene las pruebas manejables mediante capas de abstracción que brindan una vista de alto nivel del programa. El compilador de muestra que la implementación del código en bytes sin formato se comporta como se esperaba, mientras que el programador solo necesita mirar la representación de alto nivel.
  • Encapsulación y composición
    • Cada capa de DeepSEA consta de un conjunto de objetos que se construyen sobre otra capa, y se puede comprobar que las capas son correctas una a la vez.
  • Refinamiento abstracto
    • DeepSEA verifica sistemas más grandes en pasos fáciles de usar. El proceso está estructurado como una serie de pruebas de refinamiento vinculadas que demuestran que un programa vinculado cumple con la especificación

¿Por qué importa todo esto?

Los ecosistemas de blockchain se construyen sobre las bases de la confianza. Si bien algunos argumentan que los protocolos de consenso son lo que hace que las cadenas de bloques sean confiables, algunos códigos aun no son realmente confiables debido a esos errores dentro de los programas y los piratas información que los aprovechan y explotan con sus malas intenciones.

Por ejemplo, si una función particular dentro de su contrato inteligente se desborda, eso es un problema. Si la implementación de una función no cumple con las especificaciones y genera una vulnerabilidad (No) intencionada, eso es un problema.

El programa debe de ser digno de confianza. Este requisito es importante en blockchain porque una vez que se implementa un contrato inteligente, no hay una manera fácil de deshacerlo, dejando las vulnerabilidades no detectadas abiertas a la explotación.

La verificación formal es la única forma confiable de asegurarse de que el código sea hermético y se verifique con hechos matemáticos inequívocos. Al demostrar que el programa maneja correctamente todos los valores de entrada posibles, matemáticamente se asegura que el código funcione solo como esta previsto. Todos los casos en los que se aplica la verificación formal, DeepSEA permite a los desarrolladores probar una cantidad arbitraria de contratos complejos.

Los contratos varían de simples a complejos al igual que la verificación formal. Las herramientas automáticas existente funcionan bien con contratos muy simples como los tokens; Sin embargo, para verificar contratos complejos como esquemas de votación o interacciones entre cadenas, necesitamos la flexibilidad para definir especificación y pruebas arbitrariamente complicadas.

Aquí es donde brilla los asistentes de prueba interactivos como Coq. Al integrar contratos inteligente y Coq, se puede aplicar la verificación formal a las tareas mas complicadas, lo que permite un sistema completamente verificado de principio a fin.

¿Hay otro idioma que lo admitan?

Hoy en día, casi todos los contratos están escritos en leguaje de programación que se diseñaron sin tener en cuenta la verificación formal. Incluso cuando se integran con un sistema de verificación formal, generalmente están orientados a tratar automáticamente casos simples.

El solucionar integrado Solidity SMT es un buen ejemplo. El solucionador SMT permite a los programadores anotar una función con condiciones que se suponen que son verdaderas, escribir afirmaciones que se deberían cumplirse y pedirle al compilador que las pruebe automáticamente. Sin embargo, las afirmaciones se limitan a un vocabulario fijo (sobre números y matrices) y solo puede hablar sobre el estado de un programa durante una llamada a un método en particular. Es decir, el solucionar solo puede probar la afirmación y no otros tipos de teoremas del mismo modo, el usuario debe confiar en que el compilador en si no tiene errores.

Los sistemas de verificación mas ambiciosos, por ejemplo, el marco K, eliminan algunos de estos problemas mediante el uso de una especificación formal del EVM y dejan que el programador realice mas trabajo manual (Por ejemplo, proporcionando invariantes de bucle) Sin embargo, estos sistemas de verificación carecen de abstracción de código en bytes y todavía solo se enfocan en propiedades de ejecución única con un vocabulario fijo.

Para obtener suficiente poder para verificar propiedades arbitrariamente complicadas, queremos usar un asistente de prueba interactivo como Coq o Isabelle. Aunque los asistentes de prueba interactivos tienen sus lenguajes de programación integrados, compilan mediante lenguajes de programación funcionales que utilizan recolectores de basura (recolectores de memoria automáticos)

En el contexto de Blockchain, tener un recolector de basura hace que los contratos inteligentes sean lentos y costosos, ya que se requiere de gas. Por lo tanto, el lenguaje integrado de Coq no se puede usar directamente para Ethereum. Afortunadamente, el compilador de DeepSEA cierra la brecha al generar un código ejecutable eficiente (Se puede ejecutar sin un recolector de basura) y un modelo formal que se puede cargar con Coq.

DeepSEA es un lenguaje muy flexible y compatible que puede crear un diseño fundamental e intuitivo con un alto nivel de abstracción y razonamiento utilizando Coq. DeepSEA proporciona una solución elegante para proteger el código: más nítido, más fuerte y más eficiente.

Parala tecnología de próxima generación, se requiere de una seguridad de próxima generación.

El lenguaje esta en etapa de construcción y pronto sera lanzado el Alpha.

GitHub del Manual : Website

Fuente / CertiK

¡Saludos!

¿Qué es Binance Smart Chain?

Binance Chain es el hogar de la moneda BNB. Se ha optimizado para hacer trading ultra rápido. Pero para lograrlo tuvo que compensarlo siendo menos flexible con otras blockchains desde la perspectiva de programabilidad. Ahora Binance Smart Chain va a remediarlo al ser una nueva blockchain con un entorno integral para el desarrollo de aplicaciones descentralizadas de alto rendimiento. Binance Smart Chain ha sido creado para disponer de una característica de compatibilidad “cross-chain” con Binance Chain haciendo sinergia y logrando lo mejor de ambos.

Introducción

Binance Chain fue lanzada en abril del 2019. El objetivo principal seria facilitar el trading descentralizado (sin custodia). La Dapp descentralizada para hacer intercambios es Binance DEX una de las exchanges descentralizadas más amigables que existe. Se puede acceder vía web por Binance.org o por la integración nativa con Trust Wallet.

Las CryptoKitties en la cima de su popularidad, llevaron a la red blockchain de Ethereum a una parálisis debido a la alta concurrencia.

El problema más complejo de las blockchain es el tema de escalabilidad y ahí es donde entra a solucionar Binance Smart Chain.

Binance

¿Qué es Binance Smart Chain?

Binance Smart Chain (BSC) es una blockchain que funciona en paralelo a la Binance Chain. BSC contiene funcionalidades de Smart Contract y compatible con la EVM (Ethereum Virtual Machine). El objetivo del diseño es de preservar y ofrecer mayor rendimiento en Binance Chain a la par que se implementaban funcionalidades de Smart Contract. Ambas redes se complementan y trabajan en conjunto; sin embargo, BSC no es una Layer 2 o sidechain, ya que es una blockchain independiente que puede seguir funcionando inclusive si Binance Chain se encuentra caída. Debido a que BSC es compatible con la EVM se lanzara un soporte con el mundo de aplicaciones DApps y herramientas en Ethereum con ello sería relativamente sencillo que los desarrolladores puedan migrar sus proyectos desde Ethereum. MetaMask se puede configurar de forma sencilla para que empiece a operar con la BSC, solo será necesario registrar una nueva blockchain y algunos parámetros dentro de MetaMask que tarda menos de 1 minuto en ser configurado para operar con BSC.

¿Cómo funciona la Binance Smart Chain?

Consenso

Se logran tiempo de 3 segundos por bloque con el algoritmo de PoS (Proof of Stake) en realidad utiliza algo denominado como PoSA (Proof of Stake Authority) en donde los participantes que hacen staking con BNB para convertirse en validadores. Si proponen un bloque valido reciben comisiones de las transacciones ejecutadas en este nodo. A diferencia de otros protocolos el, no existe el subsidio en bloque de BNB ya que no es inflacionario. El suministro de monedas de BNB disminuye con el tiempo, ya que el equipo de Binance realiza las quema con regularidad.

Compatibilidad Cross Chain

Fue concebido como un sistema independiente pero complementario a la Binance Chain existente. Se utiliza la arquitectura Dual-Chain con la idea de que los usuarios puedan transferir activos sin problemas entre una blockchain a otra. Haciendo trading muy rápido en Binance Chain, mientras que en BSC se puede construir de aplicación muy potentes y descentralizadas, la interoperabilidad. Los usuarios podrán acceder a un vasto ecosistema que puede aplicar para una gran variedad de casos de uso.

Los tokens BEP-2 y BEP-8 de Binance Chain se pueden intercambiar por tokens de BEP-20 que es el nuevo estándar introducido para Binance Smart Chain. Si entiendes de ERC-20 podrás comprender y estar familiarizado, ya que el BEP-20 comparte funciones de Ethereum.

Para mover tokens de una blockchain a otra (BEP-2 a BEP-20 y viceversa) el método más sencillo es quizás utilizar la extensión de Binance Chain Wallet, disponible para Chrome y Firefox.

Finanzas Descentralizadas

Existen una serie de activos digitales como BTC, ETH, EOS, XRP ya existen en Binance Chain como “Peggy Coins” estos son tokens que están vinculados a activos a su cadena. Por ejemplo, se puede intercambiar un BTCB por el mismo valor que un BTC, se puede intercambiar y recuperar el precio ya que lo mantiene haciendo referencia al activo BTC nativo.

BSC ofrece mucha flexibilidad los activos de múltiples cadenas diferentes se pueden utilizar en el mundo creciente de DeFi. La aplicación de PancakeSwap permite a los usuarios intercambiar activos sin confianza (Al igual que UniSwap) participar en Yield Farming y votar por propuestas. Proyectos similares como BurgerSwap y BakerSwap.

Conclusiones

Binance Smart Chain se extiende de la funcionalidad de la blockchain original en Binance Chain y se ha unido a una variedad de protocolos innovadores que su objetivo es cerrar las brechas entre las blockchains. En un futuro próximo podríamos ver la participación de BNB junto con la compatibilidad de EVM que forman un motor importante para que los desarrolladores que los desarrolladores puedan crear aplicaciones descentralizadas muy poderosas.

¡Saludos!

Whitepaper / Blockchain

Fuente: Jefferson Santillán