올해 초, Weikeng Chen과 그의 파트너들은 벤처 회사 L2 Iterative에서 비트코인 생태계에 주목하기로 결정했습니다. 중국 출신인 Chen은 채굴 공간의 여러 대형 플레이어들이 Ordinals 및 레이어 2 공간의 다양한 프로젝트를 지원하기 시작한 것에 대한 관심이 커지고 있음을 주목했습니다.
“비트코인에 개발 커뮤니티가 있다는 것을 정말 깨닫지 못했어요.”라고 그는 반농담으로 말합니다.
지난 주, 그는 인프라 회사 Starkware의 후원을 받아 비트코인 스크립트를 사용한 제로 지식 검증기의 첫 번째 구현을 달성한 오픈 소스 이니셔티브를 이끌었습니다.
중요한 돌파구가 드물게 발생하는 산업에서, 이 노력에 참여한 사람들은 이 이정표의 중요성에 대해 열광하고 있습니다. 그들은 제로 지식 증명이 비트코인의 프로그래머블성을 열고 전 세계적으로 사용을 확장하는 열쇠라고 주장합니다.
이 성취 뒤에는 불과 6개월 전에 비트코인 개발을 시작한 외부인의 놀라운 여정이 있습니다. 그는 지금까지 아마도 가장 진보된 소프트웨어를 코딩했습니다. Weikeng Chen과 인터뷰를 통해 그의 동기, OP_CAT 및 STARK와 관련하여 Starkware와의 협업, 그리고 비트코인 개발의 새로운 시대에 대한 그의 관점을 탐구했습니다.
제로에서 시작하기
암호학을 전공한 UC 버클리 박사 졸업생인 Chen은 자신의 기술력을 산업에 기여할 기회를 찾기 시작했다고 설명했습니다. 그는 자신의 회사를 잠재적 투자자 및 기업과 더 잘 연결하기 위해 노력했습니다. 광범위한 엔지니어링 경험에도 불구하고, 그는 자원이 부족하고 학습 곡선이 가파르다는 것을 빠르게 깨달았습니다. “시중에 있는 많은 자료가 구식이며 현재 개발 상태를 반영하지 않습니다.” 그의 제로 지식 기술에 대한 애착은 결국 비트코인이 제로 지식 증명을 검증하는 데 필요한 계산을 수행할 수 있는 능력에 대한 연구로 이어졌습니다.
하나의 토끼 굴이 다른 굴로 이어지면서, Robin Linus의 BitVM의 새로운 컴퓨팅 패러다임에 대한 작업이 그의 레이더에 들어왔습니다. 비트코인과 호환되는 제로 지식 시스템을 구현하기 위해 사기 증명을 사용하는 가능성에 관심을 가지게 된 그는 백서를 살펴보며 시스템에 관련된 몇 가지 개념에 문제를 발견했습니다. “BitVM에 대해 몇 가지 질문을 하며 Robin에게 메시지를 보냈습니다. 그 백서에서의 BitVM에 대한 제 이해는 정말 잘못된 것이었습니다. Robin의 첫 반응은 저에게 누가 그렇게 말했는지 물어보는 것이었습니다.”라고 그는 웃으며 회상합니다. 이 상호작용은 Chen, Linus 및 다른 연구자들 간의 짧지만 생산적인 협업을 촉발하여 원래 아이디어를 반복하고 최적화 방법을 찾는 데 도움을 주었습니다.
“이 방법이 제로 지식 증명을 검증하는 데 사용될 수 있다는 것은 분명했습니다. 그래서 제 작업은 SNARK 검증기를 구현하는 방향으로 빠르게 진행되었습니다.”
검증기는 비트코인 네트워크에서 제로 지식 증명을 검증할 수 있게 해주는 암호화 도구입니다.
OP_CAT 기회
같은 시기에 제로 지식 산업의 거대 기업 Starkware의 팀은 비트코인 커뮤니티에서 나오는 새로운 활동에 주목하고 있었습니다. 일부에게는 오랜 시간이 걸린 일이었습니다. Starkware의 창립자인 Eli Ben-Sasson은 비트코인 회의에서 암호화폐의 맥락에서 제로 지식 기술에 대해 논의한 첫 번째 사람으로 여겨집니다. 거의 10년 후, Starkware의 연구와 ZK-STARK 기술은 이 분야의 점점 더 많은 응용 프로그램의 기초가 되고 있습니다.
“2013년, 제가 비트코인을 확장하기 위해 유효성 증명을 사용하자고 제안했을 때, Satoshi가 여전히 존재하고 더 빨리 이루어지기를 바랐습니다. Weikeng Chen과 Bitcoin OP_CAT 연구자들인 Andrew Poelstra와 Ethan Heilman과 같은 암호학 비전가 덕분에 제 11년 된 꿈이 이제 손에 닿을 수 있게 되었다”고 Ben-Sasson은 언급했습니다.
지난 달, 이 회사는 비트코인과 제로 지식 증명 간의 기술 격차를 해소하는 데 초점을 맞춘 여러 이니셔티브의 배포를 시작한다고 발표했습니다. OP_CAT 소프트 포크 제안의 가능성에 대한 연구 및 탐색을 위한 1,000,000달러의 응용 프로그램 보조금이 제공되었습니다.
이 발표는 주목할 만한 열정으로 기념되었으며, 일부는 이러한 낙관주의의 원인이 무엇인지 궁금해했습니다. 최근까지 비트코인에서 제로 지식 기술의 전망은 대부분 사후 생각이었습니다. 비트코인 코드베이스의 작은 변경 사항에 대한 합의 도출의 어려움으로 인해 더 복잡한 것이 실현될 가능성은 낮아 보였습니다.
Starkware 기여자들과의 대화에 따르면, 5월경에 Weikeng의 BitVM 진행 상황을 알게 되었고 분위기가 극적으로 변화했습니다. 개발자는 이미 회사의 Circle STARKs 기술에 주목하고 있었습니다. 몇 달 전에 발표된 논문에서 Chen은 이를 “비트코인 친화적인 증명 시스템”으로 이미 식별했습니다.
몇 차례의 논의 끝에 양측은 함께 모여 OP_CAT 원시를 사용한 STARK 검증기의 오픈 소스 구현을 위한 공동 노력을 시작하기로 합의했습니다. “이것이 가능하다는 것을 알고 있었습니다. 우리는 모든 조각을 맞춰야 했습니다.”라고 Chen은 제안합니다. “비트코인 야생동물 보호구역”이 탄생했습니다.
두 달 후, 이 프로젝트는 Pingzhou Yuan과 같은 다른 개발자들의 협력 덕분에 목표에 도달한 것으로 보입니다. 지난 금요일 늦은 아침, Chen은 프로젝트의 텔레그램 그룹에 들어가 다른 참가자들에게 소식을 전했습니다: “작업을 끝냈다고 생각합니다!”
성공적인 로컬 테스트 후, 개발자는 비트코인의 Signet 테스트넷 네트워크에 전체 스크립트를 실행할 일련의 거래를 방송했습니다. 온체인 사용을 최적화하기 위해 Starkware의 오픈 소스 Stwo 구현을 기반으로 한 STARK 증명은 OP_CAT 기반의 계약을 사용하여 연결된 동시 거래로 분할됩니다.
2024년 7월 12일 오전 6시 29분, 마지막 거래가 Signet 네트워크에서 확인되어 지지자들이 믿는 새로운 비트코인 개발 시대의 시작을 알렸습니다.
“이것은 엄청난 노력으로 상당한 시간이 걸렸습니다.”라고 Chen은 말했습니다. “우리는 아무것도 없이 시작했습니다. 비트코인에서 ZK 증명에 대한 정보가 없습니다. 따라야 할 수학적 작업에 대한 정보도 없습니다. 우리는 전체 스택을 구축해야 했고, 결국 STARK 검증기의 구현으로 이어졌습니다.”
새로운 개발 경로에 영감을 주다
결과는 축하받을 만하지만, Chen은 작업이 끝나지 않았다고 주장합니다. 비트코인에서 롤업과 같은 새로운 확장 프로토콜의 기초를 만드는 것에 대해 낙관적인지 질문받았을 때, 개발자는 기대를 조절하는 데 신속했습니다.
“아이디어는 대략 작동하지만, 개념 증명은 생산 준비가 되어 있지 않습니다. 유효성 증명은 또한 많은 블록 공간을 차지하므로 미래에 비용이 많이 들 수 있습니다.”
Starkware의 기여자들은 앞으로의 도전을 인정하지만, 프로젝트의 성공이 ZK 롤업 기술을 활용할 수 있는 비트코인 확장 솔루션을 향한 “기념비적인 도약”을 나타낸다고 확신합니다.
확실한 것은 이 협력이 잠재적인 OP_CAT 소프트 포크에 대한 주장을 더욱 강화할 가능성이 높다는 것입니다. 검증기 구현을 위해 Chen은 CAT를 사용하여 계약에 대한 신뢰할 수 있는 프레임워크를 개발해야 했으며, 이는 스크립트 개선 제안의 다재다능성을 강조하는 데 도움이 될 수 있습니다. 그는 생태계의 다른 개발자들이 그의 코드를 가지고 놀며 그 이점에 대한 같은 결론에 도달할 수 있다고 믿습니다.
“우리가 최선의 관행을 개발하면 큰 위험이 없다고 생각합니다. 이 일이 잘못될 곳은 많지 않습니다. 우리는 이제 OP_CAT이 다양한 계약 프로젝트에 안전하게 적용될 수 있다는 명확한 증거를 가지고 있습니다.”
미래 활성화 프로세스에 기여할 의도에 대해 질문받았을 때, 개발자는 비트코인 오픈 소스 개발에 대한 모든 역학을 아직 충분히 알지 못한다고 솔직하게 인정했습니다. 다음으로 그는 개발 메일링 리스트의 구성원들과 자신의 진행 상황을 공유하고, 다른 사람들이 그의 작업에 대한 검토 및 피드백을 제공할 수 있기를 희망합니다.
지금까지의 경험을 반영하며, Chen은 생태계에 새로 들어오는 개발자들을 위한 비옥한 환경을 조성하는 것의 중요성을 즉시 지적합니다. 그는 많은 재능 있는 개발자들이 응집력 있는 비전의 부족으로 인해 비트코인에서 구축할 기회를 놓치고 있다고 믿습니다.
“현재 명확한 방향 감각이 없어 기여자들이 미래에 영향을 미칠 수 있는 능력에 대해 혼란스러워하고 있습니다. 새로운 도구와 원시의 출현이 이 상황을 개선하여 비트코인 사용자들이 다시 꿈꿀 수 있도록 하기를 바랍니다.”
