Which use cases are well-suited to Tezos?

Tezos 또는 Ethereum과 같은 튜링 완료 스마트 계약 플랫폼을 통해 임의의 코드를 신뢰 최소화 된 방식으로 실행할 수 있습니다. 그러나 특정 애플리케이션은 공식 거버넌스 및 스마트 계약 보안에 중점을 둔 Tezos에 적합 할 수 있습니다. 다음은 몇 가지 예비 예입니다.

A. 디지털 자산

디지털 머니, 토큰 화 된 부동산, 스 테이블 코인, 디지털 수집품 등과 같은 자산은 특히 Tezos에 적합합니다.

공식적인 거버넌스 메커니즘이없는 블록 체인에서 널리 채택 된 자산 프로젝트는 프로토콜 거버넌스에서 상당한 소프트 파워를 얻을 수 있습니다. 이론적으로 논쟁의 여지가 있고 지속 가능한 분할로 두 포크에 자산이 존재하지만 발행자는 하나의 포크에서만 자산을 인정할 것입니다. 논쟁적인 포크를 피하면 하나의 네트워크에서 가치와 조정을 유지할 수있어 Tezos는 디지털 자산 발행을위한 강력한 플랫폼이됩니다.

시스템이 무조건 안전 할 수는 없지만 Tezos 스마트 계약 언어 인 Michelson은 보안 및 공식 검증을 염두에두고 설계되었습니다. 이는 스마트 계약 버그의 용서할 수없는 특성을 고려할 때 고가 자산을 나타내는 스마트 계약에 특히 중요합니다.

B. 신탁 최소화 금융 계약

분산 형 거래소, 스왑, 대출 등과 같은 금융 계약은 높은 수준의 정확성을 요구합니다. 분산 된 블록 체인 네트워크는 신뢰할 수있는 제 3자가 없으면 가치를 얻습니다. 이로 인해 코드의 버그로 인한 자금 손실이 특히 용서되지 않습니다. 스마트 계약 익스플로잇은 충분히 큰 규모로 블록 체인 거버넌스에 문제를 일으킬 수 있습니다.

1 억 5 천만 달러 규모의 악명 높은 DAO의 해킹은 재귀 전송 악용으로 알려진 버그로 인해 이더 리움 커뮤니티가 이더 리움과 이더 리움 클래식으로 분기되었습니다.
Parity의 Mulit-Sig Wallet 버그로 인해 500,000 ETH (당시 1 억 5 천만 달러)가 동결되어 EIP-999 토론이 발생했습니다. 자금 손실 또는 멈춤을 초래 한 이더 리움 문제 목록은 여기에서 확인할 수 있습니다.

Tezos의 스마트 컨트랙트 인 Michelson은 정식 검증을 용이하게하며, 올바르게 배치 된 경우 코드의 정확성을 수학적으로 입증하여 가장 민감하거나 재정적으로 가중치가 높은 현명한 계약의 보안을 강화하고 버그 가능성을 줄입니다. 공식 검증 기술은 항공기, 원자로 및 자동차와 같은 미션 크리티컬 소프트웨어 인프라에 널리 배포됩니다.

Tezos는 이러한 수준의 엄격 성을 고가의 스마트 계약 및 분산 응용 프로그램 영역에 적용하고자합니다.