ChainCatcher 메시지, ZK 기술 개발자=nil; Foundation은 zkLLVM에 의해 구동되는 새로운 Type-1 zkEVM을 출시한다고 발표했습니다. 이는 이더리움 확장의 보안을 향상시키기 위한 것입니다. zkEVM V1은 현재 공개되어 있으며, 프로토타입 코드베이스, 규격 및 관련 블로그 기사를 포함하고 있습니다.=nil; zkLLVM을 활용하여 고급 코드(예: C++ 또는 Rust)를 효율적인 zk-SNARK 회로로 자동 컴파일합니다. 이러한 자동화된 컴파일 방식은 전통적인 수동 정의 회로 방법과 대조를 이룹니다. =nil; zkEVM의 주요 특징에는 감사 가능성( C++로 컴파일된 회로 방식이 더 실용적이고 경제적이며 감사하기 쉬움); 업그레이드 가능성(EVM의 변경 사항이 쉽게 자동으로 회로를 재컴파일할 수 있음); 호환성(Type-1 바이트코드가 이더리움 기본 실행 환경의 C++ 버전 evmone와 가장 가깝다는 점)이 포함됩니다.암호 데이터 플랫폼 RootData에 따르면, ZK 기술 개발자=nil; Foundation은 올해 1월에 2억 2천만 달러의 평가로 2천 2백만 달러의 자금을 조달했습니다.

ChainCatcher 메시지, Lido 생태계 조직 Lido DAO는 LEGO (Lido Ecosystem Grants Organisation)를 통해 자금을 지원하여 =nil; Foundation과 Metacraft Labs가 zkLLVM 기술을 사용하여 비신뢰성 zk-proof TVL 오라클에 대한 추가적인 건전성 및 정확성 검사를 탐색하도록 합니다. 이번 자금 지원은 비신뢰성 회계 기술을 구축하는 것을 목표로 하며, 구현될 경우 추가적인 오라클 검사의 역할을 하게 되며, 현재의 회계 오라클을 완전히 대체하지는 않을 것입니다; 오라클 회계 프로세스에서 비중심화와 신뢰 감소를 중점으로 하는 기본 조치를 지원함으로써 기존 프로토콜에 더 나은 비중심화 지원을 제공합니다.Lido는 또한 zk-proof 기술이 Lido Protocol 오라클 회계 운영에 효율적이고 안전하며 유익한 것으로 입증될 경우, 향후 전체 오라클 시스템에서 점진적으로 더 광범위한 기능을 출시할 가능성이 있다고 밝혔습니다.

ChainCatcher 메시지, ZK 기술 개발자 Nil Foundation이 개발자들이 인기 있는 코딩 언어인 Rust와 C++를 사용하여 제로 지식 회로를 구축할 수 있도록 하는 새로운 기술 zkLLVM을 발표했습니다. 이를 통해 작업 부하를 줄일 수 있습니다. LLVM은 "저수준 가상 머신"을 의미하며, 개발자들이 이 오픈 소스 코드 라이브러리를 사용하여 읽기 쉬운 코드를 컴퓨터가 해석할 수 있는 형식으로 "컴파일"하는 것을 지칭합니다.전해진 바에 따르면, zkLLVM 프로젝트는 Nil Foundation이 최근 발표한 ZK 증명 시장에 자동으로 삽입될 예정입니다. 이 시장은 ZK 팀이 작업을 분담하고 특정 유형의 계산을 제3자에게 아웃소싱할 수 있도록 돕기 위해 만들어졌습니다.（출처 링크）