Pact ofrece una ejecución atómica, común para las plataformas de , asegurando que una transacción individual tenga éxito o falle como una unidad, y en caso de fracaso, el contrato se revierte a su estado anterior. Aplicado a la gobernanza, esto significa que las actualizaciones realizadas en una sola transacción no se pueden "aplicar parcialmente", lo que garantiza aún más la seguridad. La combinación de ejecución atómica que protege la actualización y el poder de los conjuntos de claves y las funciones de gobierno para controlar el proceso de actualización hace que para un esquema altamente robusto nos guste llamar "Gobernabilidad total".
Ejemplo: Pact arregla Parity Multi-sig Hacks
La actualización de los contratos inteligentes de Pact se produce dentro de una transacción que solo confirma cambios en la ejecución exitosa del nuevo código. Este mecanismo permite que los contratos inteligentes se actualicen a versiones más nuevas, incluso después de que el contrato inteligente esté en funcionamiento. Total Governance garantiza que los cambios en las dependencias ascendentes no romperán el contrato en sí. Los desarrolladores pueden estar seguros de que su código mantendrá su integridad y cumplirá con el propósito previsto. Pact protege contra la ruptura de código en sentido ascendente, evitando casos como el infame caso "Leftpad" que rompió internet, o el caso de , el error de billetera multi-sig de Parity.
Pact protege a los usuarios de una sola persona "accidentalmente" rompiendo su código desde lejos; Pact resuelve los ataques de dependencia de la biblioteca central y permite que los contratos se actualicen de forma segura y real. Lo que es más, para solucionar un problema como Parity Multi-Sig, no tendría que pedir un voto difícil de la comunidad si elige un modelo de gobierno más razonable.
Una forma de entender lo que significa tener un gobierno total es considerar una aplicación de contrato inteligente como algo más que un simple código, sino como el modelo de gobierno para toda una compañía distribuida: un criptógrafo. El término "cryptocharter" pretende reflejar la idea de que los contratos inteligentes son más que solo un código: deben representar la lógica de su negocio o el flujo de trabajo de la organización. Los cryptocharters de Pact son contratos inteligentes que tienen opciones de gobierno incorporadas para hacerlos "más inteligentes" y más seguros.
Básicamente, esto significa que, por primera vez, los desarrolladores de contratos inteligentes pueden modelar fácilmente las estructuras de gobierno de acuerdo con sus preferencias, sin necesidad de recurrir a mecanismos de puerta trasera, bifurcaciones duras o estructuras de datos riesgosas.
Algunos otros ejemplos de características en Pact que apoyan su facilidad de uso y cryptocharters:
Pacto cryptocharters tienen llanura nombres de texto y hashes asociados: importar un módulo de pagos es tan simple como `(usar‘ pagos) `. Para mayor seguridad, el hash del módulo se puede agregar a la importación como así `(use‘ pagos ) `. Durante la importación, si la última versión de “ pagos »no tiene el hash correcto, la transacción de carga falla inofensivamente. El pacto es un Turing Incomplete idioma. Esto significa que sus contratos y código no pueden ejecutarse en bucles ilimitados. Incluso nuestro equipo no técnico descubrió la importancia de esta función al cuestionar qué significa la integridad de Turing en el contexto de .
Será difícil encontrar otra plataforma de y un lenguaje de contrato inteligente que resuelva los problemas que Pact puede hacer.
