CertiK 창립자 구룽후이 다보스 등장: AI가 형식 검증에 힘을 실어주며, 상장 목표 고정
2026-01-23 08:30
Odaily 보도에 따르면 2026년 세계 경제 포럼(WEF) 연례 총회 기간 동안, CertiK 창립자 구룽후이가 다보스에서 CBS 단독 인터뷰를 통해 세계 최대 Web3 보안 기업으로서 CertiK가 상장 계획을 적극 추진 중이며, 'Web3 인프라 첫 주식'이 되기 위해 노력하고 있음을 밝혔다.
인터뷰에서 구룽후이는 또한 CertiK의 보안 기술 측면 핵심 기술인 AI가 깊이 통합된 Spoq 엔진을 공개했다. AI와 형식 검증 시스템의 융합을 통해 이 엔진은 형식 검증의 확장성과 실행 효율성을 크게 향상시켰다.
알려진 바에 따르면, CertiK의 이 첨단 성과는 이미 OSDI 2023 및 ASPLOS 2026과 같은 세계 최고 수준의 학술 회의에서 검증을 받았다. 최고 수준의 학술 연구를 생산성 도구로 전환함으로써, CertiK는 전 세계 기관급 고객에게 수학적 수준의 보안 보장을 제공하고 있다.
추천 기사
