About Tezos

Tezos는 자체적으로 프로토콜을 업그레이드하여 진화할 수있는 블록체인입니다.  네트워크에 참여하는 토큰홀더들은 투표를 통해서 업그레이드 수용 여부 등을 결정하는 등, 블록체인 상에서 사회적 합의를 만들어낼 수 있습니다.  또한 Tezos는 Smart contract 를 지원하고 DApp을 구축 할 수있는 플랫폼을 제공합니다.

About Tezos - 01

Self-Amendment

Tezos는 네트워크를 두 개의 다른 블록체인으로 포크하지 않고 업그레이드할 수 있습니다. 이 것은 포크의 제안이나 기대가 커뮤니티를 분열시키고, 네트워크에 참여하는 토큰홀더들의 인센티브를 변경시키며, 시간이 지나면서 형성되는 네트워크효과를 방해할 수 있기 때문에 매우 중요합니다. Self-Amendment를 통한 프로토콜 업그레이드의 조정 및 실행비용이 절감되고 급변하는 경제 사회 등에도 유연하게 대처할 수 있는 혁신적인 기술입니다.

About Tezos - 02

On-chain governance

Tezos에서는 네트워크에 참여하는 토큰홀더들은 전체 프로토콜을 관리하는 데 참여할 수 있습니다. 투표주기는 프로토콜 개정안에 대해서 사회적 합의에 도달하기 위한 공식적이고 체계적인 절차를 제공합니다. 온체인 메커니즘을 Self-Amendment와 결합함으로써, Tezos는 투표과정 역시도 투표를 통해서 더 나은 거버넌스 메커니즘으로 변경이 가능합니다.

About Tezos - 03

Decentralized innovation

토큰홀더들이 수용하는 제안된 개정안에는 개인 또는 그룹에 대한 보상이 포함될 수 있습니다. 이 메커니즘은 강력한 참여를 장려하고, 네트워크 유지 보수를 분권화합니다. 이 방법은 개발자들이 자연스럽게 프로토콜에 기여하도록 하게끔 만듭니다.

About Tezos - 04

Smart Contracts & Formal Verification

Tezos는 중개인이 없는 스마트 컨트랙트를 통해서 DApp을 구현할 수 있는 플랫폼을 제공합니다. 또한 Formal Verification을 활용해서 스마트 컨트랙트의 무결함을 사전에 증명할 수 있습니다. 이 기술은 비용이 많이 발생하는 디버깅 작업에서 비용을 크게 절감할 수 있습니다. 

About Tezos - 05

Proof-of-Stake

분산형 Peer to Peer 네트워크의 참여자(노드)는 네트워크를 가동시키고 운영하는 데에 필요한 컴퓨터 리소스를 제공합니다. Proof of Stake(PoS)는 Tezos의 다양한 참가자가 블록체인 상태에 대한 합의에 도달하는 메커니즘입니다. 다른 PoS 프로토콜과는 달리 네트워크에 참여하는 모든 토큰홀더들은 Tezos 합의 프로세스의 참여하고 네트워크의 보안 및 안정성에 기여함으로서 보상을 받을 수 있습니다. 또한 PoS는 다른 합의 메커니즘보다 비용이 적게 들고 참여를 위한 진입장벽이 대단히 낮습니다.

About Tezos - 06

Delegation

PoS에서는 합의 프로세스에 참여하기 위해서는 보증금이 필요합니다. Proof of Work(PoW)와 마찬가지로 합의 프로토콜은 보안에 있어서 정직한 다수를 의지하는데, 이는 부정직한 행동에 대해서 불이익을 줌으로써 Tezos 프로토콜에 정직한 행동을 할 수 있도록 장려시킵니다. 합의 프로토콜에 참여하지 않으려는 토큰홀더들은 자신의 권리를 다른 사용자에게 위임하여 간접적으로 네트워크에 참여할 수 있습니다.

About Tezos - 07

Michelson

Michelson은 테조스 블록체인의 스마트 컨트랙트를 작성하기 위한 도메인 특화 언어입니다.

Michelson은 스택 기반으로 작동하며, 강력한 타입 시스템을 가지고 있습니다. Michelson은 일반적인 ‘세계 컴퓨터’(이더리움)가 아닌, 비즈니스 로직을 구현하기 위한 플랫폼(테조스)을 위한 언어입니다. 따라서 임의의 프로그램을 위해서가 아니라 다중 서명 지갑, 베스팅, 토큰 분배 등을 위해 특화되어 있습니다.

Michelson은 형식 검증(formal verification)을 쉽게 지원하도록 설계되었습니다. 즉, 작성자는 스마트 컨트랙트의 속성을 증명할 수 있습니다.

About Tezos - 08

OCaml

OCaml(Objective Categorical Abstract Machine Languae)은 표현 유연성(expressiveness)과 안전성(safety)에 중점을 둔 범용 함수형 프로그래밍 언어입니다.

OCaml은 20년 이상 연구되었으며, INRIA(프랑스 국립 정보 기술 자동화 연구소)가 주도적으로 관리하고 유지하는 오픈 소스 프로젝트입니다. OCaml의 강력한 타입 시스템과 패턴 매칭은 프로그래머의 실수를 방지하는데 도움이 됩니다.

사소한 실수가 치명적인 비용 손실을 초래하고 프로그램의 속도가 중요한 곳에 OCaml이 사용됩니다. OCaml은 전세계 대학의 강의, 선행 연구, 여러 산업 분야의 솔루션 등으로 폭넓게 사용되고 있습니다.

Tezos White Paper

Tezos Position Paper

Tezos
Developer
Resource