La verificación formal de los contratos inteligentes es una representación en un contrato que proporciona una garantía que haga lo que debe. Verificación formal prueba el codigo en general para cualquier input, estados, resultados y utiliza los probadores automatizados para verificar las condiciones de ejecución y el código de ramificación.
La programación funcional es cuando se utilizan funciones, no objetos o procedimientos, son usados como la frecuencia fundamental para la construcción de un bloque en un programa. Las funciones en este sentido son análogas a las ecuaciones matemáticas: declaran una relación entre dos o más entidades. Estudios recientes han demostrado que la extensión de un compilador de lenguaje funcional con un productor en la máquina virtual de Ethereum con código en bytes, puede ayudar a los programadores para evitar los errores comunes. Por el momento Wings tiene que utilizar los lenguajes utilizados, el plan a largo plazo consiste en fundar y dirigir la programación de un lenguaje funcional para Wings en contrato DAO inteligente. El ultimo caso de emergencia para recuperación es posible a través de RSK federación, es una lista de compañías conocidas en la industria de Bitcoin que sirven como guardianes de transacciones. Todo el BTC depositado (vinculado) a una Rootstock side-chain están contenidos en la clave de múltiples firmas de la federación. Como resultado de los retiros BTC es posible solo cuando la mayoría de la federación de los miembros confirman la transacción retirar side-chain.
Wings va a va a aprovechar esta tecnología consenso con el fin de crear una recuperación de último recurso para que
los fondos se mantengan en un contrato inteligente.
Cada transacción de los fondos en el contrato del proyecto de DAO será puesta en escena de la federación por una cantidad de tiempo predefinido y un aviso correspondiente será enviado al creador del proyecto DAO y los propietarios de fichas.
En el caso de que el contrato inteligente sea violado o los fondos están en una dirección no autorizada, ya sea dentro de la cadena lateral RSK o para Bitcoin MainNet, una solicitud se presentará a la federación para cancelar la transacción y restaurar los fondos de vuelta a el contrato, restableciendo todo para atrás. La solicitud también pondrá el contrato en un bloqueo para evitar aún más el drenaje de los fondos. La solicitud a la federación podría ser presentada por el proyecto del creador del DAO o por el creador de fichas DAO, siguiendo un consenso mayoritario en la materia. Además de las medidas antes mencionadas, la plataforma Wings tendrá un código cliente y contratos inteligentes de auditoría por las externas empresas de seguridad, con un fondo de recompensa asignada al patrocinio de esta auditoría. Los proyectos DAO recién lanzados también pueden incluir un fondo de recompensas opcional con un mayor y mejor seguridad para el proyecto y contribuir a la seguridad general de la plataforma Wings. La plataforma Wings proporcionará mecanismos que permitan la distribución de actualizaciones y mejora la seguridad
a todos los proyectos DAO lanzados en su plataforma, dando la capacidad de resolver rápidamente el potencial en cuestiones de cero días descubren los contratos inteligentes.
Creando un DAO
El objetivo de la plataforma Wings es permitir la fácil creación de nuevas propuestas de proyectos, calcular (a través de la previsión) los que tienen el mejor potencial para convertirse en proyectos exitosos DAO y luego permite una eficiente recolección de fondos y la toma de decisión rápida. Wings aspira a convertirse en una solución de fin a fin para el proyecto
respaldo descentralizado, las necesidades de promoción y de gobierno, dando a los empresarios un instrumento valioso
de inicio rápido a sus ideas innovadoras.
El primer paso para los creadores del proyecto DAO es presentar una nueva propuesta para la plataforma de Wings, a través de un simple paso a paso. El creador puede escribir contenido con buen contenido, cargar medios como fotos y vídeo y cualquier documentación que quiera, con el fin de hacer la propuesta tan atractiva como sea posible a la comunidad.
Además, el contenido del proyecto y los medios de comunicación, los creadores especifican modelo de gestión inicial de un proyecto, que podría ser gobierno DAO directo o un gobierno líquido de DAO. La elección del modelo de gobernanza influirá en cómo los titulares de créditos de DAO y colaboran para decidir sobre enmiendas claves sobre un proyecto.
Los creadores del proyecto establecen los hitos del proyecto previsto, que cuando llegan con éxito, puede liberar los fondos para la siguiente fase del proyecto. Al especificar hitos, los creadores del proyecto definen los entregables del hito, y dará a conocer el monto del fondo con porcentaje cada uno. La comunidad decidirá sobre el cumplimiento del hito al resolver entregas de un hito se completan. Finalmente, los creadores del proyecto establecen el suministro token inicial de un proyecto y las reglas de la distribución a los participantes de la campaña de apoyo.
El modelo de gobierno, términos de futuros hitos y la fuente simbólica pueden cambiarse siguiendo una propuesta pertinente, cuando la mayoría de los pronósticos están de acuerdo en el cambio. Para finalizar y publicar el listado en la plataforma Wings, el creador tendrá que pagar una cuota de listado en tokens Wings, que se deducirá de la cuenta Wings del creador.
Una vez finalizado el período de pronóstico, la plataforma Wings va a generar una nueva serie única de contratos inteligentes, que va a generar un nuevo token DAO para el proyecto y prever al creador con una dirección de blockchain a la campaña de apoyo. La plataforma también promueve la propuesta en el área de proyectos activos en el blockchain, crear una recompensa opcional para el proyecto y comenzar la cuenta regresiva para el inicio de la campaña de apoyo. Una vez que ha iniciado el apoyo, la plataforma publicará la dirección de recogida del fondo y proporcionará actualizaciones en directo en lo que respecta al número de fondos recogidos.
El creador del proyecto tendrá un periodo de tiempo durante las modificaciones de la propuesta y sus términos permitieran mejorar la propuesta tras comentarios de la comunidad. Al final de dicho período, ya no será posible cambiar los términos de la propuesta ya, y una vez graduado en un proyecto DAO, se utilizarán los términos para generar contratos inteligentes del proyecto DAO. El creador también tendrá la posibilidad de retirar la propuesta antes de la finalización del pronóstico.
Gobernancia
ALAS pone un énfasis en la capacidad de una comunidad descentralizada para llegar rápidamente a decisiones claves en una variedad de temas, minimizando tiempo y energía gastada en toma de decisiones. Por lo tanto, Wings tiene como objetivo ofrecer gobernanza descentralizada eficiente, mediante el empleo de los mercados, la decisión para permitir que dueños de tokens de Wings puedan tomar decisiones sobre temas clave. Un modelo de gobierno líquido de DAO se emplearán inicialmente además de previsión, permitiendo cobertura contra las decisiones adoptadas por la mayoría. Ser un protocolo dinámico controlado por la comunidad de Wings DAO, la normativa podría cambiar si la mayoría de la comunidad prevé un beneficio resultante a este cambio. Así el resultado que estamos apuntando es que los miembros de Wings puedan participar en un proceso de colaboración y consenso con el tiempo para modificar el mecanismo de gestión en base para el beneficio de los usuarios del ecosistema de Wings.
La plataforma Wings va a ser auto-determinista, mediante el empleo de conceptos inspirados por el filósofo Peter Suber que modela un juego, Nomic, que está compuesto por reglas inmutables y mutables mostrando el poder de uno auto-modificación de los sistemas y establece la prioridad lógica de la regla. Gobierno de DAO líquido (fluido delegar el poder pronóstico) se utilizará por los proyectos DAO para una variedad de toma de decisiones clave, como para aceptar una modificación sugerida de DAO o actualizar los contratos inteligentes del proyecto DAO.
Los proyectos DAOs que lanzan utilizando Wings podrá empezar con uno de los siguientes modelos de gobernanza DAO líquido (fluido delegación) y gobierno de DAO directo (cada persona decide directamente). Líquido gobierno de DAO es un híbrido entre los modelos de gobierno directo y representativo, permitiendo a los participantes libremente prestar y recuperar el poder de decisión a las personas confían en tener más conocimientos, experiencia e interés para tomar las mejores decisiones. Con el tiempo estos modelos de gobierno podrían cambiar o evolucionar en nuevas variaciones basadas en la comunidad DAO voto. También, nuevos modelos podrían aplicarse Wings vía contratos inteligente actualizando y basada en las demandas de la comunidad.
Toma de decisiones basada en la recompensa del proyecto DAO
La plataforma de Wings emplea un modelo de gobierno basado en la recompensa por participar en el proceso de fundar proyectos DAO, para fomentar tanto las presentaciones de bien planificadas propuestas de DAO y discusiones sanas y pronósticos, a mejor gestión de DAO. El modelo utiliza una emisión precisa de nuevas fichas en proyecto DAO después de la resolución de la propuesta presentada, con los tokens distribuidos a ambos, la cuenta que inició la propuesta y a analista los participantes. El creador de la proposición recibe fichas según el número de fichas de proyecto que participaron en la evaluación de la propuesta y qué tan amplia (dispersar) fueron los pronósticos presentados. Los proveedores de pronóstico reciben fichas según cuán cerca su previsión fue la resolución final, modificada por el factor de calidad de la propuesta (es decir, basado en la recompensa del creador de la proposición). En caso de que la proposición está marcada como spam por la mayoría de los participantes de propietarios tokens, la cuota de listado se distribuirá a los participantes. Este mecanismo tiene como objetivo estimular la participación constante y mantener el interés de los propietarios tokens en el ciclo de vida del proyecto, incrementando con ello la total participación de la comunidad, el esfuerzo de toma de decisiones, la promoción y mantener el compromiso permanente de hitos del proyecto, la rendición de cuentas y la transparencia por los creadores del proyecto.
Almacenamiento descentralizado
Wings utilizan uno de los sistemas de almacenamiento descentralizado popular, como CIP, Sia, Storj o Maid - caja de seguridad, para el almacenamiento de los datos cargados. Estos sistemas permiten a los desarrolladores crear eficientemente silos descentralizadas seguros para una carga de datos de usuario. Los pagos de las operaciones de almacenamiento descentralizado se incluirán en las tarifas de operaciones Wings.
Experiencia de usuario
La plataforma Wings está diseñada para reducir la cantidad de incorporación que deben pasar por nuevos usuarios con nuevas plataformas, permitiendo a los usuarios acceder a la mayoría de las operaciones de la plataforma usando la herramienta más común utilizada hoy en día: el mensajero de chat. Mediante el uso de chatbots, Wings permite a los usuarios empezar inmediatamente a participar en la plataforma de Wings, usando su conocimiento personal y experiencia para aumentar la calidad del pronóstico y las decisiones adoptadas en la plataforma.
Interacción Chatbots
Wings apoya las redes de mensajería más populares, como telegrama, holgura, Facebook Chat, WeChat y mucho más. Wings empleará un HUB IM, por lo tanto permitiendo la verdadera comunicación a través de redes de chat diferentes y proporcionar la misma experiencia para todas chats diferentes de usuarios en redes sin ninguna diferencia de qué aplicación de mensajería están utilizando.
Sera posible en el chatbot de Wings:
Manejo de las propuestas de los proyectos
Preguntar mas informacion sobre los proyectos
Discutir las oportunidades de las propuestas
Prediccion sobre las propuestas de proyecto respaldo éxitoManejo de los DAOs graduados
Seguir a otros miembros en Wings
El chatbot de Wings permite operaciones seguras delegando todas las operaciones sensibles como la transacción para el sandbox de cliente Web, mediante un mecanismo de multiplataforma que permite realizar una operación en messenger y firmar en el cliente Web. Además, Bot IM permite a los usuarios utilizar lenguaje natural, al participar en una conversación con un chatbot. Gracias al uso de profundo aprendizaje LSTM redes, sería posible iniciar la interacción humana con el bot y permiten a los usuarios conversar naturalmente con el sistema.
Clientes Web y de escritorio
El cliente web de Wings se implementa en la pila estándar de tecnologías web: HTML5, Javascript y CSS3. El cliente de web permite realizar la misma amplia gama de operaciones disponibles como en los chatbots, en el caso de los usuarios resulta más conveniente utilizar. El cliente web opera sólo en el cliente y no tiene contraseñas ni claves privadas, ni pasa a la plataforma de Wings. El cliente de escritorio es similar al cliente de web teniendo la ventaja de ser una aplicación descargable e instalable en el ordenador del usuario. La misma funcionalidad existente en el cliente Web estará disponible en el cliente de escritorio.
Conclusion
Wings es una plataforma diseñada para resolver el problema de un proyecto temprano de respaldo y responsabilidad, proporcionando herramientas para soportes y colaborar en proporcionar fondos y eficiente toma de decisiones sobre los elementos críticos de negocios. Wings pone énfasis en la facilidad de uso y colaboración eficaz y en fomentar una cuidadosa consideración de opciones disponibles. El esfuerzo en esta consideración define si la decisión dará lugar a recompensa, así directamente recompensar a los que aportan el beneficio de la plataforma. Con mayor eficiencia, mayor calidad en proyectos para conseguir más atención, tanto de los donantes y el público.
Reconocimento
Los autores desean agradecerle a Vitalik Buterin, Sergio Demian Lerner, Ron Bernstein, Adam Cleary, Matt Chwierut, Eric Gu, Jake Brukhman y MME Legal | Impuestos | Cumplimiento para sus ideas y comentarios.
License
Copyright (c) 2016 WINGS FOUNDATION
Permission is hereby granted, free of charge, to any person obtaining a copy of this software and
associated documentation files (the "Software"), to deal in the Software without restriction, including
without limitation the rights to use, copy, modify, merge, publish, distribute, sublicense, and/or
sell copies of the Software, and to permit persons to whom the Software is furnished to do so,
subject to the following conditions:
The above copyright notice and this permission notice shall be included in all copies or substantial
portions of the Software.
THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED,
INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A
PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT
HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN
ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH
THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
www.wings