A Shentu Chain uniu-se à CertiK para lançar a primeira plataforma DeSci matemática do mundo, OpenMath.

【链文】13 de outubro, a Shentu Chain anunciou o lançamento oficial da primeira plataforma DeSci focada na área de matemática, a OpenMath. Esta plataforma foi desenvolvida em colaboração estratégica entre a Shentu Chain e a CertiK, a maior empresa de segurança Web3 do mundo e líder no campo da verificação formal.

OpenMath está empenhada em construir um ecossistema DeSci centrado na "verdade matemática verificável", onde pesquisadores e verificadores podem colaborar para propor e resolver problemas matemáticos, realizando a validação lógica através da tecnologia de verificação formal baseada no Rocq, garantindo a rigorosidade e precisão do raciocínio com precisão a nível matemático. Os participantes que concluírem com sucesso a validação receberão recompensas em tokens, realizando uma combinação eficaz entre a transparência do processo de pesquisa e o mecanismo de incentivo.

Segundo informações, o OpenMath foi implantado na cadeia Shentu, que anteriormente era a cadeia CertiK, incubada pessoalmente pelos professores Zhao Zhong da Universidade de Yale e Gu Ronghui. Em agosto de 2021, a Shentu separou-se oficialmente da CertiK, operando de forma independente como uma entidade autônoma. O lançamento do OpenMath representa uma exploração conjunta das duas partes sobre a aplicação da blockchain e da Verificação formal em cenários matemáticos, baseada em uma nova relação de parceria.