놓치셨다면, 이더리움 생태계에서 역사적으로 활동해온 Starkware가 어제 지난 몇 달 동안 나타난 새로운 비트코인 확장 기회에 상당한 자원을 투자할 계획을 발표했습니다.
제로 지식 시스템의 선구자인 이 그룹은 STARK 기술을 비트코인에 도입하기 위해 OP_CAT을 활용할 계획을 밝혔습니다. 이 소프트 포크 제안은 제로 지식 증명이 본래적으로 검증될 수 있도록 하여 개발자들에게 전혀 새로운 설계 공간을 열어줄 수 있습니다.
이 발표는 많은 이들에 의해 비트코인 프로토콜에 대한 중요한 기술적 이정표로 여겨집니다. 이에 대한 제 의견을 말씀드리겠습니다.
오랜 시간 기다려온 일
Starkware CEO Eli Ben-Sasson이 발표 글에서 지적했듯이, 비트코인을 개선하기 위해 제로 지식을 사용하는 아이디어는 새로운 것이 아닙니다. 개발자들은 이미 10년 이상 이 기술의 응용에 대해 논의해왔습니다. Ben-Sasson 자신은 2013년 샌호세에서 열린 비트코인 회의에서 이 아이디어의 초기 개념을 발표했습니다. 2017년, Blockstream 개발자 Gregory Maxwell, Pieter Wuille 및 Andrew Poelstra는 비트코인에서 기밀 거래를 지원하기 위해 제로 지식 프로토콜인 Bulletproof의 사용에 관한 연구 논문을 공동 발표했습니다.
최근 몇 년 동안 BitVM 창시자 Robin Linus는 비트코인의 블록체인에 대한 제로 지식 증명을 생성하는 데 사용되는 압축 기술인 ZeroSync 작업을 시작했습니다. 완전히 구현되면 비트코인 노드를 운영하는 데 필요한 자원 요구 사항을 크게 줄일 수 있습니다. 2022년, 인권 재단은 현재 Alpen Labs 연구원인 John Light에게 제로 지식 증명을 사용하여 비트코인에서 유효성 롤업의 잠재력에 대한 전체 보고서를 작성하도록 의뢰했습니다.
제로 지식 증명은 다양한 응용 프로그램을 가지고 있으며 우리는 그들에 대해 듣는 것이 거의 끝나지 않았습니다. 많은 이들은 이 기술이 다음 컴퓨팅 시대를 정의할 것이라고 예상하며, 그들에 반대하는 데 어려움을 겪을 것입니다. 더 높은 수준의 비트코인 응용 프로그램이 곧 이를 활용하기 시작할 것이며, 우리는 이 추세가 계속 성장할 것이라고 기대할 수 있습니다.
아직 이르다
제로 지식 암호학에 대한 대부분의 기술적 발전은 지난 10년 동안 이루어졌습니다. 이 분야는 더 많은 암호학자들이 이 기술의 응용에 관심을 가지면서 빠르게 발전하고 있습니다. 연구자들은 이러한 증명을 생성하고 검증하는 데 필요한 시간과 자원을 줄이기 위해 경쟁하는 상황에 있습니다. 현재 대부분의 증명 시스템은 계산적으로 비싼 상태입니다. 서로 다른 프로토콜은 서로 다른 트레이드오프를 하지만, 개선은 평균 사용자가 증명을 빠르고 효율적으로 검증할 수 있도록 검증에 집중되어 있습니다. 혁신의 속도가 끊임없이 이어지고 있지만, 대규모로 이러한 증명을 생성하려면 전문 하드웨어와 대규모 운영이 필요할 것입니다.
거대한 잠금 해제와 이 분야에서의 중요한 성과에도 불구하고, 암호학계에서 10년은 그리 긴 시간이 아니라는 점을 주목할 가치가 있습니다. 최근의 제안 중 많은 것들이 기술적으로 건전하다고 여겨지지만 비트코인만큼 전투에 단련되고 테스트된 것은 아닙니다. 2018년, Zcash의 ZK-SNARK 구현에서 숨겨진 인플레이션 버그가 발견되어 공격자가 통화를 위조할 수 있었던 가능성이 있었습니다. 공정하게도, Starkware가 제안한 STARK 구조는 그 투명한 특성 덕분에 훨씬 더 안전하다고 여겨집니다.
롤업에 대한 흥미를 느끼기 어렵다
이 프로젝트의 동기 중 하나는 비트코인에서 zk-롤업을 가능하게 하는 것입니다. 익숙하지 않은 분들을 위해 설명하자면, 롤업은 애플리케이션과 처리량을 확장하기 위해 오프체인 시퀀싱을 사용하는 고도로 찬사를 받는 제품입니다. zk-롤업, 또는 유효성 롤업은 시스템의 거래 기록에 대한 증명을 생성하여 사용자가 독립적으로 검증할 수 있도록 하여 추가적인 신뢰 가정을 요구하지 않는 오프체인 시스템을 가능하게 합니다.
현재 이더리움의 주요 롤업 구현 중 어느 것도 이 시스템을 완전히 구현하지 않았습니다. 각 롤업은 거래를 증명하고 정렬하는 책임이 있는 중앙 운영자에 의존합니다. 증명이 실제로 생성되는 드문 경우에서도, 사기 방지를 위해 권한이 부여된 행위자만 제출할 수 있습니다. Starkware의 Starknet은 운영자가 협력 중단하거나 인프라가 중단될 경우 사용자가 시스템에서 거래를 강제로 제거할 수 있는 메커니즘을 현재 제공하지 않습니다. 그들의 응용 프로그램 전용 롤업인 Starkex는 현재 일방적 종료의 동등한 기능을 제공합니다.
거의 모든 프로젝트는 효과적으로 다중 서명 키 세트에 의해 보호되는 수십억 달러의 예치금을 보유하고 있습니다. 이러한 키를 처리하는 동일한 그룹은 롤업 계약을 업그레이드하고 관련 자금을 통제할 수 있습니다. 불과 며칠 전, 이더리움에서 여섯 번째로 큰 롤업인 Linea는 운영자에 의해 일방적으로 중단되었고, 해킹 이후 모든 사용자 자금이 동결되었습니다.
여기에는 더 낙관적인 대안이 있지만, 아마도 제가 잘 쓸 수 없는 부분이며, 위에서 설명한 문제를 해결하기 위해 많은 작업과 자원이 투입되고 있습니다. 완전하고 신뢰 없는 비전을 실현하기 위해서는 상당한 양의 연구가 필요할 것입니다.
롤업이 이더리움처럼 복잡한 생명체로 진화할 가능성도 있습니다. 단지 소수의 사람만이 이를 다룰 수 있는.
BitVM 사이드퀘스트
작년에 Robin Linus가 BitVM을 도입한 것은 비트코인에서 제로 지식 경쟁을 본격적으로 시작하게 만든 계기입니다. Starkware는 그 이력 덕분에 주목받고 있지만, Alpen Labs, Citrea 및 Bitlayer와 같은 여러 팀이 그들의 구현을 위해 제로 지식 증명을 최적화하는 방법을 적극적으로 연구하고 있습니다.
그들이 앞으로 어떤 선택을 할지, 그리고 그들이 신념을 지킬지 지켜보는 것이 흥미로울 것입니다. OP_CAT이 많은 효율성을 도입한다는 강력한 주장을 할 수 있지만, 정확한 트레이드오프가 무엇인지 아직 명확하지 않습니다. 많은 기업들이 BitVM 경로를 계속 탐색하고 단순히 제로 지식 계산을 모방할 것이라고 예상합니다. 두 경우 모두 비트코인의 체인에서 다른 시스템으로 자금을 브리징하는 것은 재조직 공격에 취약한 라이트 클라이언트 보안을 포함한다는 점을 강조하는 것이 중요합니다.
지난 한 달 동안 BitVM에 대한 유동성 문제에 많은 주목이 쏠렸습니다. 이러한 유형의 솔루션에 대한 현재 사용자 프로필을 고려할 때, 이것이 누구의 참여를 막을 것이라는 생각은 다소 의심스럽습니다. 실용적이거나 지속 가능하지 않을 수 있지만, 솔직히 말해서 이를 위해 존재하는 시장이 이 문제에 대해 크게 신경 쓰지 않는 것 같습니다. 다시 말해, 사용자들은 현재 수십억 달러를 다중 서명에 예치하고 있으므로 다른 모든 것은 비교적 신뢰할 수 없는 것으로 보일 것입니다.
개발자 자금 지원 확대
연구 자금으로 할당된 백만 달러는 생태계에 긍정적인 영향을 미칩니다. 이는 OP_CAT에 대한 관심이 커지고 있다는 고무적인 발전입니다. 버그 바운티가 어디로 이어질지는 불확실하지만, 개념 증명 및 응용 프로그램에 대한 보다 집중된 작업에서 어떤 결과가 나올지 기대됩니다. 이러한 자금의 출처에 대해 불만을 품기 쉽지만, 궁극적으로 이러한 노력의 결과는 기술적 장점에 따라 평가될 것입니다. 비트코인의 개발 과정은 일부 사람들이 믿게 만들고자 하는 것만큼 쉽게 영향을 받지 않습니다.
또한 OP_CAT은 스크립트 퍼즐의 한 조각일 뿐이라는 점을 기억하는 것이 중요합니다. 특정 사용 사례에 대한 혁신은 흥미롭지만, 이는 대국적 관점을 잃는 것을 정당화하기에는 드물게 충분합니다. 이 기술은 단기적으로 상당한 수익을 낼 만큼 성숙하지 않았습니다. 오늘 업그레이드를 촉발하는 것은 이러한 시스템을 신뢰할 수 있게 구현하는 데 여전히 수년이 걸릴 것이라는 점에서 다소 성급해 보입니다. 중앙 집중식 가상 머신을 원한다면 선택할 수 있는 사이드체인이 많이 있습니다.
현재 우리는 매일 새로운 길을 개척하고 있으며, 한 달 후 우리가 어디에 있을지 예측하기조차 어렵습니다. 비트코인 스크립트 개선에 대한 진행 상황에 대해 조심스럽게 낙관적이지만, 현재로서는 어떤 것에 대해 약속하는 것이 부당하다고 느낍니다. 우리는 잠시 동안 상황이 진정되기를 기다려야 할 것입니다.
