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.

Cere Network proporcionará protección de privacidad de datos para Lithium Finance: el 23 de septiembre, Lithium Finance, un acuerdo de oráculo de datos de activos privados, anunció una cooperación con Cere Network, una plataforma de nube de datos ecológica descentralizada de Polkadot, para fortalecer la protección de privacidad de datos y proteger todos los datos de precios. para los Nodos de Sabiduría.

Se entiende que Cere Network es la primera plataforma de nube de datos descentralizada basada en Polkadot, que está optimizada para la integración de datos de servicios y la colaboración de datos. Lithium Finance es un protocolo de oráculo de datos de activos privados, cuyo objetivo es proporcionar protocolos DeFi con precios de activos que no se pueden realizar de inmediato, como precios de acciones previos a la OPI y precios de capital privado. [2021/9/23 17:01:37]

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.

Balancer lanzado en la red Polygon: el 1 de julio, Balancer se lanzó en Polygon. Balancer declaró oficialmente que cooperará con Polygon para mejorar la liquidez de DeFi y reducir las tarifas de transacción. Balancer realizará minería de liquidez en la red Polygon. [2021/7/1 0:20:52]

Aragon y Balancer proporcionarán cada uno USD 100 000 en recompensas de desarrollo para Snapshot: el proveedor de soluciones DAO Aragon (ANT) anunció que la Asociación de Aragón cooperará con Balancer Labs para contribuir con código a la base de código de Snapshot y proporcionar ANT por un valor de USD 100 000. Balancer Labs comprometerá USD 100 000 en BAL (sujeto a la aprobación del gobierno de BAL), y ambos tokens irán a un grupo Balancer 50/50 para el desarrollo de Snapshot y recompensas de financiación. Anteriormente, Aragon lanzó una solución de gobernanza basada en Snapshot y Aragón Court (Corte de Aragón), que combina la votación fuera de la cadena y la gobernanza en la cadena.Snapshot proporciona votación fuera de la cadena, lo que permite a los usuarios de la comunidad votar fuera de la cadena, y Aragón Court llevar a cabo la gobernanza en cadena, incluidos los litigios y la ejecución. [2020/10/7]

Tags：CertiKcontrato inteligente

oficial

• 

  Facebook

• 

  Twitter

• 

  Weibo

• 

  YouTube