Uno de estos jugadores es la gnosis. Nos reunimos con el proveedor del mercado de predicción en EthCC en París el año pasado y nos encantó conocer sus planes para hacer crecer el ecosistema más allá de su campo específico de negocios. Recientemente, les ayudamos a asegurar su código de solidez para un proyecto ambicioso, para el cual los contratos inteligentes impecables son definitivamente cruciales. Juntos documentamos la exitosa y agradable colaboración.
Hola Nadja, hola Chris. Gracias por hacer este estudio de caso con nosotros. Cuéntanos algo sobre la Gnosis.
Nadja: Gnosis construye nuevos mecanismos de mercado para permitir una toma de decisiones más informada y la distribución de recursos a escala individual, social y global. Gnosis fue fundada como parte de ConsenSys, el estudio de producción de emprendimiento Ethereum líder a nivel mundial, en 2015 por Martin Köppelmann y Stefan George.
Nadja (l) es responsable de la estrategia de marca y contenido de Gnosis, Chris es el gerente de productos de DutchX.
Nos convertimos en una empresa de pleno derecho a principios de 2017, y pudimos recaudar fondos suficientes para los próximos años. Los miembros de nuestro equipo de Berlín se mudaron recientemente a nuestro nuevo espacio de trabajo conjunto Nodo completo en el corazón de Berlín Kreuzberg.
El nuevo espacio de trabajo compartido de Gnosis en cripto centric en Berlín, Kreuzberg.
Chris: Si bien nuestra plataforma de mercado de predicción permite que cualquiera pueda crear aplicaciones de pronóstico personalizadas, DutchX contribuye a un hallazgo de fichas de precios justos.
DutchX es un intercambio descentralizado de fichas ERC20, basado en el principio de la subasta holandesa. El diseño del mecanismo del DutchX implica que los vendedores envían sus fichas antes de una subasta. Luego, la subasta comienza con un precio alto que cae hasta que el mercado para el pareo específico de token se borra. Los postores presentan sus ofertas durante la subasta, pero pagan el mismo precio final. Por lo tanto, la estrategia dominante para que los licitadores revelen su verdadera disposición a pagar resultará en precios de mercado justos.
Estamos muy emocionados de lanzar el intercambio bastante pronto! Nuestra próxima publicación en el blog de la serie DutchX arrojará un poco más de luz sobre nuestra visión y cómo vemos el DutchX como una plataforma abierta para la búsqueda de precios justos de tokens.
¿Cuál es el propósito de los contratos inteligentes que aseguramos juntos?
Alex es uno de los autores responsables de los contratos inteligentes DutchX.
Alex: Si bien nuestros contratos inteligentes facilitan el intercambio de tokens utilizando un mecanismo de subasta holandés, también tienen muchas características extravagantes. El comercio con las subastas holandesas fue en realidad bastante fácil de implementar, pero agregamos un esquema único de miel en la plataforma en forma de fichas de Magnolia. Los tokens de Magnolia recompensan a los creadores de mercado y aquellos con alto volumen de operaciones al reducir sus tarifas. Sin embargo, este no es el único mecanismo de incentivo: las tarifas también se redistribuyen dentro del ecosistema DutchX. Además, nos aseguramos de que otros contratos inteligentes puedan construirse fácilmente en DutchX para tareas específicas. Por ejemplo, un mecanismo de préstamo o corto de token sería una excelente aplicación sobre DutchX.
¿Usó alguna herramienta / táctica / práctica para asegurar el código antes de comenzar la auditoría?
Alex: De hecho, hicimos un poco: en primer lugar, pasamos mucho tiempo para acertar en la mecánica de juego del contrato inteligente. Parece todo fácil, pero diseñamos el intercambio en varias iteraciones para asegurarnos de que sea seguro. En segundo lugar, intentamos aplicar estrictos estándares de seguridad para evitar errores. Además, verificamos formalmente que ninguna ficha podría quedar bloqueada en el intercambio. Una parte particularmente interesante son todas las construcciones de contrato de proxy. Fueron analizados en el código de bytes para garantizar su seguridad y eficiencia de gas. Por supuesto, también echamos un vistazo al catálogo de debilidades conocidas y tratamos de detectarlas en nuestros contratos. Pero lo más importante, escribimos un montón de pruebas. Desde pruebas de sistemas muy generales, pruebas de flujo de estado hasta pruebas de unidades muy específicas. También hicimos una revisión interna previa del código antes de entregarlo a Solidified.
¿Cómo te enteraste de Solidified y qué te hizo elegirlos?
Chris: Estábamos buscando activamente un auditor. Los auditores altamente competentes no son tan comunes en el espacio de y a menudo se reservan con anticipación, o incluso están demasiado ocupados para responder.
A principios de marzo, asistimos a la Conferencia de la Comunidad Ethereum en París y, por pura suerte, Stefan, nuestro CTO, se topó con algunos auditores que forman parte de la comunidad Solidificada. Incluso escucharon mi presentación en DutchX e hicieron algunas preguntas geniales pero difíciles al final. ¡Solo nos dimos cuenta más tarde que los vinieron de auditores solidificados! Es realmente fantástico que no solo sean expertos en Solidity y Smart Contract, sino que también tengan un gran conocimiento en diseño de juegos teóricos, que es una parte importante de DutchX.
