스택스 2.0 백서 - [3]

공부 1편
공부 2편

---

클래러티(Clarity) 스마트 컨트랙트

• 스마트 컨트랙트를 위한 새로운 프로그래밍 언어
• 클래러티 언어는 예측 가능성과 보안을 위해 최적화되어 있음
• 스택스 2.0은 클래러티 스마트 컨트랙트를 비트코인에 앵커링시켜 스마트 컨트랙트를 가능하게 함
• 비트코인 블록체인에서 본 행동(action)을 기반으로 작동
• 클래러티는 개발자와 자동 검증을 위해 스마트 컨트랙트가 어떻게 작동하고, 얼마만큼의 비용이 필요로 하며, 어느 정도의 성능을 발휘할 수 있는지 미리 파악할 수 있게 도와줌으로써 사전 안전성을 제공

결정 가능 언어

• 클래러티는 결정 가능한 언어
• 프로그래밍 언어가 프로그램에서 무엇을 실행할지 코드를 통해 확실하게 알 수 있다면 결정 가능(decidable)하다고 함
• 클래러티는 “튜링 복잡성(Turing complexity)"을 방지하기 때문에 의도적으로 튜링 불완전
• 그렇기 때문에 스마트 컨트랙트의 전체 콜 그래프에 대한 완전한 정적 분석이 가능
• 런타임 비용 및 데이터 사용량에 대해 분석 가능
• 개발자는 특정 클래러티 프로그램이 수행할 작업과 비용을 예측할 수 있음

컴파일러(Compiler) 부재

• 결정 가능한 언어일 뿐만 아니라 클래러티는 해석 가능
• 컨트랙트 소스 코드 자체는 블록체인 노드에 의해 퍼블리싱되고 실행됨
• 중간의 컴파일된 표기 (예를 들어 솔리디티 용 EVM 바이트 코드)를 제거하면 버그를 유발할 수 있는 확률이 최소화 됨
• 컨트랙트 소스 코드를 퍼블리싱하면 이해도도 향상

비트코인 상태에 대한 가시성

• 클래러티 컨트랙트는 비트코인 상태에 대한 가시성을 갖추고 있음
• 이는 컨트랙트 로직이 순수한 비트코인 트랜잭션을 기반으로 트리거될 수 있음을 의미
• 클래러티 컨트랙트에는 비트코인에 대한 SPV 증명이 내장되어 있으며, 개발자가 비트코인 상태와 훨씬 쉽게 상호작용 할 수 있음
• 클래러티는 비트코인과 포크를 계약하므로 개발자는 비트코인 포크와 스마트 컨트랙트가 포크에 맞춰 조정해야 하는 코너
  케이스에 대해 걱정할 필요가 없음