ZKP Frontier Tracker 🎯零知识证明 前沿热点追踪 🎯ZKP 最前線追跡🎯
Sat星期六土曜日
05.03
2025
https://arxiv.org/abs/2504.15717
Castillo et al. proposed the Trusted Compute Unit (TCU) framework in their paper, integrating zkVMs and TEEs to enable cross-technology verifiable computation composition, allowing decentralized applications (dApps) to offload computation tasks to TCU and obtain correctness proofs while ensuring data privacy and output integrity.Castillo等人在论文中提出了Trusted Compute Unit (TCU)框架，通过整合zkVM和TEE实现跨技术可验证计算组合，允许去中心化应用（dApp）将计算任务卸载至TCU并获取正确性证明，同时保障数据隐私与输出完整性。Castilloらによる論文では、zkVMとTEEを統合したTrusted Compute Unit (TCU)フレームワークが提案されており、これによりクロステクノロジーな検証可能な計算の合成が可能になります。この機能により、分散型アプリケーション（dApps）はTCUに計算タスクをオフロードし、データプライバシーと出力の完全性を確保しながら正しさの証明を取得できます。
https://angeris.github.io/papers/ligerito.pdf
Novakovic et al. proposed Ligerito, a small and concretely fast polynomial commitment scheme supporting univariate/multilinear polynomials, with proof size optimized to $log(N)^2/loglog(N)$ and fast proof generation (2^24-degree polynomial in 1.3 seconds) on consumer-grade hardware (e.g., M1 MacBook Pro).Novakovic等人在论文中提出了Ligerito，一种高效的多项式承诺与内积方案，支持单变量/多线性多项式，证明大小优化至$log(N)^2/loglog(N)$，并在消费级硬件（如M1 MacBook Pro）上实现快速证明生成（2^24项多项式仅需1.3秒）。Novakovicらは、単変数多項式/多重線形多項式をサポートする、小さく具体的に高速なpolynomial commitment schemeであるLigeritoを提案しました。その証明サイズは$log(N)^2/loglog(N)$に最適化されており、コンシューマーグレードのハードウェア（例：M1 MacBook Pro）上での高速な証明生成（2^24次多項式を1.3秒で処理）を実現しています。