Blockstream과 심플리티의 출범
Blockstream은 비트코인의 레이어-2 프로토콜인 Liquid의 개발사로, 비트코인 사이퍼펑크인 Adam Back이 이끌고 있습니다. 이 회사는 비트코인을 위해 설계된 새로운 스마트 계약 언어인 심플리티(Simplicity)를 출시했습니다. Cointelegraph와 공유된 목요일 발표에 따르면, 심플리티 스마트 계약은 Liquid에 통합될 예정입니다. Blockstream은 이번 조치가 비트코인을 안전한 가치 저장소에서 분산 금융을 위한 프로그래머블한 기반으로 변모시키는 데 중요한 진전을 의미한다고 밝혔습니다.
심플리티의 특징과 차별점
Blockstream은 더 높은 수준의 구현인 SimpliityHL도 소개하여 개발을 더 쉽게 할 수 있도록 추상화를 증가시켰습니다. Blockstream의 한 대표는 Cointelegraph에 이 언어의 버전이 “오늘날 사용 가능하다”고 전하며, 웹 기반 통합 개발 환경도 제공된다고 덧붙였습니다.
심플리티는 이더리움의 솔리디티 언어와 다르며, 이는 두 블록체인의 기본 아키텍처가 다르기 때문입니다. 이더리움의 솔리디티는 이더리움 가상 머신(Ethereum Virtual Machine)을 위해 개발되었습니다. 상태(state)는 네트워크가 특정 블록에서 모든 계좌 잔액과 저장된 데이터의 동의된 스냅샷을 의미합니다. 비트코인은 사용되지 않은 거래 출력(UTXO) 아키텍처를 활용하는 반면, 이더리움 네트워크는 네트워크 전반에 걸친 상태를 사용합니다.
“글로벌 상태에 의존하지 않는 것은 큰 변화”라고 Blockstream의 한 대표는 말했습니다. “계약에 필요한 모든 상태는 거래와 함께 이동해야 합니다.”
Blockstream의 연구원들은 솔리디티 개발자들이 전역에서 접근 가능한 변수에서 읽는 습관을 버리고, 대신 모든 필요한 정보를 각 단계에서 제공해야 한다고 강조했습니다. 이러한 시스템에서는 두 스마트 계약이 상태를 공유하거나 동일한 변수를 참조할 수 없으며, 모든 것은 거래 내에서 명시적으로 전달되어야 합니다.
“무언가 잘못되더라도, 오직 귀하의 계약의 특정 부분만 거래 그래프에 영향을 미칩니다. 이는 글로벌 상태와는 다른 사고방식이지만, 궁극적으로 설계상 더 안전하고 제한된 계약으로 이어집니다.”
재귀와 무한 루프의 제한
개발자들은 또한 Blockstream이 온체인 논리에 필요하지 않다고 주장하는 재귀(recursion)나 무한 루프(unbounded loops)를 사용할 수 없다고 밝혔습니다.
도메인 특화 스마트 계약 언어의 증가
심플리티는 도메인 특화 스마트 계약 프로그래밍 언어의 증가하는 목록에 합류합니다. 2022년에 출시된 프로그래밍 언어 Noir는 제로 지식 증명(ZK-proofs)을 작성하고 검증하기 위해 개발되었으며, 2023년에는 프라이버시 우선 이더리움 레이어-2 Aztec의 개발자들에 의해 채택되었습니다. Noir는 ZK-증명을 깊이 통합한 프라이버시 보호 애플리케이션을 위해 특별히 구축된 스마트 계약 프로그래밍 언어가 되었습니다.
또 다른 예로는 Leo가 있으며, 이는 밀접하게 관련된 구문과 프라이버시를 염두에 두고 ZK-증명 시스템을 생성하는 스마트 계약 프로그래밍 언어입니다. 이더리움의 Vyper는 공격 표면을 줄이기 위해 설계된 EVM 호환 언어로, 현재 일부 주요 이더리움 분산 금융(DeFi) 프로토콜에서 사용되고 있습니다.
