Shentu cadena se une a CertiK para lanzar la primera plataforma de DeSci matemática del mundo, OpenMath

【链文】13 de octubre, Shentu Chain anunció el lanzamiento oficial de OpenMath, la primera plataforma DeSci centrada en el ámbito matemático a nivel mundial. Esta plataforma fue desarrollada en colaboración estratégica entre Shentu Chain y CertiK, la mayor empresa de seguridad Web3 del mundo y líder en el campo de la Verificación formal.

OpenMath se dedica a construir un ecosistema DeSci centrado en "verdades matemáticas verificables", donde investigadores y verificadores pueden colaborar para plantear y resolver problemas matemáticos, y validar lógicamente a través de tecnologías de verificación formal basadas en Rocq, garantizando la rigurosidad y precisión del razonamiento con un nivel de precisión matemática. Los participantes que completen con éxito la verificación recibirán recompensas en forma de tokens, logrando una combinación eficaz de transparencia en el proceso de investigación y mecanismos de incentivos.

Se informa que OpenMath está desplegado en la cadena Shentu, que anteriormente era la cadena CertiK, incubada personalmente por el profesor Zhao Zhong de la Universidad de Yale y el profesor Gu Ronghui. En agosto de 2021, Shentu se separó oficialmente de CertiK y opera de manera independiente como una entidad autónoma. El lanzamiento de OpenMath es una exploración conjunta de ambas partes sobre la aplicación de la blockchain y la Verificación formal en escenarios matemáticos, basada en una nueva relación de colaboración.