CertiK(CTK)

스마트 계약 검증 플랫폼

사업 소개

소개 

CertiK는 스마트 컨트렉 및 블록체인 생태계가 해킹에 저항할 수 있고 버그가 없음을 수학적으로 입증하기 위한 공식 증명 체계입니다. 이 증명을 척도화하기 위해 CertiK는 층(layer) 기반의 접근방식을 고안, 고비용의 증명 작업을 보다 작은 규모로 분해합니다. 

이러한 소규모 증명 의무는 CertiK 거래 내에서 인코딩될 수 있고, 이후 탈중앙화 방식으로 참여자들에게 검증이 됩니다. 따라서 CertiK 장부(ledger)는 검증을 마친 스마트 컨트렉에 대한 정확성과 보안성, 증명된 블록체인 생태계를 나타내는 증서로 기능할 수 있는 것입니다.  

블록체인의 한계

비트코인과 이더리움으로 인해 개척된 블록체인 기술은, 중앙화 신뢰기관에 의지하지 않고 전세계적으로 일관성을 가지는 장부를 제공합니다. 이 장부는 네트워크 노드 간의 협력에 의해 가상 통화 거래를 기록할 수 있습니다. 또한 작업 증명(POW) 또는 지분 증명(POS) 채굴 계획들을 통해, 이론상 감당하기 어려운 허위거래 방지 전산 비용을 조달할 수 있습니다. 이러한 점에서 장부는 중앙 기관 없이도 신뢰할 수 있는 것처럼 보입니다.

그러나 블록체인 생태계의 신뢰성은 완전무결한 것이 아닙니다. 블록체인 생태계의 투명한 정책과 막대한 잠재 이익은 공격 받기가 참으로 쉽습니다. 외부로부터의 공격에 극도로 민감하며, 그 취약성은 예상보다 더 큽니다. 

이러한 문제점을 개선하기 위해서는 다음 질문들에 답할 수 있어야 합니다. 

무엇을 증명해야 하는가?

증명 개발을 어떻게 척도화할 것인가?

증명에 대한 신뢰를 어떻게 확보할 것인가?

CertiK 플랫폼 개요

그리고 이 질문들에 대한 해답의 근본은 블록체인 그 자체에 있으며, 이것이 바로 종합 솔루션 CertiK 플랫폼이 개발된 배경입니다. CertiK 플랫폼은 전적으로 신뢰할 수 있는 블록체인 생태계를 구축하기 위해, 다음과 같은 강력하고 공인된 수단들을 제공합니다. 

▲ 스마트 라벨링(labeling): CertiK 플랫폼은 라벨을 사용해 댑(DApp)/시스템을 지정하는 새로운 접근법을 고안했습니다. 이 라벨들의 표현 능력은 원하는 특성을 공식적으로 나타내기에 충분하며, 기존의 프로그래밍 언어들(Solidity 등)과 호환성을 가집니다. 

▲ 층 기반 분해: CertiK 팀은 '층을 이루는 심층 항목화(specification)' 개념을 실현시켜 모듈식 검증에 성공한 최초의 기술진 중 하나입니다. 이 기술은 층을 이루는 디자인 패턴 통찰을 파악하여, 복잡한 증명 작업을 보다 작은 규모로 분해합니다. 그리고 소형화된 개별 작업을 적절한 추상 단계에서 증명할 수 있는 것입니다.

▲ 연결형(pluggable) 증명 엔진: 분해된 증명 의무는 SMT Solver 등의 자동 검정기(verifier)도 풀 수 있을 정도로 해결이 쉽습니다. 확장성을 보장하는 차원에서, CertiK 플랫폼은 개방형 프로토콜을 적용하여 해결 알고리즘과 자유롭게 연결될 수 있도록 했습니다. 

▲ 기기로 검사할 수 있는 증명 대상: CertiK 플랫폼은 기계화된 증명 대상(또는 반례)을 구축했기 때문에, 누구라도 신속히 저마다의 기기로 이 대상들을 검사할 수 있습니다. 이 대상들은 또한 검증된 프로그램에서 '증명서'로 표시됩니다.

▲ 공인된 댑: 코드의 품질과 블록체인 커뮤니티 전체의 신뢰성을 개선하기 위해, CertiK 플랫폼은 일련의 공인된 라이브러리와 플러그인(plug-in)을 제공, 신뢰할 수 있는 댑을 개발하기 위한 통합된 환경(IDE)을 구축합니다. 

▲ 맞춤형 인증 서비스: CertiK 플랫폼은 높은 신뢰 요건을 가지는 댑/시스템(디지털 지갑 등)에 대해 맞춤화 인증 서비스를 제공하고자 합니다. 이 절차에는 증명 전문가들이 동원되어 프로그램을 지정/검증하고, 구체화된 종합 레포트를 제시할 것입니다.

진행 정보

Private Sale
미정
Public Sale
미정
Whitelist : 있음
KYC : 있음

평가 정보

* 모든 평가는 참고용일 뿐이며 수익률을 보장하지 않습니다.

진행 세부 정보

기반 플랫폼 이더리움
구입 가능 화폐 -
전체 발행 토큰 100,000,000 CTK
전체 판매 토큰 -
회사 소재 미국
참여 제한국 미국, 중국
토큰 지급 일정 -
잔여 토큰 처리 ICO 종료 후 잔여 토큰 소각 예정
참고 사항 -
진행 기간 미정
판매 토큰 -
판매 가격 -
개인 캡 -
보너스 -
펀딩 현황 -
펀딩 목표 -
소프트 캡 -
하드 캡 -
참고 사항 -
진행 기간 미정
판매 토큰 -
판매 가격 -
개인 캡 -
보너스 -
펀딩 현황 -
펀딩 목표 -
소프트 캡 -
하드 캡 -
참고 사항 -

Trending ICOs

TransCrypt

편리한 암호 화폐 및 법정 화폐 거래 시스템

IRIS Network

블록체인 상호호환 서비스 인프라 및 프로토콜 제공

Tobigca

카지노 플랫폼