tezos 사본

Tezos
Blockchain Camp Busan

테조스 블록체인 캠프는 블록체인의 원리와 이해부터 스마트 컨트랙트 코딩까지 3일 만에 배우는 블록체인 트레이닝 프로그램입니다. 이번 여름방학 테조스 블록체인 캠프를 통해 블록체인 개발자의 꿈을 이루어 보세요!

캠프 신청 마감일 : 2019년 8월 15일(목) 24:00 까지
일시 : 2019년 8월 19일(월) ~ 8월 21일(수)
장소 : 부산광역시 해운대구 센텀중앙로 97 센텀 스카이비즈 1층 대회의실
문의 : support@tmcowork.com

#테조스 #3일 완성 #댑개발 #일어나 #개발해야지

3일 만에 블록체인 댑 개발 입문하기!

블록체인 개발자를 꿈꾸었지만 어디서부터 시작해야할지 막막하셨던 분들, 혼자 집에서 책으로 독학하다 눈물 흘리셨던 분들, 개발 경험이 없어서 블록체인 공부를 망설이셨던 분들, 이번 기회를 통해 블록체인 개발자로의 꿈을 이루어보세요!

분산 컴퓨팅 기술 기반의 데이터 위변조 방지 기술로 주목받고 있는 블록체인이 4차 산업혁명으로 주목을 받고 있습니다. 서울에 이어 두 번째로 개최되는 이번 테조스 부산 블록체인 캠프에서는 블록체인의 기초부터 테조스 스마트 컨트랙트의 이론과 실습까지 알차게 준비했습니다. 프랑스와 미국의 기술력으로 완성되고, 뉴욕, 샌프란시스코, 프랑스, 스위스, 일본, 싱가포르, 중국, 한국 등 전 세계 각지의 생태계에서 저변이 점차 확대되고 있는 테조스에 대해서 배우고, 캠프를 통해서 DApp을 쉽게 개발해보세요.

Most Secured

테조스는 함수형 프로그래밍 언어로 만들어진 가장 안전한 블록체인입니다. 또한 온체인 거버넌스와 셀프 어멘트먼트의 특징을 가지고 있기 때문에, 커뮤니티 분열로 인한 하드포크가 발생할 가능성이 낮으므로 현존하는 가장 안전한 블록체인이라고 할 수 있습니다.

Easy to Learn & Make

이번 교육과정에서는 블록체인의 탄생배경, 역사, 이론부터 3세대 블록체인이라고 불리우는 테조스의 이론, 파이썬 구문으로 테조스의 스마트 컨트랙트를 실습해봅니다.

Formally Verified

테조스의 스마트 컨트랙트는 Formal Verification을 지원합니다. 코드 실행전에 수학적인 검증절차를 통해서 에러 여부를 검증할 수 있는 특징이 있습니다.

Application deadline​

캠프 신청 마감일 : 2019년 8월 15일(목) 24:00 까지

Days
Hours
Minutes

교육 목표

  • 블록체인의 배경, 역사에 대해서 배우고
  • 기존 블록체인이 가지고 있는 문제점에 대해서 공부하며
  • 테조스 프로토콜은 어떤 원리로 작동되는 지 알아보고
  • Smart-Contract에 대해서 배우며,
  • Python(SmartPy)로 테조스의 Smart-Contract를 실습합니다.

이런 분들께 추천합니다.

  • 블록체인과 이더리움, 테조스에 대해서 궁금하셨던 분​
  • DApp이 뭔지 궁금하셨던 분​
  • 블록체인을 활용한 프로젝트를 진행해보고 싶은 분
  • PoS 프로젝트에 관심있으신 분​
  • 파이썬 프로그래밍 경험자​

Why Tezos?

About Tezos

Tezos는 Blockchain 기반 암호화폐이고 dApp(디앱, 탈중앙화 어플리케이션)을 만들 수 있는 Smart contract 플랫폼 입니다. 

Tezos는 Hard fork가 필요없아 프로토콜 내 수정 프로세스(in-protocol amendment process)를 통해 스스로 업그레이드 할 수 있습니다. 이는 혁신을 가속화하고 논쟁이 될 수도 있는 fork의 가능성(likelihood of contentious splits)을 줄이며 오랜 기간 동안 같은 한 네트워크 내에서 이해 관계자를 잘 조직하기 위해서 입니다.

Tezos 기반 개발자에게 (Tezos의)업그레이드 가능성은 프로토콜이 앞으로 오랫동안 잘 작동 할 것이라는 강력한 확신을 줍니다. 테조스는 시간의 시험을 견디도록 만들어졌습니다.

Easy to Learn & Make

형식 검증(Formal verification)은 형식 정의를 사용하여 프로그램이 특정 Specification을 따르는지 확인하는 프로세스입니다. 다시 말하면, 수학을 사용하여 “우리가 만들려고 했던 것을 만들었습니까?” 라는 질문에 답합니다.

반대로 프로그래머는 현재 프로그램이 특정 Specification을 준수하는지 확인하기 위해 단위 테스트(unit test)를 작성합니다. 가능한 한 많은 입력값으로 프로그램을 테스트하고 Specification에 언급 된 내용과 출력값이 일치 하는지 각각 확인합니다. 예를 들어, 프로그램이 숫자 목록을 정확하게 오름차순으로 정렬하는지 테스트하려면[2, 3, 1]입력으로 테스트합니다. 테스트의 결과는[1, 2, 3]이어야 하며 그렇지 않으면 프로그램이 잘못된 것입니다.

그러나 단위 테스트 방법은 가능한 모든 입력 과 극단적인 경우를 처리 할 수 없으며 이로 인해 프로그램이 실패 할 수 있습니다. 이에 대한 해결책은 형식 검증(formal verification)입니다. 형식 검증(formal verification)는 프로그램의 수학적인 정의에 대해서 작성하는 것과 관련이 있습니다. 위에서 주어진 동일한 예를 표현하기 위해 “모든 항목 j에 대해 리스트의 요소들은 j ≤ j + 1 이다 “이라는 정의를 작성할 수 있습니다. 이것은 프로그램의 정확성이 수학적으로 보편적라는 것을 보여주기 때문에 단위 테스트에서 엄청난 발전입니다.

Formal Verification

형식 검증(Formal verification)은 형식 정의를 사용하여 프로그램이 특정 Specification을 따르는지 확인하는 프로세스입니다. 다시 말하면, 수학을 사용하여 “우리가 만들려고 했던 것을 만들었습니까?” 라는 질문에 답합니다.

반대로 프로그래머는 현재 프로그램이 특정 Specification을 준수하는지 확인하기 위해 단위 테스트(unit test)를 작성합니다. 가능한 한 많은 입력값으로 프로그램을 테스트하고 Specification에 언급 된 내용과 출력값이 일치 하는지 각각 확인합니다. 예를 들어, 프로그램이 숫자 목록을 정확하게 오름차순으로 정렬하는지 테스트하려면[2, 3, 1]입력으로 테스트합니다. 테스트의 결과는[1, 2, 3]이어야 하며 그렇지 않으면 프로그램이 잘못된 것입니다.

그러나 단위 테스트 방법은 가능한 모든 입력 과 극단적인 경우를 처리 할 수 없으며 이로 인해 프로그램이 실패 할 수 있습니다. 이에 대한 해결책은 형식 검증(formal verification)입니다. 형식 검증(formal verification)는 프로그램의 수학적인 정의에 대해서 작성하는 것과 관련이 있습니다. 위에서 주어진 동일한 예를 표현하기 위해 “모든 항목 j에 대해 리스트의 요소들은 j ≤ j + 1 이다 “이라는 정의를 작성할 수 있습니다. 이것은 프로그램의 정확성이 수학적으로 보편적라는 것을 보여주기 때문에 단위 테스트에서 엄청난 발전입니다.

본 캠프는 Tezos Korea foundation의 후원을 통해 전액 무료로 진행됩니다.

Curriculum

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​ 네트워킹 디너

Lecturer

최민철 (테조스 코리아 CTO)

  • 현) 건국대 정보통신대학원 겸임교수
  • 현) 경기경제과학진흥원 블록체인교육 자문위원
  • 현) 서울시 블록체인 거버넌스 자문단
  • 전) 삼성전자 네트워크 사업부 SW Engineer
  • 고려대학교 철학과 졸업

Camp Rule

참가신청 하기 전, 아래의 캠프 룰을 확인해주세요

  • 지원동기 검토 등을 통해서 지원자들을 검토하고 60~80명의 적합한 신청자들을 선발합니다.
  • 선정된 지원자들에게 8월 16일(목)에 개별연락(문자/이메일)을 드립니다.
  • 캠프 선정자들은 보증금 10만원을 입금해야 합니다(캠프 수료 후 반환해드립니다).
  • 수업 출석률에 따라, 반환금액은 차등적용됩니다(수료기준을 만족하지 못하면 보증금을 반환해 드리지 않습니다).
  • 입금을 완료한 지원자는 19일 오전 10시까지 캠프 교육장으로 출석하세요.
  • 수료 기준은 출석률 80% 이상이며, 출석률은 8월 19일부터 21일까지 진행한 전체 교육시간 중 참석한 교육시간으로 계산됩니다(불가피한 사정으로 출석하지 못하게 될 경우, 사유서 제출 시 출석으로 인정합니다).

Camp Location

부산광역시 해운대구 센텀중앙로 97 1층 대회의실

2019. 01. 07 ~ 01. 15

Tezos Blockchain Camp Seoul

2019년 1월에 서울에서 진행되었던 테조스 블록체인 캠프의 모습입니다

ocaml 기반의 테조스가 왜 강력한 블록체인 플랫폼인지 알게 되었습니다.
진영기
개념부터 이론, 실습까지 이어지는 커리큘럼의 짜임이 좋았습니다.
이아영
블록체인에 대해서 이해가 깊어졌고 최신 기술트렌드에 대해서 잘 알 수 있어서 좋았다.
최정우

지금 신청하세요 🙂

캠프 신청 마감일 : 2019년 8월 15일(목) 24:00 까지