Majid Khabbazian proposed the 2G2T protocol in the paper for outsourcing MSM to untrusted servers, featuring constant-size proofs and statistical soundness, with verification up to ~300x faster than local computation. Majid Khabbazian在论文中提出了2G2T协议,用于将MSM外包给不可信服务器,具有常数大小证明和统计可靠性,验证速度比本地计算快约300倍。 Majid Khabbazianは、信頼できないサーバーへのMSM(Merkleized State Machine)のアウトソーシングに関する論文で2G2Tプロトコルを提案しました。このプロトコルは、定数サイズの証明書と統計的健全性を特徴とし、検証速度はローカル計算の約300倍高速です。
NotesNotes要点
2G2T enables resource-constrained clients to outsource MSM to untrusted servers for efficiency
Server performs only two MSM computations and returns two group elements (constant-size proof)
Client verification requires one length-n field inner product and three group operations, fast verification
In Ristretto255 implementation, verification is ~300x faster than local optimized MSM (n≤2^18)
Supports latency-hiding verification: most verifier work done while waiting for server response
Achieves statistical soundness: probability of accepting incorrect result ≤1/q, high security
Why is MSM important? 为什么 MSM 很重要? MSMはなぜ重要なのでしょうか?
MSM is a core computation in many discrete-log cryptographic systems and ZK proof verifiers, often becoming a major bottleneck, especially for lightweight clients. MSM 是很多离散对数密码系统和 ZK proof verifier 的核心计算,通常是性能瓶颈,尤其对轻客户端影响很大。 MSM(Multi-Scalar Multiplication)は、多くの離散対数暗号システムやZK証明検証におけるコアな計算であり、特に軽量クライアントにとって大きなボトルネックとなることがよくあります。
What is the communication cost of 2G2T? 2G2T 的通信成本是多少? 2G2Tの通信コストはどのくらいですか?
The server only returns two group elements: the result A and an auxiliary value B, so the proof size is constant and independent of vector length n. 协议只需要服务器返回两个群元素:结果 A 和辅助值 B,因此 proof size 是 constant-size,与向量长度 n 无关。 サーバーは2つのグループ要素、結果Aと補助値Bのみを返すため、証明サイズはベクタ長nに依存しない定数となります。
What is statistical soundness? 什么是 statistical soundness? 統計的健全性とは何ですか?
Even against an unbounded malicious server, the probability of accepting an incorrect result is at most 1/q, giving information-theoretic security. 即使服务器是无限算力的恶意方,返回错误结果被接受的概率也最多是 1/q,体现了信息论级别的安全性。 無制限の悪意のあるサーバーに対しても、誤った結果を受け入れる確率は高々 $1/q$ であり、情報理論的なセキュリティを保証します。