CertiK 창립자 구룽후이가 다보스 포럼에서 "AI가 형식 검증을 강화하고 있으며, 상장 목표로 하고 있다"고 연설했습니다.

이 기사는 기계로 번역되었습니다
원문 표시

오데일리 오데일리 (odaily) 에 따르면, 2026년 세계경제포럼(WEF) 연례 회의 기간 중 다보스에서 CBS와의 인터뷰에서 서틱(CertiK) 창립자 구룽후이(Ronghui Gu)는 세계 최대 웹3 보안 기업인 서틱이 상장) 계획을 적극적으로 추진하고 있으며 "웹3 인프라 분야 최초의 상장 기업"이 되기 위해 노력하고 있다고 밝혔습니다.

이번 인터뷰에서 구룽후이 대표는 서티크의 핵심 보안 기술인 Spoq 엔진에 대해서도 공개했습니다. 이 엔진은 AI를 정형 검증 시스템에 접목함으로써 정형 검증의 확장성과 실행 효율성을 크게 향상시킵니다.

CertiK의 혁신적인 성과는 OSDI 2023 및 ASPLOS 2026과 같은 세계 최고 수준의 학술대회에서 인정받은 것으로 알려져 있습니다. CertiK는 최첨단 학술 연구를 생산성 도구로 전환함으로써 전 세계 기관 고객에게 수학적 수준의 보안을 제공하고 있습니다.

출처
면책조항: 상기 내용은 작자의 개인적인 의견입니다. 따라서 이는 Followin의 입장과 무관하며 Followin과 관련된 어떠한 투자 제안도 구성하지 않습니다.
라이크
즐겨찾기에 추가
코멘트