論文の概要: Asynchronous Verifiable and Complete Secret Sharing: From Design Patterns to System-Level Trade-offs
- arxiv url: http://arxiv.org/abs/2610.37234v1
- Date: Tue, 27 Oct 2026 13:41:33 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-10-28 21:04:31.643925
- Title: Asynchronous Verifiable and Complete Secret Sharing: From Design Patterns to System-Level Trade-offs
- Title（参考訳）: 非同期検証と完全秘密共有:デザインパターンからシステムレベルトレードオフへ
- Abstract要約: 設計シーブを導き、7つの代表的なプロトコルを選択し、それらを共通のRustフレームワークで実装します。
我々は,レイテンシ,スループット,メッセージ数,帯域幅,CPU時間のみを用いたストレス実行の評価を行った。
- 参考スコア（独自算出の注目度）: 2.9327448844278234
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Modern secret sharing protocols promise robust secret sharing in fully asynchronous Byzantine systems, but their practical costs remain difficult to compare across papers, assumptions, and workloads. The difficulty is not merely experimental: protocols with similar asymptotic guarantees often place very different work on the critical path through their choices of dissemination, verification, batching, and recovery. This paper turns that fragmented research landscape into a corpus-backed designspace analysis and systems evaluation of asynchronous verifiable and complete secret sharing. We derive a design sieve, select seven representative protocols, and implement them in a common Rust framework. In our experiments on the Grid'5000 platform, we evaluate honest-dealer and faulty-dealer stress executions using latency, throughput, message count, bandwidth, and aggregate CPU-time. The results show that message complexity alone poorly predicts latency, that optimistic paths can be dominated by recovery cost, and that batching or packing helps only when verification stays off the critical path. These findings turn protocol-by-protocol comparisons into design-to-cost guidance for choosing, implementing, and extending asynchronous verifiable and complete sharing protocols.
- Abstract（参考訳）: 現代のシークレット共有プロトコルは、完全に非同期のビザンチンシステムで堅牢なシークレット共有を約束するが、それらの実践的コストは、論文、仮定、ワークロード間で比較することが困難である。
同様の漸近的な保証を持つプロトコルは、拡散、検証、バッチ、回復の選択を通じて重要な経路について非常に異なる作業を行うことが多い。
本稿では,断片化された研究ランドスケープをコーパスが支援する設計空間分析と,非同期検証と完全秘密共有のシステム評価に変換する。
設計シーブを導き、7つの代表的なプロトコルを選択し、それらを共通のRustフレームワークで実装します。
Grid'5000プラットフォーム上での実験では、レイテンシ、スループット、メッセージカウント、帯域幅、CPU時間の集約を用いて、正直なディーラーと不良ディーラーのストレス実行を評価した。
結果は、メッセージの複雑さだけで遅延を予測できないこと、楽観的なパスは回復コストによって支配されること、バッチやパッキングは、検証がクリティカルパスから外れている場合にのみ有効であることを示している。
これらの結果は、プロトコル間比較を、非同期検証可能な完全共有プロトコルの選択、実装、拡張のための設計とコストのガイダンスに変換する。
関連論文リスト
- BRIDGE: Selective Boundary Repair with Dependency Graph Evidence in Multi-Agent Systems [59.26551527044981]
methodは、ハンドオフ修復を明示的な依存性の摂動に対する選択的介入として扱うランタイム制御フレームワークである。
SILO-BENCHでは12.3パーセンテージ、TeamBenchでは11.1ポイントまでタスクの成功を加速させる。
論文 参考訳（メタデータ） (2026-10-13T06:31:57Z) - Controlled Decoding Attacks on Black-Box LLMs [68.46062477706256]
Methodは、繰り返しサンプリングとアシスタント-継続を可能にする、テキストのみの継続インターフェイスを通じてジェイルブレイクを行うためのフレームワークである。
Risk-Gated Residual Controlは、進化する応答プレフィックスを使用して、配布の再構築と修正をいつ行うかを決定する。
Speculative Multi-Token Executionは、介入を必要としないドラフトプレフィックスの検証と受け入れによって、さらにターゲットコールを償却する。
論文 参考訳（メタデータ） (2026-09-29T07:58:49Z) - PhyAgentOS: A Self-Evolving Operating System for Embodied Agents with Decoupled Cognitive Planning and Physical Execution [49.776611937968]
我々は、スケジューリング、検証、メモリ、ベンチマーク、安全性をシステムレベルのサービスとして提供するPhyAgentOSを紹介します。
セッション中心のセッションは、スケジューリング、互換性、監督された実行、エビデンス収集、受け入れの最小単位として、アクションではなくセッションを扱う。
SessionVerifierは、実行終了とセマンティックタスク完了を、成功、失敗、または再計画のエビデンスに基づいて判断する。
ベンチマークはデプロイメントセッションと検証パスを再利用するので、結果は実際の実行に遡る。
論文 参考訳（メタデータ） (2026-07-18T04:46:53Z) - Gatling: Rapid-Fire Consensus from Parallel Composition [2.7591892842470807]
我々は、回転するリーダスケジュールの下で、任意にプロモーサル間時間を実現する原子放送プロトコルであるGatlingを紹介する。
我々は、クラッシュしたリーダによるヘッド・オブ・ライン・ブロッキングの影響を分析し、Gatlingの最適な並列インスタンス数を導出する。
論文 参考訳（メタデータ） (2026-06-16T17:48:47Z) - Focus When Necessary: Adaptive Routing and Collaborative Grounding for Training-Free Visual Grounding [56.38477453373368]
LazyMCoTは動的でトレーニング不要なフレームワークで、サンプルの難易度に基づいて視覚的接地作業を適応的に割り当てる。
LazyMCoTは、推論精度を同時に改善し、平均推論レイテンシを低減することで、トレーニングベースのアプローチと競合する。
論文 参考訳（メタデータ） (2026-06-15T03:17:44Z) - From Controlled to the Wild: Evaluation of Pentesting Agents for the Real-World [4.065564250241855]
本稿では,タスク完了から検証済みの脆弱性発見へ評価をシフトする実用的評価プロトコルを提案する。
このプロトコルは、AIペンテスティングエージェントのより現実的で運用上の情報的な比較を可能にすることによって、最先端の技術を拡張している。
論文 参考訳（メタデータ） (2026-05-11T16:50:00Z) - Adversarial procurement in blockchains [2.7433496624899383]
新たなブロックチェーンプロトコル設計パターンは、タスクの実行と検証における計算作業の非対称性を活用する。
我々はこれをメカニズム設計の質問として定式化する。
最適プロトコルの喪失は、ネットワークの逆数でスケールアップされた生活障害のコストで対数的にスケールすることを示す。
論文 参考訳（メタデータ） (2026-05-07T01:08:10Z) - Towards Verifiable AI with Lightweight Cryptographic Proofs of Inference [3.3323431541048385]
完全証明を軽量なサンプリングベースアプローチで置き換える検証フレームワークとプロトコルを提案する。
我々は,機能的に異なるモデル間のトレース分離を活用可能な条件を定式化し,検証可能な推論プロトコルの安全性について議論する。
我々の手法は、最先端の暗号証明システムと比較して、証明時間を桁違いに削減する。
論文 参考訳（メタデータ） (2026-03-19T15:24:27Z) - Benchmarking Few-shot Transferability of Pre-trained Models with Improved Evaluation Protocols [123.73663884421272]
より強力な事前訓練モデルと改良された適応アルゴリズムによって、わずかなショット転送が革新されている。
FEWTRANSは10種類のデータセットを含む総合的なベンチマークである。
FEWTRANS をリリースすることにより,数発の転写学習研究において再現性の向上を合理化するための厳密な "ルーラー" の提供を目指す。
論文 参考訳（メタデータ） (2026-02-28T05:41:57Z) - EvoSyn: Generalizable Evolutionary Data Synthesis for Verifiable Learning [63.03672166010434]
我々は、進化的、タスクに依存しない、戦略を導いた、実行可能検証可能なデータ合成フレームワークを紹介します。
問題、多様な候補解、検証成果物を共同で合成する。
これは、人間による注釈付きチェックと戦略によるチェックの合意を強制する一貫性に基づく評価器を通じて戦略を反復的に発見する。
論文 参考訳（メタデータ） (2025-10-20T11:56:35Z) - Decentralized Reliability Estimation for Low Latency Mixnets [9.938777444906593]
Mixnetsは匿名で、大量のデータパケットをエンドツーエンドのレイテンシでルーティングすることができる。
既存の検証可能性メカニズムは、スケーラブルな低レイテンシ演算と互換性がない。
本研究では,ミキサネットのリンクとノードの信頼性スコアを分散的に推定する手法を提案する。
論文 参考訳（メタデータ） (2024-06-10T19:38:04Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。