2019. 01. 07 ~ 01. 15
Tezos Blockchain Camp Seoul
2019년 1월에 서울에서 진행되었던 테조스 블록체인 캠프의 모습입니다
ocaml 기반의 테조스가 왜 강력한 블록체인 플랫폼인지 알게 되었습니다.
진영기
개념부터 이론, 실습까지 이어지는 커리큘럼의 짜임이 좋았습니다.
이아영
블록체인에 대해서 이해가 깊어졌고 최신 기술트렌드에 대해서 잘 알 수 있어서 좋았다.
최정우
테조스 블록체인 캠프는 블록체인의 원리와 이해부터 스마트 컨트랙트 코딩까지 3일 만에 배우는 블록체인 트레이닝 프로그램입니다. 이번 여름방학 테조스 블록체인 캠프를 통해 블록체인 개발자의 꿈을 이루어 보세요!
3일 만에 블록체인 댑 개발 입문하기!
블록체인 개발자를 꿈꾸었지만 어디서부터 시작해야할지 막막하셨던 분들, 혼자 집에서 책으로 독학하다 눈물 흘리셨던 분들, 개발 경험이 없어서 블록체인 공부를 망설이셨던 분들, 이번 기회를 통해 블록체인 개발자로의 꿈을 이루어보세요!
분산 컴퓨팅 기술 기반의 데이터 위변조 방지 기술로 주목받고 있는 블록체인이 4차 산업혁명으로 주목을 받고 있습니다. 서울에 이어 두 번째로 개최되는 이번 테조스 부산 블록체인 캠프에서는 블록체인의 기초부터 테조스 스마트 컨트랙트의 이론과 실습까지 알차게 준비했습니다. 프랑스와 미국의 기술력으로 완성되고, 뉴욕, 샌프란시스코, 프랑스, 스위스, 일본, 싱가포르, 중국, 한국 등 전 세계 각지의 생태계에서 저변이 점차 확대되고 있는 테조스에 대해서 배우고, 캠프를 통해서 DApp을 쉽게 개발해보세요.
테조스는 함수형 프로그래밍 언어로 만들어진 가장 안전한 블록체인입니다. 또한 온체인 거버넌스와 셀프 어멘트먼트의 특징을 가지고 있기 때문에, 커뮤니티 분열로 인한 하드포크가 발생할 가능성이 낮으므로 현존하는 가장 안전한 블록체인이라고 할 수 있습니다.
이번 교육과정에서는 블록체인의 탄생배경, 역사, 이론부터 3세대 블록체인이라고 불리우는 테조스의 이론, 파이썬 구문으로 테조스의 스마트 컨트랙트를 실습해봅니다.
테조스의 스마트 컨트랙트는 Formal Verification을 지원합니다. 코드 실행전에 수학적인 검증절차를 통해서 에러 여부를 검증할 수 있는 특징이 있습니다.
Tezos는 Blockchain 기반 암호화폐이고 dApp(디앱, 탈중앙화 어플리케이션)을 만들 수 있는 Smart contract 플랫폼 입니다.
Tezos는 Hard fork가 필요없아 프로토콜 내 수정 프로세스(in-protocol amendment process)를 통해 스스로 업그레이드 할 수 있습니다. 이는 혁신을 가속화하고 논쟁이 될 수도 있는 fork의 가능성(likelihood of contentious splits)을 줄이며 오랜 기간 동안 같은 한 네트워크 내에서 이해 관계자를 잘 조직하기 위해서 입니다.
Tezos 기반 개발자에게 (Tezos의)업그레이드 가능성은 프로토콜이 앞으로 오랫동안 잘 작동 할 것이라는 강력한 확신을 줍니다. 테조스는 시간의 시험을 견디도록 만들어졌습니다.
형식 검증(Formal verification)은 형식 정의를 사용하여 프로그램이 특정 Specification을 따르는지 확인하는 프로세스입니다. 다시 말하면, 수학을 사용하여 “우리가 만들려고 했던 것을 만들었습니까?” 라는 질문에 답합니다.
반대로 프로그래머는 현재 프로그램이 특정 Specification을 준수하는지 확인하기 위해 단위 테스트(unit test)를 작성합니다. 가능한 한 많은 입력값으로 프로그램을 테스트하고 Specification에 언급 된 내용과 출력값이 일치 하는지 각각 확인합니다. 예를 들어, 프로그램이 숫자 목록을 정확하게 오름차순으로 정렬하는지 테스트하려면[2, 3, 1]입력으로 테스트합니다. 테스트의 결과는[1, 2, 3]이어야 하며 그렇지 않으면 프로그램이 잘못된 것입니다.
그러나 단위 테스트 방법은 가능한 모든 입력 과 극단적인 경우를 처리 할 수 없으며 이로 인해 프로그램이 실패 할 수 있습니다. 이에 대한 해결책은 형식 검증(formal verification)입니다. 형식 검증(formal verification)는 프로그램의 수학적인 정의에 대해서 작성하는 것과 관련이 있습니다. 위에서 주어진 동일한 예를 표현하기 위해 “모든 항목 j에 대해 리스트의 요소들은 j ≤ j + 1 이다 “이라는 정의를 작성할 수 있습니다. 이것은 프로그램의 정확성이 수학적으로 보편적라는 것을 보여주기 때문에 단위 테스트에서 엄청난 발전입니다.
형식 검증(Formal verification)은 형식 정의를 사용하여 프로그램이 특정 Specification을 따르는지 확인하는 프로세스입니다. 다시 말하면, 수학을 사용하여 “우리가 만들려고 했던 것을 만들었습니까?” 라는 질문에 답합니다.
반대로 프로그래머는 현재 프로그램이 특정 Specification을 준수하는지 확인하기 위해 단위 테스트(unit test)를 작성합니다. 가능한 한 많은 입력값으로 프로그램을 테스트하고 Specification에 언급 된 내용과 출력값이 일치 하는지 각각 확인합니다. 예를 들어, 프로그램이 숫자 목록을 정확하게 오름차순으로 정렬하는지 테스트하려면[2, 3, 1]입력으로 테스트합니다. 테스트의 결과는[1, 2, 3]이어야 하며 그렇지 않으면 프로그램이 잘못된 것입니다.
그러나 단위 테스트 방법은 가능한 모든 입력 과 극단적인 경우를 처리 할 수 없으며 이로 인해 프로그램이 실패 할 수 있습니다. 이에 대한 해결책은 형식 검증(formal verification)입니다. 형식 검증(formal verification)는 프로그램의 수학적인 정의에 대해서 작성하는 것과 관련이 있습니다. 위에서 주어진 동일한 예를 표현하기 위해 “모든 항목 j에 대해 리스트의 요소들은 j ≤ j + 1 이다 “이라는 정의를 작성할 수 있습니다. 이것은 프로그램의 정확성이 수학적으로 보편적라는 것을 보여주기 때문에 단위 테스트에서 엄청난 발전입니다.
3일동안의 커리큘럼을 통해서 블록체인에 대해서 완벽히 이해하고, Tezos 기반의 DApp을 만들 수 있는 개발자로 성장해보세요!
Day 1 - 2019년 8월 19일(월)
Time | Content |
---|---|
10:00 ~ 11:00 | 오리엔테이션 및 캠프소개 |
11:00 ~ 12:00 | 블록체인 기본 - 1 |
12:00 ~ 13:00 | 점심 식사 |
13:00 ~ 14:00 | 블록체인 기본 |
14:00 ~ 15:00 | |
15:00 ~ 16:00 | 합의 알고리듬 |
16:00 ~ 17:00 | |
17:00 ~ 18:00 |
Day 2 - 2019년 8월 20일(화)
Time | Content |
---|---|
10:00 ~ 11:00 | 거버넌스 |
11:00 ~ 12:00 | |
12:00 ~ 13:00 | 점심 식사 |
13:00 ~ 14:00 | 스마트 컨트랙트 이론 |
14:00 ~ 15:00 | |
15:00 ~ 16:00 | |
16:00 ~ 17:00 | |
17:00 ~ 18:00 | Tezos Node 구축하기 |
Day 3 - 2019년 8월 21일(수)
Time | Content |
---|---|
10:00 ~ 11:00 | Tezos Node 구축하기 |
11:00 ~ 12:00 | Basic command & RPC |
12:00 ~ 13:00 | 점심 식사 |
13:00 ~ 14:00 | Python으로 테조스 스마트 컨트랙트(SmartPy) 구현하기 |
14:00 ~ 15:00 | |
15:00 ~ 16:00 | |
16:00 ~ 17:00 | |
17:00 ~ 18:00 | Closing Ceremony |
19:00 ~ 22:00 | 네트워킹 디너 |
최민철 (테조스 코리아 CTO)
참가신청 하기 전, 아래의 캠프 룰을 확인해주세요
부산광역시 해운대구 센텀중앙로 97 1층 대회의실