Un mejor rendimiento producirá un procesamiento inteligente de contratos más eficiente, explica Amrit Kumar e Ilya Sergey de Zilliqa.
Cómo Scilla podría acelerar las transacciones de la cadena de bloquesMejor rendimiento producirá un procesamiento inteligente de contratos más eficiente, explica Amrit Kumar e Ilya Sergey de Zilliqa.
El lenguaje del programa Zilliqa presenta una «separación entre diferentes aspectos ortogonales del lenguaje», explica Ilya Sergey de Zilliqa a Dan Patterson de ConsejoTecnologico.com. La siguiente es una transcripción editada de la entrevista.
Dan Patterson: Cuéntanos un poco sobre cómo funciona el código, cómo funciona Zilliqa.
Amrit Kumar: Por lo tanto, un aspecto de Zilliqa es, en primer lugar, garantizar que el rendimiento siga siendo muy alto. Aumenta más o menos linealmente con el tamaño de la red. El otro aspecto en el que nos centraremos en Zilliqa es tener un lenguaje de contratos inteligente que sea seguro de usar, que sea seguro de desplegar, así que si escribes un lenguaje de contratos inteligente que realmente se despliegue en una cadena, entonces estará libre de errores, ya sabes, tanto como puedas, y de hecho puedes probar propiedades fuertes sobre el contrato. Así que podría, por ejemplo, probar que su contrato no va a congelar fondos. Su contrato no va a filtrar fondos a otras partes, digamos, y aquí es donde Zilliqa entra en escena e Ilya estará muy contento de dar más detalles al respecto.
Ilya Sergey: Está bien, déjame a mí desde aquí. Así que diseñamos Zilliqa como un lenguaje de programación que sería bueno para escribir aplicaciones típicas para las que la gente considera que los contratos inteligentes son un buen campo, como los ICOs, tales como diferentes campañas de financiación de multitudes, juegos, pero es un lenguaje bastante general.
VER: Kit de Contratación de TI: Programador (Tech Pro Research)
Por lo tanto, lo que lo diferencia de los lenguajes de programación de contratos inteligentes, como Solidity, es la separación entre los diferentes aspectos ortogonales del lenguaje. Así que esta separación es lo que facilita la implementación de las ejecuciones de contratos escritos en Zilliqa y la verificación de que los contratos están haciendo realmente lo que se supone que deben hacer. Así que piénsalo de esta manera, así que los contratos de hecho encarnan múltiples funciones. Sirven como agentes que se comunican entre sí y también con los usuarios de la cadena de bloques que realizan la transferencia de fondos y también actúan como programas ordinarios que realizan el cómputo.
Así que estos dos aspectos, la computación y la comunicación, son bastante ortogonales y es bueno poder razonar sobre ellos por separado. Por lo tanto, el hecho de que la comunicación sea algo que es una especie de interfaz externa del contrato y que así es como los contratos interactúan entre sí hace posible que la interacción entre contratos inteligentes encaje en esta arquitectura fragmentada de Zilliqa, algo sobre lo que Amrit será capaz de elaborar. Así que cuando un contrato se comunica con otro contrato, esto es algo que se procesa sólo por una parte del sistema en un fragmento o pequeño subconjunto de los fragmentos en lugar de por toda la red, como será el caso de Ethereum, donde cada transacción es procesada por toda la red.
Así es como obtenemos el componente de escalabilidad. El componente de corrección en realidad se basa en muchos, muchos años de investigación en métodos formales y en el razonamiento sobre los programas y la comunicación de los sistemas de transición. Así que pensando en contratos como estos autómatas que se envían mensajes entre sí, podemos formular propiedades de interés tales como si este contrato me devolverá el dinero, si este contrato alguna vez realizó esta operación, etcétera. Así que todas estas propiedades que nos preocupan, por lo que si se piensa en ello, incluso el reciente error de la billetera Parity descubierto en Ethereum, que fue objeto de un problema que se puede afirmar muy fácilmente, si alguien puede suicidarse este contrato. Si podemos redactar un contrato de forma que podamos demostrar formalmente que Ethereum nunca es el caso, entonces hemos cubierto el aspecto de seguridad correspondiente. De este modo, la estructuración de los contratos en Zilliqa permite probar formalmente propiedades como ésta sobre los contratos incluso antes de que los despleguemos.
Próximo boletín informativo de Big Thing
Conoce las ciudades inteligentes, la IA, la Internet de las cosas, la RV, la conducción autónoma, los aviones no tripulados, la robótica y más de las innovaciones tecnológicas más geniales. Entregado los miércoles y viernes
mismo