출처: 토큰포스트
비트코인의 스마트 계약 확장 가능성에 새로운 전환점이 마련됐다. 사이드체인 개발사 스타크웨어(StarkWare)와 와이즈만 과학연구소 공동 연구진이 기존 비트코인 스크립트의 제약을 우회할 수 있는 솔루션 ‘ColliderVM’을 발표했다. 이 시스템은 자본 효율성을 크게 개선하면서, 복잡한 연산을 비트코인 네트워크 안에서 안전하게 수행할 수 있는 기반을 마련했다.
비트코인의 스마트 계약 확장 가능성에 새로운 전환점이 마련됐다. 사이드체인 개발사 스타크웨어(StarkWare)와 와이즈만 과학연구소 공동 연구진이 기존 비트코인 스크립트의 제약을 우회할 수 있는 솔루션 ‘ColliderVM’을 발표했다. 이 시스템은 자본 효율성을 크게 개선하면서, 복잡한 연산을 비트코인 네트워크 안에서 안전하게 수행할 수 있는 기반을 마련했다.
ColliderVM은 상태 정보를 유지하며 여러 거래에 걸쳐 연산을 처리할 수 있도록 설계된 프로토콜로, 기존 비트코인 스크립트의 무상태성 한계를 극복하는 데 초점을 맞췄다. 특히 복잡한 오프체인 계산 결과를 온체인에서 최소한의 데이터만으로 검증할 수 있으며, 이를 통해 영지식 증명 기법 중 하나인 STARKs(Scalable Transparent Arguments of Knowledge)를 비트코인 상에서 구현 가능하게 만들 수 있다는 것이 연구진의 설명이다.
ColliderVM은 상태 정보를 유지하며 여러 거래에 걸쳐 연산을 처리할 수 있도록 설계된 프로토콜로, 기존 비트코인 스크립트의 무상태성 한계를 극복하는 데 초점을 맞췄다. 특히 복잡한 오프체인 계산 결과를 온체인에서 최소한의 데이터만으로 검증할 수 있으며, 이를 통해 영지식 증명 기법 중 하나인 STARKs(Scalable Transparent Arguments of Knowledge)를 비트코인 상에서 구현 가능하게 만들 수 있다는 것이 연구진의 설명이다.
기존 비트코인 네트워크는 트랜잭션당 1,000개의 데이터 항목과 블록당 최대 400만개의 OP코드 제한 등 다양한 기술적 제약이 있어, 이더리움과 같은 스마트 계약 실행이 사실상 불가능했다. 특히 과거 로빈 리누스(Robin Linus)의 BitVM은 복잡한 스마트 계약을 도입할 수 있도록 했지만, 트랜잭션 오류를 감지하는 사기 증명 시스템이 필요했고, 이에 따른 선불 예치금 부담이 발생했다.
기존 비트코인 네트워크는 트랜잭션당 1,000개의 데이터 항목과 블록당 최대 400만개의 OP코드 제한 등 다양한 기술적 제약이 있어, 이더리움과 같은 스마트 계약 실행이 사실상 불가능했다. 특히 과거 로빈 리누스(Robin Linus)의 BitVM은 복잡한 스마트 계약을 도입할 수 있도록 했지만, 트랜잭션 오류를 감지하는 사기 증명 시스템이 필요했고, 이에 따른 선불 예치금 부담이 발생했다.
ColliderVM은 계산 복잡도를 낮추기 위해 이전 방식들이 사용했던 높은 연산 부하의 암호화 서명 방식(예: Lamport, Winternitz)을 배제하고, ‘해시 충돌에 기반한 도전(commitment with hash collision)’ 구조를 채택했다. 이 접근법은 정직한 참여자에게는 연산 자원을 적게 요구하며, 악의적인 행위자에게는 더 많은 계산을 요구하도록 설계됐다.
ColliderVM은 계산 복잡도를 낮추기 위해 이전 방식들이 사용했던 높은 연산 부하의 암호화 서명 방식(예: Lamport, Winternitz)을 배제하고, ‘해시 충돌에 기반한 도전(commitment with hash collision)’ 구조를 채택했다. 이 접근법은 정직한 참여자에게는 연산 자원을 적게 요구하며, 악의적인 행위자에게는 더 많은 계산을 요구하도록 설계됐다.
연구팀은 ColliderVM이 기존 BitVM보다 해시 연산량을 최대 1만 배 이상 줄였다고 주장하며, STARKs 기반의 계산 검증을 위한 스크립트 길이도 비트코인의 기존 한도 내에서 “실용적 수준에 근접했다”고 밝혔다. 이는 향후 STARKs와 같은 투명한 ZK-증명 시스템을 비트코인 체인에서 부분적으로 검증할 수 있는 가능성을 시사한다.
연구팀은 ColliderVM이 기존 BitVM보다 해시 연산량을 최대 1만 배 이상 줄였다고 주장하며, STARKs 기반의 계산 검증을 위한 스크립트 길이도 비트코인의 기존 한도 내에서 “실용적 수준에 근접했다”고 밝혔다. 이는 향후 STARKs와 같은 투명한 ZK-증명 시스템을 비트코인 체인에서 부분적으로 검증할 수 있는 가능성을 시사한다.
STARKs는 별도의 신뢰 설정 없이도 암호학적으로 데이터를 검증할 수 있는 방식으로, 과거의 ZK-증명과 달리 ‘유독 폐기물(toxic waste)’이라 불리는 보안 리스크 요소가 존재하지 않아 신뢰성이 높다. 그동안 비트코인의 기술적 한계로 인해 STARKs의 직접 구현은 어렵다고 여겨졌지만, ColliderVM이 이 문제를 정면 돌파한 셈이다.
STARKs는 별도의 신뢰 설정 없이도 암호학적으로 데이터를 검증할 수 있는 방식으로, 과거의 ZK-증명과 달리 ‘유독 폐기물(toxic waste)’이라 불리는 보안 리스크 요소가 존재하지 않아 신뢰성이 높다. 그동안 비트코인의 기술적 한계로 인해 STARKs의 직접 구현은 어렵다고 여겨졌지만, ColliderVM이 이 문제를 정면 돌파한 셈이다.
연구의 공동 저자인 스타크웨어의 공동 창립자 엘리 벤-사손(Eli Ben-Sasson)은 STARKs 개발 초기부터 관련 연구를 이끌어온 인물이다. 그는 “비트코인 진영의 실질적인 레이어2 솔루션은 비트코인 자체만큼의 보안성을 가져야 한다”며, 여전히 신뢰 기반이 남아 있는 기존 솔루션들에 대해 회의적인 시각을 드러냈다.
연구의 공동 저자인 스타크웨어의 공동 창립자 엘리 벤-사손(Eli Ben-Sasson)은 STARKs 개발 초기부터 관련 연구를 이끌어온 인물이다. 그는 “비트코인 진영의 실질적인 레이어2 솔루션은 비트코인 자체만큼의 보안성을 가져야 한다”며, 여전히 신뢰 기반이 남아 있는 기존 솔루션들에 대해 회의적인 시각을 드러냈다.
현재 블록스트림(Blockstream)의 리퀴드(Liquid)처럼 비트코인 기반 사이드체인이 존재하지만, 완전한 무신뢰 구조는 아니라는 점에서 한계가 있다. 본 논문에서 제시된 ColliderVM 모델 역시 일정 수준의 참여자 정직성을 전제로 작동하기 때문에 ‘완전한 무신뢰’보다는 ‘신뢰 최소화’로 분류된다.
현재 블록스트림(Blockstream)의 리퀴드(Liquid)처럼 비트코인 기반 사이드체인이 존재하지만, 완전한 무신뢰 구조는 아니라는 점에서 한계가 있다. 본 논문에서 제시된 ColliderVM 모델 역시 일정 수준의 참여자 정직성을 전제로 작동하기 때문에 ‘완전한 무신뢰’보다는 ‘신뢰 최소화’로 분류된다.
업계는 ColliderVM이 비트코인을 탈중앙화 금융 생태계의 강력한 기반으로 탈바꿈시킬 수 있는 전환점을 제공할 수 있을 것으로 보고 있다. 장기적으로는 스마트 계약 효과를 온체인에 가까운 수준에서 구현하면서도, 비트코인의 보수적인 설계 원칙을 유지할 수 있는 절묘한 균형점이 될 수 있다는 평가다.
업계는 ColliderVM이 비트코인을 탈중앙화 금융 생태계의 강력한 기반으로 탈바꿈시킬 수 있는 전환점을 제공할 수 있을 것으로 보고 있다. 장기적으로는 스마트 계약 효과를 온체인에 가까운 수준에서 구현하면서도, 비트코인의 보수적인 설계 원칙을 유지할 수 있는 절묘한 균형점이 될 수 있다는 평가다.
