GoM은(는) 여기로 연결됩니다.
동방 프로젝트의 서적에 대한 내용은
The Grimoire of Marisa 문서 참고하십시오.|
|
||
|
|
||
| <colcolor=#004ea2,#008ccd> 영문명 | <colbgcolor=#fff,#1f2023> God Of Musician | |
| 기타 표기 | G.O.M, GOM, 갓 오브 뮤지션, 갓오브뮤지션 | |
| Title | For all the artists in the World | |
| 정식 런칭 | 런칭 준비 중 | |
| WebSite |
God Of Musician
|
|
| Contact us | US |
|
| KR |
|
|
1. 기본 정보
| Project |
God Of Musician (G.O.M)
|
| Description |
Music Blockchain Platform
|
| 기타 | 모든 정보는 예정 사항으로 변경될 수 있음 |
2. God Of Musician 개요
|
“God Of Musician 은 재능있는 뮤지션들의 꽃피워보지 못한 창작물들을 위한 등용문이 되길 바랍니다”
|
|
피어나지 못한 재능을 발굴하여 성장가능케 하는 무대
|
|
God Of Musician은 2022년에 런칭을 목표로 하는 스타트업 프로젝트로, 레이어2 기술인 플리곤 네트워크[1](Matic)를 도입한 블록체인 기반의 음악 서비스를 위한 암호화폐 프로젝트이다. 줄여서 G.O.M 이라고 부르며, 투자자들은 음원 감상 후 추천과 스테이킹을 통해 손실 없는 리워드를 받고 재능 있는 아티스트들은 누구나 본인만의 수익을 창출할 수 있다. 이와 같이 블록체인 플랫폼과 메커니즘을 통해 아티스트의 권리를 보장하고 저작권을 보호하는 등 창작물의 가치를 그대로 보존하여 수익 배분에서 발생하는 문제들에 대한 솔루션을 제공한다. 주요 사업은 음원 NFT 화 및 거래, 경매 그리고 자체 차트 활성화 및 스테이킹이다. 이러한 모든 과정들이 스마트 컨트렉트[2]를 활용한 블록체인 기술로서 데이터의 위변조가 불가능하며 권위 있는 중개기관이 없더라도 신뢰할 수 있는 안전한 거래와 데이터 처리가 가능하다. |
3. G.O.M 메인 플랫폼
|
G.O.M 토큰 기반의 높은 부가가치를 창출하는 플랫폼. 문화·예술 디지털 자산의 NFT화 및 안전 거래, 파트너사와 유기적 협력관계로 컨텐츠·기술력 확보 |
| “재능만 있다면 누구에게나 기회가 주어지는 공정한 플랫폼” |
|
• 뮤지션은 블록체인으로 소량의 수수료 지불, 창작물 음원 NFT 변환으로 저작권 증명 및 유저 간 거래·경매 참여 가능 • 스마트 컨트랙트(Smart Contract)로 제3자 개입 없는 저작권 보호, 표절 방지 KYC 인증과 관련 책임 소지 확인 • NFT로 변환 등록 음원은 당일 순위 책정 시스템에 추천 카운트 자동 적용, 순위에 따른 리워드 상세 비율 결정 • 모든 참여자들은 G.O.M 플랫폼에서 음원 감상 및 순위 선택 책정 이자 수령 |
|
1. 락업·마이닝 메커니즘으로 사용자가 고품질 NFT 선택, 공정한 음악 차트 형성 2. 락업·투표·채굴과 소각 메커니즘으로 G.O.M 토큰의 유동성 경감·희소성 증대. 토큰 가격 장기적 상승 유지 3. NFT/Defi/DAO를 통합한 새로운 경제 모델로 Polygon 컨트랙트 기반의 커뮤니티 활성화 및 풀체인[3] 구현 4. 생산자와 배급자의 역할을 동시 수행하는 음악 창작 플랫폼으로 글로벌 음악 산업에 기여하는 핵심 요소 |
3.1. G.O.M 토큰
|
‘God Of Musician’ 에서 발행되는 GOM 토큰은 스마트 컨트렉트가 더해져 생태계를 구성하는 주요 요소이다. 토큰 보유자는 AMM[4] 룰로 운용되는 유동성 풀을 사용하며 G.O.M 토큰은 폴리곤 토큰으로 구매하거나 리워드로 배당받을 수 있다. 토큰은 유동성 풀을 통해 유저 간의 거래, NFT 구매, Gsound(GS) 마켓 플레이스의 창작물 순위 책정, 스테이킹으로 인한 수익 창출 등에 사용된다. 개인 유저와 거래 · 창작물 순위 추천 · 스테이킹 · 리워드 수령 또한 가능하다. 추후 G.O.M의 국제 거래소 상장 및 추가 거래로 유동성 확보에 유리함. |
3.2. Gsound(GS) 마켓 플레이스
|
Gsound(GS) 마켓 플레이스는 G.O.M에서 운영하는 모든 음원·가사·악보들을 경매할 수 있는 시스템이다. GS 마켓 플레이스에서 NFT로 변환 등록된 음원을 구매할 수 있으며 NFT 변환은 자동으로 IPFS[5]에 등록되어 쉬운 사용·지속성·탈중앙화 등 NFT 자산의 안정성을 보장한다. |
|
현재 NFT 거래는 보편적으로 특정 네트워크를 사용하는, 구매를 희망하는 인원들이 모이는 거래소에서 이뤄지며, 거래소에 문제가 생길경우 개인간의 거래에 문제가 생길 수도 있고, 거래소 이용시에 거래소별로 책정된 수수료가 네트워크에 따라 상이하게 발생한다. 탈중앙화의 플랫폼에서 각자가 자유로운 거래를 한다는것은 생각보다 쉽지 않다. 수요와 공급 그리고 보안이 우선 준비되어야 되고 중앙화가 아닌 자율적인 거래가 이뤄져야되기 때문에. 프로젝트 구축에 폴리곤 네트워크가 사용된건 빠른 시스템과 저렴한 수수료 책정 또한 중요 요인. GOM 은 창작자들과 유저들이 편하게 거래 및 경매를 할 수 있도록 플랫폼 자체에 기능을 구축하고 있으며, 누구나 거래를 위해 타 플랫폼 또는 타 네트워크를 사용해 전송할 필요가 없다. 백서에도 나와 있듯이 풀체인[6]을 지향하는 G.O.M은 올인원 플랫폼으로의 준비를 이미 하고 있다. 창작자들의 끊임없는 재능확인과 유저들의 철저한 검증으로 선정된 음원들이 그 가치를 인정받고 제3자의 관여 없이 공정한 수익분배까지 보장되는 GOM 자체 거래소 |
4. 프로세스
4.1. 아티스트의 전용 Gsound 생성
|
Gsound란 뮤지션의 음원으로 생성한 G.O.M 플랫폼 내 음악 NFT를 칭하는 말이다. Gsound는 G.O.M에서 우수한 아티스트를 발굴하고, 그들이 더 높은 인지도와 수익을 가져갈 수 있도록 한다. 아티스트는 G.O.M에 자신이 작곡한 음원을 Gsound로 등록할 수 있다. 폴리곤 토큰을 소액의 수수료로 지불하면 음원이 Gsound로 변환되고 G.O.M 플랫폼에 자유롭게 등록할 수 있다. 등록 전 아티스트는 KYC 인증[7]으로 표절 관련 책임 소지를 확인해야 한다. 스마트 컨트랙트에 의해 자동으로 음원이 노출되며, 유저가 감상해 스테이킹·추천을 하면 순위권이 반영된다. 24시간 동안의 집계로 순위별로 리워드를 책정해 지급되는, 작품성만으로 누구나 유저들과 공유하며 수익을 창출할 수 있는 체계이다. AI 검증과 스마트 컨트랙트를 통한 추천 카운트 자동 집계가 실시돼, 순위표에 반영될 수 있는 조건을 갖춘다. Gsound는 G.O.M 홈페이지 또는 글로벌 가상자산거래소 등을 통한 개인 지갑으로 거래 가능하며 Polygonscan 사이트에서 모든 거래에 대한 확인이 가능하다. |
4.2. 투표 시스템
핵심 메커니즘
|
4.3. 유저의 음원 추천 스테이킹
|
G.O.M 토큰을 보유한 유저는 토큰으로 투표 시스템을 통해 플랫폼 내 Gsound에 스테이킹을 할 수 있으며, 두 가지 형태의 스테이킹이 가능하다. 1. 아티스트의 Gsound 추천 스테이킹 유저는 마음에 드는 Gsound에 스테이킹으로 추천할 수 있다. 이때 유저는 스테이킹에 대한 기본 배당을 지급받고, 해당 Gsound가 상위권에 진입할 경우 추가 리워드를 받는다. 유저의 스테이킹으로 Godboard 차트 형성에도 영향을 미치게 된다. 2. 순위 변동 예측 스테이킹 Gsound의 음원 순위가 어떻게 변할지 예측하는 스테이킹이다. 유저가 순위 등락 예측을 성공했느냐 실패했느냐에 따라 수령하는 리워드의 액수가 달라진다. 결과 예측을 성공했을 경우 추가로 리워드를 더 받을 수 있고, 실패하면 받을 리워드가 줄어든다. 순위를 집계한 뒤 차트에 반영하고 리워드 지급량까지 결정된다. 매일 정해진 시간에 순위권이 자동 변동된다. 리워드 중 일부는 소각되고, 일부는 유동성풀(liquid Pool)[8] 로 회수된다. |
4.4. 리워드
|
리워드는 스마트 컨트랙트로 자동 지급되며, 아티스트는 음원 NFT를 통해, 유저는 지분증명 채굴 개념으로 곡의 스테이킹에서 오는 이자 형태의 리워드를 받는다. 유저는 최초 스테이킹의 이자와 함께, 추천한 Gsound가 상위권으로 진입했을 때의 추가 리워드, 순위 변동 예측 스테이킹에 대한 리워드 등으로 플랫폼에서 수익을 창출할 수 있다. 아티스트의 Gsound가 상위권에 오랫동안 머물 경우, 해당 아티스트는 G.O.M과 제휴를 체결하고 전속 NFT를 발행한다. NFT를 활용함으로써 얻게 될 수익에 대한 지분을 설정하고, 수익 발생 시 지분에 따라 아티스트에게 자동 분배해 부가 수익을 창출케 한다.
|
5. 보안감사
| 미국 재무부의 금융 범죄 집행 네트워크에 의해 승인된 MSB[9]라이선스 취득 및 스마트 컨트랙트와 블록체인 프로토콜에 독점적인 Formal Verification[10] 기술을 적용해 세계 최고의 보안을 제공하는 기업 CertiK[11]의 보안 감사로 유저들의 안전성을 확보한다. |
6. 아마추어 뮤지션의 등용문
|
G.O.M에서의 음원 노출로 아티스트는 어느 정도의 스트리밍 횟수를 보장받으며 음원의 질적인 부분이 충족된다면 히트곡이 될 수 있으며 인기 음원 아티스트를 섭외해 공식 무대를 제공하고, 유명 엔터테인먼트사와 제휴·협업으로 아마추어 뮤지션의 엔터테인먼트사로의 역할을 한다. 1. 아티스트의 부가 수익 G.O.M에서의 음원 노출로 아티스트는 어느 정도의 스트리밍 횟수를 보장받는다. 음원의 질적인 부분이 충족된다면 히트곡으로 떠오를 여지도 충분하다. 아티스트는 G.O.M의 섭외로 공식 무대를 제공받거나 제휴를 맺어 전용 NFT를 발행하는 등 다양한 혜택을 받는다. 2. 블록체인 엔터테인먼트 사업 성장 가능성 G.O.M은 꾸준히 스타 아티스트의 풀을 넓힌다. Gsound의 순위에 따른 인기곡 선정으로 새로운 아티스트를 계속 발굴하고, 인기 Gsound의 아티스트를 섭외해 엔터테인먼트사로서 성장을 기획한다. G.O.M은 스테이킹이라는 금융 요소가 반영된 영역의 선택으로, 보다 완성도 있는 음원 선별이 가능하다. 여기에 유명 엔터테인먼트사와 제휴·협력 관계를 구축해 아마추어 뮤지션의 엔터테인먼트사 역할을 한다. 이는 곧 G.O.M의 글로벌 음악 산업 확장의 밑바탕이 된다. |
7. TEAM
| • 유 동석 (CEO) |
|
◇ ㈜넥스쿨그룹 대표이사
◇ ㈜가리온컨설팅 프랜차이즈 사업부문장 총괄이사 ◇ 호주 제스트원그룹 대표이사 ◇ 미국 리듬네이션그룹 대표이사 ◇ Campbellsville University 대학원 석사 ◇ University of Illinois at Urbana-Champaign 대학원 박사 수료 |
| • 정 재환 | • 송 종헌 | |
|
◇ (사) 고운미래교육개발진흥회 이사
◇ 송호대학교 공연영상IT학과 교수, 학과장 ◇ ㈜라루체 대표이사 ◇ ㈜하슬라 대표이사 ◇ 단국대 문화예술대학원 석사 ◇ 이태리 Norma il seminario 아카데미 수료 ◇ 이태리 로마 A.I.D.M 아카데미 수료 |
◇ 한국뉴미디어아트협회 KAMA 대표이사
◇ 現) KAIST디지털 인문사회과학부 강사 ◇ 現) 동아대학교 음악학과 강사 ◇ 現) 성신여대 현대실용음악과 강사 ◇ 現) 백석예대 실용음악과 강사 ◇ 現) 정화예대 실용음악과 강사 ◇ 일리노이대 스프링필드 강사역임 ◇ 버클리음대 학사 졸업 ◇ New York University 석사 졸업 ◇ University of Illinois at Urbana-Champaign 박사 졸업 |
| • 이 재환 (Advisor) | • 개발 및 마케팅 | |
|
◇ ㈜플레어 부설연구소 연구소장
◇ 송호대학교 공영영상IT학과 교수 ◇ ㈜티앤테크 기술연구소 기술이사 ◇ ㈜대전테크노파크 선임연구원 ◇ ㈜디엔에이네트워크 연구원 ◇ 한남대학원 경영학 석사 ◇ 한세대학원 공학석사 ◇ 한세대학원 공학박사 |
◇ 풀스택 개발 20년
◇ 텐센트 IEG 운영 업무 ◇ 모바일 플랫폼, iData 분석 플랫폼 ◇ 인터넷금융기업CTO ◇ 도호쿠 재경대 금융학 학사, MBA ◇ 플랫폼 제작 및 블록체인개발 ◇ EPR 보고 시스템 프런트 엔드/포그라운드/ 백오피스 ◇ 일본 오카야마대 컴퓨터 석사 ◇ IBM, Johnson Controls 등 근무 ◇ 인터랙티브 콘텐츠 사업부 전략기획팀 |
| Partners | ||||||||
| • 김 상돈 (kco실용음악학원) | • 김 상민 (kco실용음악학원) | |||||||
|
◇ kco실용음악학원 원장
◇ kco문화예술팩토리 대표 ◇ 단국대학교 실용음악과 졸업 ◇ 백석대학원 실용음악학 석사 ◇ 전)밴드 더넛츠 맴버 ◇ kbs국악관현악단 객원 세션(2007~2018) ◇ 전)퓨전국악그룹 슬기둥 맴버 ◇ 광명 소리빛예술단 단원 ◇ 클럽 에반스,크레이지홀스,버텀라인 등 활동 다수 |
◇ 동아방송대학교 영상음악과 졸업
◇ 현) 경기도립예술단 팝스앙상블 상임단원 ◇ kbs국악관현악단 객원 세션(2007~2018) ◇ 전)퓨전국악그룹 슬기둥 맴버 ◇ 가수 알리,박기영,바이브,바다,플라이투더스카이,bmk,송소희,한영애,안치환,홍지민,포맨,벤 등 라이브세션 다수 ◇ 클럽 에반스,크레이지홀스,버텀라인 등 활동 다수 |
|||||||
| • 안 성진 (작곡가, 피아니스트) | • 김 정훈 (국제실용음악학회) | |
|
◇ 울산대학교 피아노과 수석졸업
◇ 2004.서울 아시아 국제음악 콩쿨 대상 수상 ◇ tvN "오페라스타“시즌1 음악코치 ◇ 양준모,배다해의 "The Gift"콘서트 연주 ◇ 바리톤 서정학 일본(2009년) 한국(2010~2015) 리사이틀 반주 ◇ 가수 테이 콘서트"소심한독창회" 반주 ◇ 바리톤 서정학 정규1집 <ROMANZA> 전곡 편곡 및 연주 ◇ 뮤지컬배우 양준모 <THE GIFT> 편곡 및 연주 ◇ 악보집 <The letter> 출판 및 출판기념 독주회 (국립극장) ◇ 피아노 솔로앨범 1집<N.O.T.E>
2집<MOMENT>
3집<THE GIFT> 4집<THE MOON> 5집<Your Story> |
◇ 국제실용음악학회 회장
◇ IC 융합예술학회 이사 ◇ 한국공학예술학회 회원 ◇ 美 시카고 Bloom Jazz School (Jazz Vocal) ◇ 백석음악대학원 (실용보컬) ◇ 美 캘리포니아 University of California West Minston ◇ 동의 예술종합 콘서바토리 ◇ 드림뮤직 아카데미 ◇ Vas Music 엔터테인먼트 ◇ DM 엔터테인먼트 ◇ 한국 연예사관학교 전임교수 ◇ KETC 산학협력센터 ◇ DS ent. 프로듀서 ◇ 김천대학교 음악학과 전임교수 |
| • 정 병휘 <링크 참조> (지휘자) |
|
◇ 빈 국립음악대학교(Universitat fur Musik und darstellende Kunst Wien) 오케스트라 지휘과(Magister atrium), 합창지휘, 오페라코치 복수전공 졸업
◇ 서울대학교 음악대학지휘 실기와 오케스트라 지휘 출강 중 ◇ 서울대학교 평생교육원 음악교육 전문지도자 과정 지휘법 출강 중 ◇ 상명대학교 음악대학에서 오케스트라 지휘로 출강 중 ◇ 예술의 전당 음악 영재 아카데미 앙상블 지도 중 ◇ 서울예술고등학교 오케스트라 지휘자로 활동 중 |
8. 제휴 및 협력사
| (사)고운미래교육개발진흥회 | 한국뉴미디어아트협회 KAMA | IC 융합예술회 |
| 한국문화예술교육협회 | 국제실용음악학회 | KCO 실용음악학원 |
| Matic_Polygon Network | MSB | CertiK |
9. MOU 체결 안내
9.1. 국내 학회 및 협회
|
일찍이 G.O.M은 (사)고운미래교육개발진흥회와 MOU를 체결한 바 있다. 6월 7일에는 "국제실용음악학회", "한국예술문화교육협회"와 10일에는 "한국뉴미디어아트협회 KAMA", "안성진 피아니스트"와 MOU를 체결했다. 이후 새로운 협력 관계를 구축할 준비를 하며, 음악 산업에 실질적으로 필요한 분야들을 점차적으로 폭넓게 채우고 있다. G.O.M은 꾸준한 MOU 확장으로 음악 작업을 할 환경이 여의치 않거나 작품을 선보일 플랫폼이 필요한 아티스트들에게 해당 공간이나 기업과의 MOU를 바탕으로 아티스트들의 원활한 작업 및 홍보를 지원할 계획이다. |
10. 로드맵
| • 2022년 Q1 | ▫︎ MSB 라이선스 및 공식 확장 |
|
◇ 프리미엄 브랜드 런칭에 따른 홍보전략 수립
◇ 전략적 파트너사 확보 ◇ 웹사이트 개발 및 백서 |
|
| • 2022년 Q2 | ▫︎ God Of Musician 커뮤니티 활성화 |
| • 2022년 Q3 | ▫︎ G.O.M 음원 플랫폼 구축 |
|
◇ 글로벌 뮤지션 모집
◇ 뮤지션들의 NFT 생성 지원 ◇ Godboard TOP100 차트 가동 ◇ 차트 순위 경쟁(락업) ◇ 뮤지션, 팬 또는 투자자들의 배당 가속화 ◇ G.O.M 토큰 기능 최적화, 보안, 거버넌스 권한 및 독자적인 보상 시스템 강화 |
|
| • 2022년 Q4 | ▫︎ 음악 거래 플랫폼의 금융 기능 확장 |
|
◇ 음악거래소 오픈
◇ 국제 거래소 상장 ◇ 연말 NFT 시상식 주최 ◇ G.O.M 스타 컬렉션 NFT 발급 |
|
| • 2023년 Q1 | ▫︎ Music Finance Metaverse |
|
◇ 창작생태계의 국가적 확장
◇ 인기 뮤지션 발굴 및 엔터테이먼트사로의 확장 ◇ 우수한 음악 NFT 인큐베이터 ◇ 글로벌 업데이트 |
|
11. 기타
- 컨트렉트 주소 : 정식 공개 전.
- 공식 채널 및 커뮤니티
- 홈페이지
- 공식메일
[1]
폴리곤의 Matic Network는 비트코인, 이더리움과 같은 레이어1의 문제점을 개선하기 위해 도입된 레이어2 기술로 이더리움의 전송 속도와 확장성 문제점을 개선할 수 있다. Matic 네트워크는 체크포인트 계층에서 지분 증명의 이중 전략을 사용하고, 블록 생산자 계층에서 블록 생산자의 이중 전략을 사용하여 더 빠른 블록을 생성, 동시에 체크포인트 및 사기 방지 메커니즘을 사용하여 메인 체인에서 최종성을 달성하여 높은 수준의 탈중앙화를 보장한다.
[2]
스마트 컨트렉트는 코드에 적힌 계약 조건이 만족되면 모든 과정은 자동 처리된다. 코드로서 블록체인에 기록되기 때문에 누구도 처음에 명시된 조건을 바꿀 수 없으며, 각 비즈니스 로직에 따른 복잡하고 다양한 계약 패턴을 실현한다.
[3]
풀 체인 : 단계별로 플랫폼을 구축하고 처음 시작 시 Polygon을 지원한 뒤 ETH 및 BSC와 같은 주류의 블록체인 네트워크를 점진적으로 지원.
[4]
AMM(Automated Market Makers)은 본질적으로 유동성 제공 프로세스를 자동화하는 시스템이다. Defi는 기본적으로 거래가 분산되고 허가 없이 즉각적으로 이뤄지도록 하는 스마트 계약인 AMM을 기반으로 한다. AMM은 유동성 공급자(LP)가 제공한 자본 풀을 관리하며 계약 자체가 거래자의 상대방 역할을 한다.
[5]
IPFS(아이피에프에스)는 "InterPlanetary File System"의 약자로서, 분산형 파일 시스템에 데이터를 저장하고 인터넷으로 공유하기 위한 프로토콜이다.
[6]
먼저 Polygon 체인의 지원, 다음으로 ETH、BSC등 메인 네트워크를 지원할 예정
[7]
KYC는 “Know Your Customer”의 약자로, 금융 기관이 고객의 신분을 확인할 수 있도록 하는 신원 검증의 한 형태다. 국제 금융 실명제의 표준이라고도 불리며, 이 과정에는 여권이나 유효한 신분증과 같은 신분증명서가 필요하다. 필요한 신원 확인 문서는 기관 및 지리적 위치에 따라 다르지만, 약간의 차이가 있음에도 불구하고, KYC 절차는 항상 동일한 목적을 가지고 있다. KYC의 핵심 요소는 데이터 수집 및 검증이며, 고객 실사 및 지속적인 모니터링도 KYC 절차의 일부이다.
[8]
유동성풀(liquid Pool)은 스마트 컨트랙트에 잠겨 있는 자금 모음이다. 유동성 풀은 탈중앙화된 거래, 대출 및 다양한 기능을 용이하게 하는 데 사용되며, 탈중앙화 거래소(DEX)의 중추다. 유동성 공급자(LP)라고 불리는 사용자는 풀에 동일한 가치의 두 토큰을 추가해 시장을 만든다. 자금을 제공하는 대가로, 그들은 풀에서 발생하는 거래로부터 총 유동성의 비율에 비례해 거래 수수료를 얻는다.
[9]
거의 예외 없이 각 화폐 서비스 사업(MSB)은 미국 재무부에 등록해야 한다. MSB의 등록은 MSB의 소유자 또는 지배인의 책임이다. ＂화폐서비스업＂이란 (1) 환전상 또는 환전소, (2) 캐셔확인, (3) 여행자 수표, 우편환 또는 보관가액의 발행인, (4) 여행자수표의 판매인 또는 상환인, 우편환 또는 보관가액, (5) 송금기, 또는 (6) 미국 우편 서비스. 일반적으로 https://www.fincen.gov/money-services-business-definitio의 금융 범죄 집행 네트워크 ”화폐 서비스 비즈니스 정의“ 참조
[10]
형식 검증. 작성된 프로그램의 원하는 기능을 갖고 반드시 종료하는지를 조사하기 위해 엄격하고도 수학적인 기법을 사용한 프로그램 검증법. 이 기법에는 입출력 단정, 최약 선결 조건, 그리고 구조적 귀납법 등이 있다.
[11]
CertiK는 2018년에 예일 대학교와 컬럼비아 대학교의 교수들에 의해 설립됐다. 동급 최고의 AI 기술을 활용해 블록체인 프로토콜 및 스마트 계약을 보호하고 모니터링하는 블록체인 보안 분야의 선구자다. 블록체인을 시작으로 사이버 세계를 확보하는 것이 CertiK의 미션이다. CertiK는 학계의 최첨단 혁신을 엔터프라이즈에 적용해 미션 크리티컬 애플리케이션을 보안과 정확성으로 구축할 수 있도록 지원한다. 일반적으로 CertiK(https://www.certik.io/)를 참조.