[서틱(CertiK)] 스마트 컨트랙 검증 프레임워크 (Binance Laps 투자)

1

안녕하세요. 파섬 입니다. 

서틱(CertiK) – 스마트 컨트랙 검증 프레임워크 대해서 알아보도록 하겠습니다.
투자를 권유하거나 투자를 유도하려는 의도가 없음을 알려드립니다. 
투자에 대한 책임은 본인게만 있다는점 항상 상기해 주세요 ~ ^^

서틱(CertiK)에 관심을 가지게 된 계기가 무엇인가요?
바이낸스(Binance) Laps(연구소) 에서 최근에 투자한 프로젝트 대해서 관심을 가지게 되었습니다. 아무래도 바이낸스에서 투자를 했다면 성장 가능성 및 바이내스 거래소 상장될 가능성이 높아지고 가격형성도 좋게 나오지 않을까 싶어 관심을 가지게 되었습니다. (투자자 입장에서~)

[참고] 바이낸스랩(Binance Laps) : 최근 투자 목록 -> Mobilecoin, Oasis Labs, CertiK, Republic 

1. 홈페이지 주소 : https://certik.org

2. 텔레그램 주소 : https://t.me/certikorg (현시점 : 1만8천명)

3. 블로그 : https://medium.com/certik

4. 유튜브 : https://www.youtube.com/channel/UCCcFr6FTUeWDIqUdY8i1W5w

스마트 컨트랙 검증 관련된 경쟁사가 없나요 ? 
Quantstamp 경쟁업체가 있습니다. 이더리움 솔리디티(Solidity) 작성된 스마트 계약서의 검증 프로토콜을 검사하기 위해 전통적인 모델 검사 기법과 소스코드를 검토하고 수동으로 사양서를 작성하기 위해 많은 시간과 노력이 필요합니다.  
(Quantstamp : Binance, Huobi, Kucoin, Gate io 상장되어 있음) 

Zpppelin(제플린) : 테스트 및 검증 서비스 제공 업체. 수동으로 소스코드 검토 및 검증.

Runtime Verification : 스마트계약 검증 서비스 제공. KEVM 연구 단계 머물러 있음.

경쟁업체들과 다른점과 우위를 가지고 있는게 무었인가요?
서틱(CertiK) 세계최초로 완전 동시성 OS 커널인 CertiKOS를 개발 하였고 , 기존방식으로 수동으로 검증하는데 많은시간과 비용이 들게 되지만 서틱(CertiK)은 자동화 시킴으로써 시간과 비용을 최소화 시킵니다. 스마트 컨트랙을 비롯한 코드에 문제나 버그가 발생하면 자동적으로 오류표기해주는 기능을 제공합니다.
2018년 3분기 상용화 예정이고 6월말까지 파트너 30곳과 계약 체결예정입니다.
(실제 상용화가 3분기라는 점을 들 수 있습니다.) 

홈페이지에는 파트너쉽이 없는데 이거 믿을만한 프로젝트 인가요?
최근에 네뷸러스(Nebulas)와 제휴를 맺었습니다.
https://medium.com/certik/nebulas-and-certik-announce-partnership-617cbd08f271  (전략적 파트너쉽 발표)
네오 글로벌 캐피털 : http://ngc.fund  이곳에 가시면 서틱 투자목록이 나옵니다. (여기서는 블록체인 생태계에 대한 공식 검증 플랫폼으로 소개하고 있습니다.) 
6월말까지 파트너 30곳 계약 체결한다고 하는데 홈페이지에는 업데이트 안하고 있어서 ~ 곧 업데이트 하지 않을까 싶습니다. 홈페이지가 넘 단순해서,,, 
실망하시는 분들이 많으리라 봅니다. 내실을 보아야할 프로젝트입니다. 
(Binance Laps, Neo Global Capital, Nebulas)

좀더 투자자 입장에서 설득이 필요해 보입니다 위 내용으로 투자를 결심이
서지 않는데요. 그래도 더 설득할 내용이 있으신가요?
지금 제가 설명드린것은 꼭 여기에 투자하라고 올린 글이 안입니다.
기존 경쟁업체보다 기술적으로 우위에 있고 바이낸스랩에서 투자한 곳이라서 관심을 가지게 되었다는 점 입니다. 
굳이 하나 더 설명드리자면 2018년 5월2일 Senta Clara(산타클라라) 에서 개최한 제 3회 실리콘 밸리 페스티벌에서 Global Blockchain Excellence Award (글로벌 블록체인 우수상 수상) 했다는 점을 알려드리고 싶습니다.
https://medium.com/certik/certik-crowned-global-blockchain-excellence-award-1dfc3b760131
그만큼 전세계의 투자자와 기업가들에게 큰 관심을 가졌던 프로젝트 였음을 알수 있는 대목입니다. 

아무리 우수상을 받았다고 하지만 팀 구성원들을 믿을 수 있는 분들 인가요?
팀리더 구성원소개 드립니다. (백서 팀리더 구성원 자동번역기 이용함) 

공동 창립자로 예일대학교 박사, 콜롬비아 대학 교수진, 실리콘 밸리 3분 소개되어 있습니다. 
Ronghui Gu : https://www.cs.columbia.edu/~rgu/
                    https://www.linkedin.com/in/guronghui/
Zhong Shao : http://www.cs.yale.edu/homes/shao-zhong/
                    https://www.linkedin.com/in/zhong-shao-545b754/
Vihelm sjoberg : http://www.cs.yale.edu/homes/vilhelm/
                        https://www.linkedin.com/in/vilhelm-sj%C3%B6berg-9b667a94/                        
위 3분 경력으로 보아 개발 능력으로 보았을때 좋아 보입니다. 

기술적으로 설명을 왜 안해주시나요?
너무 전문적인 부분을 설명 드리게 되면 일반인이나 투자자분들에게 어렵게 느껴질것 같아 세부적인 기술내용 간략하게만 설명드렸습니다. 기술적으로 더 검증이 필요하신 분들은 백서를 통해 자세히 알아볼수 있지만 개인적으로 개발자 안이면 쉽게 이해하기는 힘들어 보이긴 합니다. 그래도 어떻게 스마트 계약을 검증하는지 알고 싶은 분들이 계실듯 싶어 아래 그림을 보여드리겠습니다. 

작동원리 알아보기 (자동번역기 이용 : 번역이 매끄럽지 못한점 양해 부탁드립니다)

스마트 컨트랙에 빨간 마킹을 합니다.  그다음 스마트 컨트랙 계층화 시키면서 분석하여 패턴을 확인하는 과정을 거치게 됩니다. 그리고 검증자와 서틱앱 통해 체크하고 다시 네트워크 통해 여러 구성원들간에 크로스 검증을 거치게 됩니다. 

설명 잘 들었습니다. 서틱(CertiK) 작동원리에서 보면 CTK라는 토큰이 보이는데 구성원들에게 보상을 주는 형태인가요 ?

CTK는 서틱 플랫폼에서 참가자들로 하여금 생태계에 기여하거나 유지하는 유도하는 경우 경제적인 인센티브 제공하며,  검증엔진에 엔진을 제공하는 회사도 보상을 받게 되고 코드를 검증(감사)하는 회사에게도 동기부여를 제공 해줍니다. (현실적으로 개인(일반인)이 코드 검증하긴 쉽지 않죠 – 코딩 개발자 전문가는 가능하겠네요 ~) 아래 그림을 보시는게 더 이해가 빠를것 같아 보여드리겠습니다.  (엔진 제공 회사는 평가결과에 따라 CTK 인센티브를 받습니다)

개발로드맵은 어떻게 진행 되어 지나요 ?

2018년 6월달에 1.0 버전 정식 출시 예정입니다. 

지금까지 읽어 주셔서 감사합니다. ^^

1 COMMENT

LEAVE A REPLY