What makes Tezos unique? (테조스를 특별하게 만드는것들은?)

1. Self-Amendment and Upgradability  (자체 수정 및 업그레이드 가능성)

--> Tezos는 하드 포크없이 프로토콜 수정 프로세스를 통해 자체적으로 업그레이드 할 수 있습니다. 이를 통해 혁신을 가속화하고 논쟁이 분열 될 가능성을 줄이고 오랜 기간 동안 한 네트워크 내에서 이해 관계자를 조정할 수 있습니다.

Tezos를 기반으로하는 개발자에게 업그레이드 가능성은 프로토콜이 미래에도 원활하게 작동 할 것이라는 강력한 확신을 제공합니다. 테조스는 긴 시간을 견디도록 지어졌습니다.


2. Proof-of-Stake

--> 베이킹은 Bitcoin의 채굴과 같습니다. Tezos의 참가자 (즉, "노드")는 네트워크를 유지하는 데 필요한 계산 리소스를 제공합니다. 지분 증명 (PoS)은 Tezos 참가자가 블록 체인 상태에 대해 합의에 도달하는 메커니즘입니다. 이는 예를 들어 합의 메커니즘이 작업 증명 (예 : 마이닝)을 기반으로하는 비트 코인과 대조적입니다.

Tezos의 지분 증명 기반 메커니즘은 베이킹으로 알려져 있으며 옵션 위임을 통해 모든 이해 관계자가 토큰을 양도하지 않고 합의에 참여할 수 있습니다. Tezos의 합의에 대한 접근 방식은 스테이크의 액체 증명으로 설명되었습니다.

지분 증명은 확장성을 향상시키고 인센티브 조정을 장려합니다. 또한 51 %의 공격 비용을 증가시키고 환경적으로 낭비되는 작업 증명을 피합니다. 

3. Smart Contract Security and Formal Verification (스마트 계약 보안 및 공식 검증)

--> 시스템은 보편적으로 또는 무조건적으로 안전 할 수 없습니다. 그러나 Tezos와 현명한 계약 언어인 Michelson은 보안 및 공식 검증을 염두에두고 설계되었습니다.

공식 검증을 통해 개발자는 공식 사양이나 특정 속성에 따라 코드가 올바르게 작동함을 수학적으로 증명할 수 있습니다. 이는 실제 가치 (예 : 토큰 화 된 자산, 대출 등)를 나타내는 금융 현명한 계약에 적합하며 코드의 버그로 인해 자금이 손실되거나 동결되지 않도록 보장합니다.