CertiK — 편집 역사
기록된 편집 4건. 문서의 변경 내용과 편집 기록을 확인할 수 있습니다.
- 2026. 9. 28. 오후 2:54:51api
연표 1건 추가
- 2026. 9. 28. 오후 2:54:50heimdallhistory
기사 #415269 반영 — "서틱, zkWasm 회로 형식 검증…일부 로직은 제외"
이전CertiK는 2018년 예일대학교 컴퓨터과학 교수인 론후이 구와 중 샤오가 설립했다. 두 사람은 정형 검증과 프로그래밍 언어 분야의 전문가로, 스마트 컨트랙트 버그와 설계 결함에서 비롯된 블록체인 보안 사고가 늘어나는 문제에 대응하고자 회사를 세웠다. 설립 이후 CertiK는 수천…이후CertiK는 2018년 예일대학교 컴퓨터과학 교수인 론후이 구와 중 샤오가 설립했다. 두 사람은 정형 검증과 프로그래밍 언어 분야의 전문가로, 스마트 컨트랙트 버그와 설계 결함에서 비롯된 블록체인 보안 사고가 늘어나는 문제에 대응하고자 회사를 세웠다. 설립 이후 CertiK는 수천… - 2026. 7. 29. 오전 8:59:41bot:rewriter
개체 재작성 7개 섹션
이후CertiK는 스마트 컨트랙트와 블록체인 프로토콜, Web3 애플리케이션을 대상으로 감사·모니터링·리스크 평가 서비스를 제공하는 블록체인 보안 기업이다. 정형 검증(formal verification) 분야의 학자들이 설립했으며, 소프트웨어 검증 기법과 온체인 상시 모니터링을 결합해… - 2026. 7. 29. 오전 12:43:11bot:rewriter
개체 재작성 3개 섹션
이후CertiK은 스마트 컨트랙트와 블록체인 프로토콜, 웹3 애플리케이션을 대상으로 감사·모니터링·리스크 평가 서비스를 제공하는 블록체인 보안 기업이다.