ChainCatcher のメッセージ、ZK 技術開発者=nil; Foundation は新しいタイプの Type-1 zkEVM を発表しました。これは zkLLVM によって駆動され、イーサリアムの拡張性の安全性を向上させることを目的としています。 zkEVM V1 は現在一般に公開されており、プロトタイプのコードベース、仕様、および関連するブログ記事が含まれています。=nil; zkLLVM を利用して、高度なコード（C++ や Rust など）を効率的な zk-SNARK 回路に自動的にコンパイルします。この自動コンパイル方式は、従来の手動で回路を定義する方法とは対照的です。=nil; zkEVM の主な特徴には、監査可能性（C++ でコンパイルされた回路方式はより実行可能で経済的であり、監査が容易です）；アップグレード可能性（EVM の変更が容易に自動的に回路を再コンパイルできる）；互換性（Type-1 バイトコードはイーサリアムの基本実行環境の C++ バージョンである evmone に最も近い）が含まれます。暗号データプラットフォーム RootData によると、ZK 技術開発者=nil; Foundation は今年の 1 月に 2.2 億ドルの評価額で 2200 万ドルの資金調達を完了しました。

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 を発表し、開発者が人気のコーディング言語 Rust と C++ を使用してゼロ知識回路を構築できるようにし、作業負荷を軽減することを目指しています。LLVM は「低レベル仮想マシン」を意味し、開発者がこれらのライブラリを使用して可読コードをコンピュータが解釈できる形式に「コンパイル」するためのオープンソースコードライブラリのセットを指します。報告によれば、zkLLVM プロジェクトは、Nil Foundation が最近発表した ZK 証明市場に自動的に挿入される予定であり、この市場は ZK チームが作業を分担し、特定の計算を第三者にアウトソーシングするのを助けるために作成されました。（出典リンク）