Auditoria e segurança de contratos inteligentes

O Blockchain apresenta uma oportunidade única para consenso distribuído. Aplicativos de contrato inteligente têm problemas de segurança exclusivos. Para mitigar esses riscos, a Jobchain® realiza auditorias de segurança para seus contratos inteligentes.

Certik e Quantstamp, duas das tecnologias de verificação formal mais avançadas do mundo para contratos inteligentes e auditoria de blockchain, deram luz verde para a Jobchain® continuar seus esforços para fortalecer ainda mais a segurança da plataforma para garantir a estabilidade e a confiança do ecossistema Jobchain®.

Sobre a CertiK

: A CertiK é pioneira em segurança cibernética blockchain fundada por professores de ciência da computação na Universidade de Yale e na Universidade Columbia. Aplicando o rigor da tecnologia proprietária de Verificação Formal em contratos inteligentes e protocolos blockchain, a CertiK conseguiu garantir mais de US$4,39 bilhões em ativos, incluindo muitos dos principais projetos blockchain do mundo. Os esforços de pesquisa da CertiK receberam subsídios da IBM e da Ethereum Foundation, bem como investidores notáveis, incluindo Binance Labs, Arrington XRP, Lightspeed China Partners, Matrix Partners China e NEO Global Capital, entre outros.

Ao contrário das abordagens tradicionais de testes, a CertiK tenta demonstrar matematicamente que o ecossistema blockchain e contratos inteligentes são resistentes a hackers e são livres de erros. Confiável pelo setor de segurança, a CertiK estabeleceu parcerias estratégicas com as principais bolsas de ativos digitais do mundo, como a Binance OKEx, Kucoin e Huobi, bem como protocolos blockchain, como NEO, ICON e QuarkChain.

Principais tecnologias CertiK:

  • Verificação formal - testes matemáticos para verificar todas as possibilidades de programas de missão crítica.
  • AutoScan - tecnologia escalável para identificar e corrigir vulnerabilidades de segurança
  • Deepsea-Blockchain - linguagem de programação funcional para contratos inteligentes formalmente verificáveis

Vantagens do núcleo CertiK:

  • Verificação formal completa e personalizável
  • Relatórios de auditoria detalhados e transparentes
  • Revisão do código por especialistas em segurança
  • Auditorias realizadas em todos os principais protocolos e idiomas
  • Counterrexexemplos autogerados
  • Reauditorias de código ilimitadas
  • Testes avançados de penetração realizados por hackers experientes e éticos

certik.io:

Sobre Quantstamp

:

O Quantstamp visa resolver a impenetrabilidade de contratos inteligentes criando o protocolo descentralizado líder que fornecerá uma auditoria de segurança para contratos inteligentes baseados na rede Ethereum. Em essência, o Quantstamp permite que os desenvolvedores de contratos inteligentes enviem seu trabalho ao protocolo, onde vários auditores de segurança podem revisar o contrato, a fim de receber tokens QSP como recompensa. O nível de auditoria necessário é definido pelo desenvolvedor inicial, que paga essas taxas a qualquer pessoa que identifique um problema no contrato inteligente.

quantstamp.com: