오늘 Blockstream은 비트코인에 대한 Liquid Network를 위해 설계된 새로운 스마트 계약 언어인 Simplicity를 출시했다고 발표했습니다. Simplicity는 비트코인의 UTXO 모델을 기반으로 하여 형식 검증과 호환되며, 계약이 실행되기 전에 수학적으로 올바른지 증명할 수 있습니다.
“Simplicity는 비트코인에 표현력이 풍부한 스마트 계약 기능을 제공하지만, VM 기반 체인과 관련된 보안 문제는 없습니다.”라고 Blockstream의 공동 창립자이자 CEO인 Dr. Adam Back이 말했습니다. “Simplicity는 처음부터 형식적으로 명시되고 안전하며 효율적으로 설계되었습니다. Simplicity를 통해 우리는 비트코인에서 혁신적인 다양한 사용 사례를 열고 있습니다.”
Simplicity는 재귀, 무한 루프 및 전역 변수와 같은 높은 위험 기능을 피합니다. 이 설계는 다른 스마트 계약 시스템에 영향을 미쳤던 버그와 취약점의 가능성을 줄이기 위해 고안되었습니다.
이 언어는 2012년 Blockstream 엔지니어 Dr. Russell O’Connor에 의해 처음 제안되었으며 이후 회사의 연구 팀에 의해 개발되었습니다. Blockstream은 Taproot를 포함한 비트코인 인프라 및 프로토콜 업그레이드에 기여한 것으로 알려져 있습니다.
Simplicity는 다음과 같은 여러 사용 사례를 지원합니다:
- 프로그래머블 금고.
- 다중 사용자 비트코인 네이티브 스마트 뱅크.
- 랩핑 자산이나 글로벌 상태 없이 분산형 거래소.
- 서명된 주장 사용을 통한 신원 및 평판 시스템.
- B-N 서명 체계를 사용하는 기관 보관 설정.
- 정적 투표 규칙, 반복 결제 로직 및 접근 제어 서비스가 포함된 거버넌스 및 크라우드펀딩.
“우리는 다른 스마트 계약 생태계의 복잡성과 취약성을 물려받지 않고 표현력이 풍부한 비트코인 네이티브 애플리케이션을 가능하게 하기 위해 Simplicity를 설계했습니다.”라고 Blockstream의 연구 이사 Andrew Poelstra가 말했습니다. “형식적 방법과 UTXO 모델을 결합함으로써 우리는 개발자와 금융 기관과 같은 단체가 의존할 수 있는 비트코인에서 안전하고 프로그래머블한 금융의 기반을 만들고 있습니다.”
Liquid Network는 현재 비트코인 및 발행된 자산에서 대부분의 총 잠금 가치(TVL)가 32억 7천만 달러를 초과합니다. Simplicity의 이 환경에 통합은 비트코인 생태계 내에서 애플리케이션을 구축하려는 조직을 위한 새로운 도구를 제공하는 것을 목표로 합니다.
