Certik Chain 간략 소개
PoS 기반 안전한 스마트 컨트랙트 플랫폼?
들어가면서..
최근 다양한 PoS (Proof-of-Stake) 기반 블록체인이 메인넷을 시작하거나 준비하고 있는 등 많은 숫자의 프로젝트들이 소개되고 있으며, 시장 참여자들의 반응도 매우 뜨거운 듯합니다. 그렇다보니 메인넷이 시작되거나 토큰 세일이 끝난 PoS 블록체인들은 소개하기는 이미 늦은 듯하여, 본 글에서는 아직 메인넷을 시작하지 않은 PoS 기반 블록체인 중 기존 스마트 컨트랙트 감수(audit)로 유명한 CertiK에서 준비한 CertiK Chain에 대하여 간략하게 소개하려고 합니다.
CertiK Chain 이란?
CertiK Chain은 스마트컨트랙트 감수로 유명한 CertiK에서 준비한 블록체인 프로젝트로 CertiK이 전문성을 가지고 있는 Formal Verification을 이용하여 안전한 스마트컨트랙트의 개발 및 수행을 가능하게하는 것을 목표로 소개된 블록체인입니다.
Certik Chain은 CertiK (https://certik.io/)이 개발하고, Certik Foundation (https://www.certik.foundation/)이 운영하는 형태로 알려져 있으며 홈페이지에 공개된 CertiK Chain의 주요 투자자는 아래와 같다고 합니다.
CertiK Chain은 CTK라는 토큰을 기반으로 동작하며, 총 토큰 발행은 100M CTK로 추정되며 현재까지 1 CTK의 가치에 대해서는 공개된 정보가 없습니다.
CertiK Chain은 무슨 문제를 풀고 있을까?
CertiK Chain 소개글에 따르면, 스마트 컨트랙트는 인증서를 포함하며, 인증서가 없는 스마트 컨트랙트는 비싼 비용을 지불하게 될 것이라고 합니다. 이를 위해서 내부적으로는 Formal Verification 기술을 이용한 CertK Virtual Machine (CVM)을 제공하게되며, 스마트 컨트랙트를 위한 컴파일러도 제공될 것이라고 합니다.
그리고 안전한 스마트 컨트랙트 개발을 위해서 DeepSEA라는 새로운 함수형 프로그래밍 언어 (Functional Programming Language)를 제공하고 있습니다. DeepSEA로 개발된 스마트 컨트랙트는 EVM(Ethereum Virtual Machine)과 CVM에서 모두 동작이 가능하여 Ethereum 및 CertiK에서 모두 동작이 가능합니다. 물론 CertiK에서 동작할 경우에는 앞에서 소개한 Formal Verification을 통하여 수행을 검증할 수있다고 합니다. 그리고 DeepSEA는 IBM과 이더리움 재단의 지원을 받아 Hyperledger 및 EVM 와 통합되도록 개발이 진행되고 있다고 합니다.
<DeepSEA로 작성된 ERC20 토큰. Source: Certik Foundation Github>
스마트 컨트랙트의 안정성 외에도 CertiK Chain의 노드들의 안전한 운영을 위하여 Military-grade의 보안을 제공하는 CertiKOS을 제공할 것이며, 다양한 블록체인에서 여러번 문제가 이슈가 되었던 Oracle 문제점을 해결하기 위한 Decentralized Security Oracle도 제공할 것이라고 합니다. 그리고 마지막으로 자산의 분실들을 보상해 줄수 있는 Decentralized Reimbursement를 가능하게 하는 CertiKShield를 제공하겠다고 합니다.
<Source: CertiK Chain Testnet Open Beta to Launch Next Week>
이처럼 소개하고 있는 CVM, 컴파일러, DeepSEA, CertikOS, Decentralized Oracle 그리고 CertiKShield가 모두 성공적으로 제공되게되면, CertiK Chain은 안전한 스마트 컨트랙트의 개발 및 수행을 위한 소위 full-stack을 제공하게 됩니다. 아쉽게도 현재까지 기술을 상세하게 설명하는 자료들이 많은 경우 공개되어 있지 않았으며, 관련 정보들이 올해내로 계속 공개될 예정이라고 합니다.
Testnet
공개되는 정보와 별개로 CertiK Chain은 지난 2019년 7월에 비공개 테스트넷을 진행하였으며, 올해 2020년 3월부터 Certik Chain의 주요 기능이 활성화되고 100대의 밸리데이터로 구성된 테스트넷을 운영하기 시작했습니다. 최근 2020년 7월 15일 부터는 테스트넷을 리셋하면서 Shentu Incentivized Testnet을 새로이 시작하면서 참여자들을 모으고 있습니다.
현재까지 확인된 바로는 Certik Chain은 Cosmos 기반의 블록체인으로 합의 알고리즘은 Tendermint를 사용하고 있으며 5초마다 블록을 생성하고 있습니다. 그리고 앞에서 소개하였듯이 스마트 컨트랙트의 수행이 가능하며 스마트 컨트랙트는 Solidity와 DeepSEA 두가지 언어로 작성 가능합니다. 웹 기반 지갑 DeepWallet 및 CertiK Chain Explorer를 제공하고 있습니다.
Certik Shentu Games
Shentu Incentivized Testnet을 시작함과 동시에 다양한 유저들을 위한 Shentu Games라는 행사를 시작하였습니다.
Shentu Games는 CertiK의 웹기반 지갑인 DeepWallet의 계정 생성 등 간략한 작업들 구성되어 있으며, 약 1M CTK 토큰을 참여자들에게 배포한다고 홍보하고 있습니다. (https://www.certik.foundation/blog/certik-chain-incentivized-testnet-is-now-live)
마치면서..
CertiK Chain은 현재 공개된 자료가 많지는 않아 확신할 수는 없지만, 스마트 컨트랙트 감수 등 블록체인의 보안 분야의 전문성을 가지고 있는 CertiK에서 준비하고 있는 블록체인이다보니 관심을 가지고 살펴보고 있습니다. CertiK Chain이 달성하고자 하는 목적을 달성하게되면, 추후에는 안전한 스마트컨트랙트 개발 및 수행을 도와주는 기간 인프라로 실사용이 될 수있는 블록체인이 될 수 있을 것이라 생각며, YAM 등과 같은 스마트 컨트랙트로 제공되는 De-Fi의 불안정성을 해소해 줄 수 있을 것으로 기대하며 추후 새로운 정보들이 공개되면 더욱 자세하게 소개하도록 하겠습니다.
References
- Introducing the CertiK Chain, https://certik.io/blog/announcements/introducing-the-certik-chain, 2019-07-22
- CertiK Foundation On the Road to Mainnet , https://www.certik.foundation/blog/certik-foundation-on-the-road-to-mainnet, 2020-02-29
- Announcing The Shentu Games: Security Stimulus, https://www.certik.foundation/blog/announcing-the-shentu-games-security-stimulus, 2020-07-15
- CertiK Chain Incentivized Testnet Is Now Live, https://www.certik.foundation/blog/certik-chain-incentivized-testnet-is-now-live, 2020-07-15