En un meetup celebrado en Singapur el pasado 23 de mayo, la empresa Zilliqa, además de presentar los progresos alcanzados en escalabilidad de su blockchain con el protocolo sharding, anunció la disponibilidad del lenguaje Scilla, que provee un mayor nivel de seguridad en la creación de contratos inteligentes.
Zilliqa y su Seguridad
Llevó a cabo una prueba en vivo de la eficiencia de Scilla mediante la detección automática de errores en la; estructuración de un contrato inteligente. Durante la prueba se mostraron muchas de las capacidades del lenguaje de contratos inteligentes Scilla; entre ellas la visualización, en un contrato inteligente de crowfunding, de cambios en el estado del contrato cuando se invocaban las transiciones en su código.
Otro de los temas que fueron destacados durante el meetup fue: cómo la propuesta de escalabilidad de la blockchain a; través del sharding mostraba más rendimiento a medida que aumentaba el número de shardso particiones de la base de datos; este aumento de las transacciones por segundo se adapta a aplicaciones de blockchain en las áreas de juegos, publicidad digital; comercio electrónico y en algunas aplicaciones financieras que necesitan procesamiento intensivo; comenzando con 1 shard, se llegó a 481 transacciones por segundo (tps) 2 shards permitieron 995 tps, 4 shards 1.967 tps y 6 shards permitieron alcanzar las 2.828 tps.
Luego, Zilliqa usó las herramientas de verificación formal COQ que se integran con Scilla para chequear la consistencia del contrato; de crowfunding. En la demostración, al introducir deliberadamente errores en el código del contrato, se desplegaba una advertencia de que este no; podía ser usado de forma segura.
Fuente/ criptonoticias.com
Comentarios recientes