2018년에 설립된 블록체인 보안 회사인 CertiK는 종단 간 블록체인 보안 감사 서비스를 위해 공식 검증과 AI 기술을 협업하여 활용합니다. 공식 검증과 수동 검증을 결합하여 스마트 계약의 안전성을 수학적으로 검증합니다. 또한 이 회사는 스마트 계약의 보안을 강화하도록 설계된 보안 중심 블록체인인 "CertiK Chain"을 개발했습니다.
2018년에 설립된 블록체인 보안 회사인 CertiK는 종단 간 블록체인 보안 감사 서비스를 위해 공식 검증과 AI 기술을 협업하여 활용합니다. 공식 검증과 수동 검증을 결합하여 스마트 계약의 안전성을 수학적으로 검증합니다. 또한 이 회사는 스마트 계약의 보안을 강화하도록 설계된 보안 중심 블록체인인 "CertiK Chain"을 개발했습니다.
