NotesNotes要点

• Permutation and lookup arguments consume up to half of prover computation in zkVMs, among costliest components.
• 2025 research (ST25, BCD25, CTHK25) significantly improved prover efficiency.
• Core ideas: switching networks, grand product polynomial identity, permutation matrices from 20-year-old shuffle proofs.
• Memory consistency in zkVMs solved via permutation arguments, similar to shuffle proof techniques.
• Switching networks for memory consistency may incur logarithmic overhead.
• Grand product and permutation matrix methods offer linear or better efficiency improvements.

• 现代zkVM中的置换和查找参数消耗高达证明者一半计算时间，是成本最高的组件之一。
• 2025年研究如ST25、BCD25、CTHK25通过新方法显著提升了证明效率。
• 置换证明的核心思想包括交换网络、大乘积多项式恒等式和置换矩阵，这些在20年前的混洗证明中已有应用。
• zkVM中内存一致性问题可通过置换参数解决，类似混洗证明中的技术。
• 交换网络方法在zkVM中用于内存一致性，但可能导致对数开销。
• 大乘积多项式恒等式和置换矩阵方法提供了线性或更优的效率改进。

• Permutationおよびlookup引数は、zkVMsにおけるプロバー計算の最大半分を消費し、最もコストのかかるコンポーネントの一つです。
• 2025年の研究（ST25, BCD25, CTHK25）により、プロバー効率が大幅に向上しました。
• コアアイデア：ネットワークスイッチング、グランドプロダクト多項式恒等式、20年前のシャッフルプルーフからの置換行列。
• zkVMsにおけるメモリの一貫性は、シャッフルプルーフ技術と同様のpermutation argumentsによって解決されます。
• メモリの一貫性をためのネットワークスイッチングは、対数的なオーバーヘッドを伴う可能性があります。
• グランドプロダクトおよびpermutation matrixの手法は、線形以上の効率改善をもたらします。