Bobbin(@bobbinth @0xMiden), 핵심 개발자 겸 CEO. Polygon(@0xPolygon)에서 Miden 개발 경험으로 널리 알려져 있습니다. 그는 전형적인 독학 ZooKeeper 개발자로, ZooKeeper 기술(이론)을 실무를 통해 익히는 데 매우 능숙합니다. 그는 개인정보 보호 기술 기반 L2 캐시를 구축하기 위해 2,500만 달러의 투자 유치에 성공했습니다. Bobbin의 커리어 경로를 살펴보겠습니다. Bobbin의 Web3 여정은 2018년경에 시작되었습니다. 당시 그는 풀타임 블록체인 실무자는 아니었지만 독립적인 연구자이자 오픈소스 기여자로 활동하고 있었습니다. 그의 영지식 증명에 대한 관심은 "계산 무결성"에 대한 그의 매혹, 특히 SNARK 및 STARK와 같은 일반 증명 시스템에 대한 그의 매혹에서 비롯되었습니다. Bobbin은 이렇게 회상했습니다. "제로 지식 증명을 접하자마자 블록체인에 꼭 필요하다는 걸 깨달았습니다. 다른 사람이 전체 프로세스를 다시 실행하지 않고도 계산을 검증할 수 있으니까요." 그의 첫 번째 이정표는 genSTARK(2018년에서 2019년경)였습니다. 그의 첫 번째 오픈소스 STARK 증명기 였습니다. genSTARK는 STARK 증명을 생성하고 검증하는 실험적 도구로, 당시 ZK 커뮤니티의 고질적인 문제였던 효율적인 오픈소스 구현 부족을 해결했습니다. Bobbin은 대기업 경력이 없는 독립 개발자였으며, Rust 프로그래밍 언어를 독학하여 genSTARK를 개발했습니다. 그의 업적은 ZK 커뮤니티에서 그를 두각을 나타내게 했고, "최초의 실용적인 STARK 증명기"의 선구자라는 명성을 얻게 했습니다. 이후 그는 2020년 초 Distaff VM을 개발했습니다. 이 VM은 RISC-V 아키텍처에서 영감을 받아 STARK 기반 가상 머신 프로토타입으로 개발되었으며(저는 이 zkvm을 통해 zkvm의 구현 원리를 처음 알게 되었습니다), 범용 컴퓨팅을 위한 ZK 증명을 지원하도록 설계되었습니다. Distaff는 Miden VM의 전신이었습니다. Bobbin은 개발 과정에서 수많은 반복 작업과 사용자 테스트를 수행했으며, VM 프로그래밍을 단순화하기 위해 AirScript(간단한 어셈블리 언어)와 AirAssembly를 직접 작성하기도 했습니다. 2020년 말, Bobbin은 Meta(페이스북)의 Novi 프로젝트에 핵심 ZK 연구원으로 합류했습니다. Novi는 Meta의 디지털 지갑 및 블록체인 실험 부서로, Libra(포스트 디엠) 생태계 내에서 프라이버시 기술을 탐구하는 것을 목표로 합니다. 이것이 그의 "하이라이트"였습니다. 그는 고성능 범용 STARK 증명기 및 검증자 Winterfell의 개발을 주도했습니다. Winterfell은 병렬 증명 생성을 지원하며 이전 STARK 구현보다 몇 배 더 빠릅니다. 팀 내에서 Bobbin은 회로 컴파일부터 증명 집계까지 전체 프로세스를 처리하는 아키텍처 설계 및 최적화를 담당했습니다. 이러한 경험을 통해 그는 엔터프라이즈급 ZK 배포에 대한 전문 지식을 갖추게 되었습니다. 이어서 제가 앞서 공유했던 Polygon에 인수되어 Miden을 실현하는 경험을 하게 되었습니다.