ZKP Frontier Tracker 🎯零知识证明 前沿热点追踪 🎯ZKP 最前線追跡🎯
Sat星期六土曜日
05.24
2025
https://eprint.iacr.org/2025/908
Singh et al. proposed a method in their paper to reduce the communication complexity of the classical sum-check protocol using multilinear polynomial commitment schemes, achieving a proof cost of O((ℓ+d)n) and a communication complexity of O(ℓ + dlog log n).Singh等人在论文中提出了一种利用多线性多项式承诺方案减少经典sum-check协议通信复杂性的方法，实现了证明者成本为O((ℓ+d)n)和通信复杂度为O(ℓ + dlog log n)的突破。Singhらによる論文では、多項式コミットメントスキームを用いて古典的な和チェックプロトコルの通信複雑度を削減する方法が提案されており、証明コストはO((ℓ+d)n)、通信複雑度はO(ℓ + dlog log n)を達成しています。
https://eprint.iacr.org/2025/912
Barbacovi et al. proposed a new scheme in their paper to enforce arbitrary constraints on Bitcoin transactions, while keeping some information private. This method also bypasses the non-Turing-complete nature of Bitcoin scripts, allowing the execution of unbounded constraints. Note: This scheme is executed on the BSV chain, not on the BTC chain, and BSV is the earliest Bitcoin fork chain to support Groth16.Barbacovi等人在论文中提出了一种利用zkSNARKs的新方案，能够在比特币交易上强制执行任意约束，同时保持部分信息私密。该方法还绕过了比特币脚本的非图灵完备性，允许执行无界约束。编者注：该方案是在BSV链上执行，不能在BTC链上执行，而BSV是最早支持Groth16的比特币分叉链。Barbacoviらは論文で、Bitcoinトランザクションに対する任意の制約を強制しつつ、一部の情報をプライベートに保つ新しいスキームを提案しました。この手法は、Bitcoinスクリプトが非チューリング完全であるという性質を回避し、無制限な制約の実行を可能にします。注記：このスキームはBTCチェーン上ではなくBSVチェーン上で実行され、BSVはGroth16をサポートする最も初期のBitcoinフォークチェーンです。