論文の概要: Lite-PoT: Practical Powers-of-Tau Setup Ceremony
- arxiv url: http://arxiv.org/abs/2503.04549v1
- Date: Thu, 06 Mar 2025 15:34:50 GMT
- ステータス: 翻訳完了
- システム内更新日: 2025-03-07 15:57:09.040976
- Title: Lite-PoT: Practical Powers-of-Tau Setup Ceremony
- Title(参考訳): Lite-PoT:実用パワー・オブ・タウ・セットアップ・セレモニー
- Authors: Lucien K. L. Ng, Pedro Moreno-Sanchez, Mohsen Minaei, Panagiotis Chatzigiannis, Adithya Bhat, Duc V. Le,
- Abstract要約: Zk-SNARKは、パブリックパラメータ(しばしば「PoTのパワー」と呼ばれる)を生成するために、一度だけ信頼できる設定に依存している。
秘密パラメータの$tau$のリークにより、攻撃者は偽の証明を生成でき、その上に構築されたすべてのzk-SNARKシステムの音質を損なうことになる。
参加コストを削減するために設計された2つの主要なプロトコルを含むLite-PoTを提案する。
- 参考スコア(独自算出の注目度): 11.689131565202945
- License:
- Abstract: Zero-Knowledge Succinct Non-Interactive Argument of Knowledge (zk-SNARK) schemes have gained significant adoption in privacy-preserving applications, decentralized systems (e.g., blockchain), and verifiable computation due to their efficiency. However, the most efficient zk-SNARKs often rely on a one-time trusted setup to generate a public parameter, often known as the ``Powers of Tau" (PoT) string. The leakage of the secret parameter, $\tau$, in the string would allow attackers to generate false proofs, compromising the soundness of all zk-SNARK systems built on it. Prior proposals for decentralized setup ceremonies have utilized blockchain-based smart contracts to allow any party to contribute randomness to $\tau$ while also preventing censorship of contributions. For a PoT string of $d$-degree generated by the randomness of $m$ contributors, these solutions required a total of $O(md)$ on-chain operations (i.e., in terms of both storage and cryptographic operations). These operations primarily consisted of costly group operations, particularly scalar multiplication on pairing curves, which discouraged participation and limited the impact of decentralization In this work, we present Lite-PoT, which includes two key protocols designed to reduce participation costs: \emph{(i)} a fraud-proof protocol to reduce the number of expensive on-chain cryptographic group operations to $O(1)$ per contributor. Our experimental results show that (with one transaction per update) our protocol enables decentralized ceremonies for PoT strings up to a $2^{15}$ degree, an $\approx 16x$ improvement over existing on-chain solutions; \emph{(ii)} a proof aggregation technique that batches $m$ randomness contributions into one on-chain update with only $O(d)$ on-chain operations, independent of $m$. This significantly reduces the monetary cost of on-chain updates by $m$-fold via amortization.
- Abstract(参考訳): Zero-Knowledge Succinct Non-Interactive Argument of Knowledge (zk-SNARK)スキームは、プライバシ保護アプリケーション、分散システム(ブロックチェーンなど)、その効率性による検証可能な計算に大きく採用されている。
しかし、最も効率的なzk-SNARKは、しばしば公開パラメータを生成するために1回だけ信頼できる設定に依存しており、しばしば ``Powers of Tau" (PoT) 文字列として知られている。
秘密パラメータである$\tau$のリークにより、攻撃者は偽の証明を生成でき、その上に構築されたすべてのzk-SNARKシステムの音質を損なうことになる。
分散セットアップセレモニーの以前の提案では、ブロックチェーンベースのスマートコントラクトを使用して、任意のパーティが$\tau$にランダムにコントリビュートできると同時に、コントリビューションの検閲を防止している。
$m$コントリビュータのランダム性によって生成される$d$-degreeのPoT文字列に対して、これらのソリューションは合計$O(md)$オンチェーン操作(ストレージと暗号の両方の操作)を必要とした。
これらの操作は、主にコストの高いグループ操作、特にペアリング曲線上のスカラー乗算によって構成され、これは、参加を妨げ、分散化の影響を制限する。
i) 高価なオンチェーン暗号グループ操作数を1コントリビュータあたり$O(1)$に削減する不正防止プロトコル。
我々の実験結果は、我々のプロトコルが(更新1回につき1トランザクションで)PoT文字列の分散的なセレモニーを$2^{15}$程度、既存のオンチェーンソリューションよりも$\approx 16x$改善できることを示している。
(ii)$m$ランダムネスコントリビューションを1つのオンチェーン更新にバッチする証明集約手法で、$m$とは独立に$O(d)$オンチェーン操作のみを使用する。
これにより、オンチェーン更新の金銭的コストが、償却によって$m$-foldに大幅に削減される。
関連論文リスト
- Optimal Computational Secret Sharing [51.599517747577266]
$(t, n)$-threshold secret sharingでは、秘密の$S$が$n$の参加者に分散される。
共有サイズが $tfrac|S|t + |K|t$ となる構成を示す。
論文 参考訳(メタデータ) (2025-02-04T23:37:16Z) - Unified Breakdown Analysis for Byzantine Robust Gossip [15.69624587054777]
分散機械学習では、異なるデバイスがピアツーピアで通信し、互いのデータから協調的に学習する。
我々は、堅牢な分散アルゴリズムを構築するための一般的なフレームワークである$mathrmFtext-rm RG$を紹介した。
分散化されたアルゴリズムが許容できる敵の数に上限があることを示す。
論文 参考訳(メタデータ) (2024-10-14T12:10:52Z) - The Latency Price of Threshold Cryptosystem in Blockchains [52.359230560289745]
本稿では,Byzantine-fault Tolerant(BFT)コンセンサスプロトコルを用いた,しきい値暗号とブロックチェーンのクラス間の相互作用について検討する。
しきい値暗号システムに対する既存のアプローチは、しきい値暗号プロトコルを実行するための少なくとも1つのメッセージ遅延の遅延オーバーヘッドを導入している。
しきい値が狭いブロックチェーンネイティブのしきい値暗号システムに対して,このオーバーヘッドを取り除く機構を提案する。
論文 参考訳(メタデータ) (2024-07-16T20:53:04Z) - Fast Rates for Bandit PAC Multiclass Classification [73.17969992976501]
我々は,帯域幅フィードバックを用いたマルチクラスPAC学習について検討し,入力を$K$ラベルの1つに分類し,予測されたラベルが正しいか否かに制限する。
我々の主な貢献は、問題の無知な$(varepsilon,delta)$PACバージョンのための新しい学習アルゴリズムを設計することである。
論文 参考訳(メタデータ) (2024-06-18T08:54:04Z) - Fast and Secure Decentralized Optimistic Rollups Using Setchain [1.1534313664323634]
レイヤ2の楽観的なロールアップ(L2)は、スマートコントラクト開発とユーザインタラクションの面で同じインターフェースを提供する、より高速な代替手段です。
本稿では,集合の非分散化ビザンチン耐性実装であるSetchainに基づく分散L2楽観的なロールアップを提案する。
論文 参考訳(メタデータ) (2024-06-04T13:45:12Z) - Fully Automated Selfish Mining Analysis in Efficient Proof Systems Blockchains [5.864854777864723]
私たちは、Bitcoinのような長鎖ブロックチェーンにおける自己中心的なマイニング攻撃について研究していますが、そこでは、作業の証明が効率的な証明システムに置き換えられます。
本稿では,敵の相対収益を最大化することを目的とした,新たな自尊心のあるマイニング攻撃を提案する。
本稿では,MDP の最適相対収益を$epsilon$-tight で計算する形式解析手法を提案する。
論文 参考訳(メタデータ) (2024-05-07T15:44:39Z) - Travelers: A scalable fair ordering BFT system [7.891481513306302]
最も効率的なBFTコンセンサスは$O(nTL + n2T)$通信複雑性を必要とする。
本稿では,BFT公正注文プロトコルであるTravelersを提案する。
論文 参考訳(メタデータ) (2024-01-04T02:14:18Z) - Scalable and Adaptively Secure Any-Trust Distributed Key Generation and All-hands Checkpointing [3.1771413727096154]
DLogベースの暗号システムのための実用的なDKGを提案し、共通のコインの助けを借りて(準)線形化とノード単位の通信コストを実現する。
我々のプロトコルは適応的な敵に対して安全であり、全てのノードの半分以下を破損させる可能性がある。
参加者が異なる重みを持つ場合でも,従来の分散プロトコルであるDKGを効率的にデプロイできる汎用トランスフォーマーを提案する。
論文 参考訳(メタデータ) (2023-11-16T06:05:01Z) - WR-ONE2SET: Towards Well-Calibrated Keyphrase Generation [57.11538133231843]
キーワード生成は、入力文書を要約する短いフレーズを自動的に生成することを目的としている。
最近登場したONE2SETパラダイムは、キーフレーズをセットとして生成し、競争性能を達成した。
本稿では, ONE2SET を拡張した WR-ONE2SET を提案する。
論文 参考訳(メタデータ) (2022-11-13T09:56:24Z) - Quantum Multi-Solution Bernoulli Search with Applications to Bitcoin's
Post-Quantum Security [67.06003361150228]
作業の証明(英: proof of work、PoW)は、当事者が計算タスクの解決にいくらかの労力を費やしたことを他人に納得させることができる重要な暗号構造である。
本研究では、量子戦略に対してそのようなPoWの連鎖を見つけることの難しさについて検討する。
我々は、PoWs問題の連鎖が、マルチソリューションBernoulliサーチと呼ばれる問題に還元されることを証明し、量子クエリの複雑さを確立する。
論文 参考訳(メタデータ) (2020-12-30T18:03:56Z) - Stochastic Bandits with Linear Constraints [69.757694218456]
制約付き文脈線形帯域設定について検討し、エージェントの目標は一連のポリシーを作成することである。
楽観的悲観的線形帯域(OPLB)と呼ばれる,この問題に対する高信頼束縛アルゴリズムを提案する。
論文 参考訳(メタデータ) (2020-06-17T22:32:19Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。