CertiK

CertiK

CertiK se compromete a proporcionar los servicios de verificación de contratos inteligentes a gran escala más competitivos a través de la tecnología de verificación formal líder en el mundo para garantizar la seguridad de los contratos inteligentes y los sistemas de cadena de bloques.

CoinWind lanzará la versión V2 a las 14:00 el 17 de marzo: según las noticias oficiales, la plataforma financiera inteligente de minería de moneda única DeFi CoinWind lanzará oficialmente la versión V2 a las 14:00 el 17 de marzo (UTC+8). cubrir pérdidas transitorias y, al mismo tiempo, agregar gobernanza de contratos comunitarios. Se informa que se espera que la versión V2 agregue más de 100 millones de dólares estadounidenses en la cuota de apertura.

CoinWind es una plataforma financiera de minería inteligente DeFi. Coincide automáticamente con la moneda prometida a través del contrato, coopera con la estrategia de pérdida de impermanencia de cobertura, maximiza los ingresos del usuario y resuelve de manera efectiva los bajos ingresos de la minería de moneda única del usuario y la impermanencia de LP. minería riesgo de grandes pérdidas. [2021/3/17 18:52:12]

La compañía fue fundada por tres profesores en el campo de la informática. Los miembros principales del equipo incluyen al profesor de la Universidad de Yale, Shao Zhong, y al profesor de la Universidad de Columbia, Gu Ronghui. El proyecto tiene como objetivo resolver los puntos débiles de la industria al ayudar a los contratos inteligentes a verificar la seguridad. Shao Zhong es decano y profesor titular del Departamento de Ciencias de la Computación de la Universidad de Yale, y profesor titular de la cátedra de la Universidad de Ciencia y Tecnología de China. Tiene más de 20 años de experiencia en el campo de la seguridad; Gu Ronghui es un profesor de la Universidad de Columbia, estudiante de pregrado en la Universidad de Tsinghua y doctorado en la Universidad de Yale.

El oro al contado se ubicó en $1,960/oz, un nuevo máximo desde el 17 de septiembre: Según el mercado, el oro al contado se ubicó en $1,960/oz, un nuevo máximo desde el 17 de septiembre. [2020/11/6 11:53:01]

Fundador de Polkadot: La subasta de paracaídas de Kusama se llevará a cabo antes de la subasta de paracaídas de Polkadot: Según fuentes oficiales, algunos miembros de la comunidad preguntaron cuándo comenzará la subasta de tragamonedas de paracaídas de Polkadot. El fundador de Polkadot, Gavin Wood, respondió hoy que la subasta de paracaídas de Kusama se llevará a cabo antes que la subasta de paracaídas de Polkadot. No tiene sentido comenzar a hacer subastas hasta que estemos listos para alojar parachains en Kusama/Polkadot. Hay varios factores de bloqueo de la siguiente manera: 1. El código de parachain debe actualizarse de Rococo v0 a v1. Este trabajo está actualmente en marcha y puede tardar algunas semanas más. La versión v1 es la base para algunas funciones futuras importantes, como la facilidad de uso y la disponibilidad, xcmp y parathreading, etc. 2. Cumulus también debe actualizarse para que funcione con parachains v1 y xcmp-lite y estabilizarse (este también es un sitio de prueba de estabilidad importante para Rococo). 3. La máxima seguridad de las paracadenas (a través de la usabilidad y la validez) debe implementarse por completo y (para Polkadot) auditarse. 4. El módulo de subastas también necesita ser auditado (para Polkadot) (esto llevará de 1 a 2 semanas, pero es poco probable que sea un cuello de botella). Entonces, con respecto a la subasta de tragamonedas, aún no hay una fecha fija, porque no tiene sentido comenzar una subasta antes de que se hayan realizado las bases técnicas. Sin embargo, continuaremos actualizando el progreso cada vez que se logren hitos importantes. [2020/9/23]

Tags：CertiKcontrato inteligente

oficial

• 

  Facebook

• 

  Twitter

• 

  Weibo

• 

  YouTube