zkllvm

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은 zkLLVM을 사용하여 구축된 zkOracle 회로가 Lido 생태계 개발 자금 지원 승인을 받았다고 발표했습니다. Lido의 요구에 맞게 맞춤화된 zkOracle 회로는 이더리움 EVM 내의 역사적 데이터에 대한 신뢰할 수 없는 접근을 자동으로 수행할 수 있으며, Lido의 회계 보고서에 대해 zk 기반의 신뢰할 수 없는 합리성 검사를 제공하고 stETH 보상 및 발행 메커니즘을 개선합니다.소개에 따르면 Lido 스테이킹 사용자에 대한 보상은 일반 회계 보고서를 기준으로 stETH 보유자에게 분배되며, 이 보고서에는 담보의 총 잠금 가치, 활성/탈퇴 검증자 수, 인출 및 보상 잔액 등의 정보가 포함되어 있다고 합니다. 만약 회계 보고서(또는 그 검증)가 손상된다면 보상 과정도 영향을 받을 것입니다. 따라서 이 보고서는 가능한 한 안전해야 하며, zkLLVM 기반의 zkOracle은 보고서의 핵심 부분을 신뢰할 수 없는 방식으로 검증할 수 있도록 합니다.

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