CERTIK (CTK)

블록체인기반 스마트컨트랙트 검증 플랫폼

 


프로젝트 설명




∙ CERTIK



1. 스마트컨트랙트는 블록체인의 특성상 오픈이 되어있어 수많은 해커들에게 타겟이 되고있다.



2. 스마트컨트랙트의 오류, 해커 등등으로 인한 피해가 많이 발생하고 있다.



3. CERTIK은  스마트컨트랙트와 dApp을 포함한 블록체인 시스템의 모든 구성요소 검증 플랫폼이다.



4. 수작업이 아닌, 수학증명방식을 사용하고 레이어기반의 모듈검증을 사용한다.

 



CERTIK 기술 특징




1. CERTIK 스마트 라벨링



- 딥러닝, 프레임워크가 적용된 레이블을 통해 모든 스마트컨트랙트와 dApp을 자동호환하며 코드를 검증한다.


   

2. CERTIK 증명 엔진



- 라벨링을 통과하면 자체컴파일러를 사용해서 소스코드를 실행 가능한 상태로 변경 후 실제동작하며 오류를 찾아낸다.

  


3. 레이어 분해



- 복잡한 스마트컨트랙트 코드를 계층별로 나눠 검증한다. 계층별로 검증 한 후 다시 모든 계층을 이어 시스템의 정확성을 보장한다.

   즉, 복잡한 스마트컨트랙트 언어를 단순화하여 효과적으로 검증한다.





 대표적인 스마트컨트랙트 감사회사로는 Quantstamp, zeppelin이 있는데. 둘다 수동 검증 시스템이라

 수학검증방식, 자동화 등등을 가진 CERTIK이 감사회사 중에 우위를 점할 것이라 많은 사람들이 예측하고 있다.





 로드맵

- 2017년도 4분기


- CERTIK 기술과 커뮤니티 컨셉 증명



- 2018년도 1분기


- CERTIK 라벨링과 증명엔진 알파버전


- 스마트라벨링 알파버전


- 커뮤니티 오픈 및 프라이빗 세일 



- 2018년도 2분기


- 베타버전


- 사업 파트너 10개사 도달



- 2018년도 3분기


- 1.0버전 


- 사업 파트너 30개사 도달





ICO 정보



⦁ 심볼 : CTK



⦁ 하드캡 :  TBA



⦁ 총 발행량 :  TBA



⦁ 토큰금액 :  TBA



⦁ 세일기간 : TBA






- Prof. Zhong shao


예일대학교의 컴퓨터과학 교수. 초기경력은 SML/NJ 컴파일러의 핵심개발자 및 FLINT인증 인프라의 주요 설계자.

세계최초의 해커방지 동시 운영체제인 CertiKOS를 개발



- Prof. Ronghui Gu


콜롬비아대학교의 컴퓨터과학 조교수. 시스템 소프트웨어의 공식검증전문가. CertiKOS의 주요 디자이너 및 개발자. 



- Dr. Vilhelm Sjoberg


예일대학의 부연구 과학자. 컴퓨터과학 전공 후 소프트웨어 검증, 프로그래밍언어 및 유형시스템 전문가.



- Daryl Hok


예일대학교의 경제 및 심리학 전공. FiscalNote에서 기업 개발을 주도. 




사업 파트너




링크


CONTACT US


업데이트 채널



광고 (advertising)

advertise@ico-korea.com



기타 문의 (customer)

support@ico-korea.com




면책조항


- ICO-KOREA는 ICO에 관한 정보제공만을 목적으로 하며 어떠한 경제적, 법적조언을 하지 않습니다.
- ICO-KOREA는 제공하는 정보들의 사실 및 진위나 적법성에 대하여 보증하지 않습니다.
- ICO-KOREA는 본 홈페이지에 게시된 자료의 내용에 관하여는 책임을 지지 않습니다.
- ICO-KOREA는 ICO-KOREA에 링크된 사이트가 취급하는 정보/상품/용역에 대하여 보증책임을 지지 않습니다.
- ICO-KOREA에 연결된 사이트는 독자적으로 운영되며 ICO-KOREA는 ICO-KOREA 연결사이트와 회원간의 거래에 대하여 어떠한 책임도 지지 않습니다.


Copyright @ 2017 ICO-KOREA. All rights reserved.



Copyright @ 2017 ICO-KOREA. All rights reserved.

면책조항


- ICO-KOREA는 ICO에 관한 정보제공만을 목적으로 하며 어떠한 경제적, 법적조언을 하지 않습니다.
- ICO-KOREA에 기재된 모든 글들은 정보제공용입니다. 어떠한 내용도 제공하는 정보들의 사실 및 진위나 적법성에 대하여 보증하지 않습니다.
- ICO-KOREA는 ICO-KOREA에 링크된 사이트가 취급하는 정보/상품/용역에 대하여 보증책임을 지지 않습니다.
- ICO-KOREA에 게시된 글들은 토큰 판매에 관한 조언, 상담 또는 추천으로 간주되어서는 안되며, 게시된 글들을 신뢰하는 사람이 취한 모든 행동은 자신의 위험을 감수하고 자신의 평가를 기반으로 하였음을 인지하여야 합니다.
- ICO-KOREA에 연결된 사이트는 독자적으로 운영되며 ICO-KOREA는 ICO-KOREA 연결사이트와 회원간의 거래에 대하여 어떠한 책임도 지지 않습니다.

CONTACT US


업데이트 채널


광고 (advertising)

advertise@ico-korea.com


기타 문의 (customer)

support@ico-korea.com