Auditoria e segurança de contratos inteligentes
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
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.