回路

ChainCatcher のメッセージ、ブロックチェーンセキュリティ機関 ChainLight が発表したところによると、研究者は 9 月 15 日に zkSync Era メインネットの ZK-circuits に健全性のセキュリティ脆弱性を発見し、19 日に直ちにこの脆弱性問題を報告しました。この脆弱性により、悪意のある証明者が無効な実行のブロックに対して「証明」を生成でき、これらの証明は L1 上の検証者スマートコントラクトに受け入れられます。zkSync の開発者である Matter Labs は現在修正プログラムを展開しており、ChainLight に 5 万 USDC の報酬を提供しました。これは zkSync Era における ZK-circuits の脆弱性に対して得られた初の報酬です。

ChainCatcher のメッセージによると、ZK 技術開発者の Nil Foundation が発表したところによれば、zkLLVM を使用して構築された zkOracle 回路が Lido エコシステムの開発資金の承認を受けました。Lido の要求に応じてカスタマイズされた zkOracle 回路は、Ethereum EVM 内の過去データに対する信頼のないアクセスを自動的に実行でき、Lido の会計報告に基づく zk による信頼のない妥当性検証を提供し、stETH の報酬と発行メカニズムを改善します。紹介によれば、Lido のステーキングユーザーの報酬は、通常の会計報告に基づいて stETH 保有者に分配されるとのことです。この報告には、担保の総ロック価値、アクティブ/退出しているバリデーターの数、引き出しおよび報酬残高などの情報が含まれています。もし会計報告（またはその検証）が損なわれた場合、報酬プロセスも損なわれることになります。したがって、この報告は可能な限り安全でなければならず、zkLLVM に基づく zkOracle は報告の重要な部分を信頼のない方法で検証することを実現します。

Chaincatcher のメッセージ、イーサリアム ZK-Rollup 拡張ソリューション Taiko がロードマップを発表し、今月中に Alpha-2 テストネットをリリースする予定です。このテストネットには、許可不要の prover と一部の ZK-EVM 回路が含まれ、2024 年初頭にはメインネットを立ち上げ、完全な ZK-EVM 回路、分散型 proposer および分散型 prover を実現します。（出典リンク）