The =nil; Foundation Says Its New Software Is Rocket Fuel for Zero-Knowledge Developers

2월 2일 목요일 오후 2:00 GMT/오전 9:00 ET/오후 2:00 UTC에 수출 금지

= 없음; 장난스러운 이름의 블록체인 인프라 스타트업인 파운데이션(Basis)은 목요일 개발자가 영지식 암호화를 사용하는 플랫폼을 구축하는 데 걸리는 시간을 획기적으로 줄일 수 있는 툴킷을 소개했습니다.

=nil의 새 프로젝트; zkLLVM이라고 하는 ZkLLVM은 영지식 회로를 구축하는 개발자를 위한 컴파일러 역할을 할 것입니다. 이 회로는 누군가가 증명 단계를 거치지 않고 무언가가 사실임을 보장할 수 있는 멋진 알고리즘입니다.

ZK 기술은 1980년대부터 있었지만 거래 프라이버시에서 블록체인 확장에 이르기까지 암호화에 대한 적용 가능성은 최근 몇 년 동안 일종의 ZK 르네상스를 불러일으켰습니다. ZK 연구의 돌파구는 ZK ​​기반 블록체인 인프라를 개발하는 Matter Labs, StarkWare 및 Mina와 같은 신생 기업에 수억 달러의 자금을 지원했으며 지난주 CoinDesk는 다음과 같이 보고했습니다. 자체 영지식 제품 제품군을 구축하기 위해 2,200만 달러를 모금했습니다.

Komarav는 =nil이라고 말합니다. ZK 개발자가 C++ 및 Rust와 같은 친숙한 프로그래밍 언어로 작성된 코드를 완전히 작동하는 영지식 회로로 쉽게 전환할 수 있도록 하여 ZK 개발자의 워크로드를 획기적으로 줄이기 위해 zkLLVM을 만들었습니다.

영지식 회로를 작성하는 것은 개발자에게 복잡하고 시의적절한 노력이 되는 경향이 있습니다. 일반적으로 틈새 프로그래밍 언어와 까다로운 도메인별 소프트웨어 라이브러리에 익숙해지는 것이 포함됩니다.

LLVM은 “낮은 수준의 가상 머신”을 의미하며 개발자가 사람이 읽을 수 있는 코드를 컴퓨터에서 해석할 수 있는 형식으로 “컴파일”하는 데 사용하는 오픈 소스 코드 라이브러리 세트를 말합니다. LLVM 프로젝트를 구축하면서 “우리는 이미 모두에게 알려진 주류 언어로 컴파일러를 구축했습니다” =nil; 창업자 미하일 코마라브는 코인데스크에 말했다.

zkLLVM 프로젝트는 또한 ZK 팀이 운영을 분산시키고 특정 유형의 계산을 제3자에게 아웃소싱할 수 있도록 생성한 =nil;의 최근 발표된 ZK 증명 시장에 자동으로 연결됩니다.

더 읽어보기: = 없음; 재단, 영지식 증명을 위한 시장 구축을 위해 2,200만 달러 모금

= 없음; Foundation은 오픈 소스 라이선스로 Github에서 목요일 프로젝트를 발표했습니다. 즉, 모든 개발자가 zkLLVM 코드를 자유롭게 사용하거나 수정할 수 있습니다.

= 없음; 재단은 이 기술이 ZK 기술을 사용하여 블록체인의 수수료와 대기 시간을 줄이는 일종의 이더리움 스케일링 솔루션인 소위 zkEVM을 구축하기 위해 경쟁하는 무수한 회사에 특히 유용할 것이라고 말합니다.

예를 들어 zkEVM 플랫폼 Scroll을 사용하여 Komarav는 Rust 프로그래밍 언어용으로 개발된 특수 소프트웨어 라이브러리를 사용하여 “그들은 수동으로 회로를 구축했다”고 설명했습니다. “그들은 그것을 위해 1년 반 정도를 썼고 많은 돈도 썼습니다.”라고 Komarav가 말했습니다. “만약 그들이 우리가 조금 더 일찍 만든 것에 액세스할 수 있었다면 아마도 단지 몇 달 만에 물건을 만들고 디버깅할 수 있었을 것입니다.”

더 읽어보기: EVM 호환 ZK 롤업의 갑작스러운 부상

ZK 회로는 가치 있는 디지털 자산의 흐름을 보호하는 데 점점 더 많이 사용되고 있습니다. 즉, 프로그래밍 오류는 엄청난 비용이 발생할 수 있습니다. 코마라브는 코인데스크에 zkLLVM이 개발자의 신뢰를 얻기 전에 스스로를 증명해야 한다고 인정했다. 이전 버전의 zkLLVM 코드베이스가 온라인에 유출되었을 때 일부 개발자는 코드의 복잡성을 고려할 때 =nil;의 회로 생성 기능을 신뢰하는 것을 경계할 것이라고 말했습니다.

Komarav는 또한 zkLLVM이 특히 큰 회로(영지식 형식으로 변환하기가 더 복잡한 프로그램)를 처리할 때 현재 제한 사항이 있다고 언급했습니다. 그러나 그는 zkLLVM 코드베이스가 개발자가 마침내 ZK 회로 구축의 핵심에 대한 생각을 멈추고 소프트웨어의 다른 부분에 집중할 수 있는 지점까지 성숙하기를 희망합니다.