論文の概要: State of the Art Report: Verified Computation

• arxiv url: http://arxiv.org/abs/2308.15191v2
• Date: Fri, 16 Feb 2024 14:10:17 GMT
• ステータス: 処理完了
• システム内更新日: 2024-03-19 07:12:46.276599
• Title: State of the Art Report: Verified Computation
• Title（参考訳）: State of the Art Report: Verified Computation
• Authors: Jim Woodcock, Mikkel Schmidt Andersen, Diego F. Aranha, Stefan Hallerstede, Simon Thrane Hansen, Nikolaj Kuhne Jakobsen, Tomas Kulik, Peter Gorm Larsen, Hugo Daniel Macedo, Carlos Ignacio Isasa Martin, Victor Alexander Mtsimbe Norrild,
• Abstract要約: 本報告では,検証可能計算における技術の現状について述べる。 4000ページ以上の文献から128の論文を調査している。 調査された論文は圧倒的に数学的だった。
• 参考スコア（独自算出の注目度）: 4.63955788010308
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: This report describes the state of the art in verifiable computation. The problem being solved is the following: The Verifiable Computation Problem (Verifiable Computing Problem) Suppose we have two computing agents. The first agent is the verifier, and the second agent is the prover. The verifier wants the prover to perform a computation. The verifier sends a description of the computation to the prover. Once the prover has completed the task, the prover returns the output to the verifier. The output will contain proof. The verifier can use this proof to check if the prover computed the output correctly. The check is not required to verify the algorithm used in the computation. Instead, it is a check that the prover computed the output using the computation specified by the verifier. The effort required for the check should be much less than that required to perform the computation. This state-of-the-art report surveys 128 papers from the literature comprising more than 4,000 pages. Other papers and books were surveyed but were omitted. The papers surveyed were overwhelmingly mathematical. We have summarised the major concepts that form the foundations for verifiable computation. The report contains two main sections. The first, larger section covers the theoretical foundations for probabilistically checkable and zero-knowledge proofs. The second section contains a description of the current practice in verifiable computation. Two further reports will cover (i) military applications of verifiable computation and (ii) a collection of technical demonstrators. The first of these is intended to be read by those who want to know what applications are enabled by the current state of the art in verifiable computation. The second is for those who want to see practical tools and conduct experiments themselves.
• Abstract（参考訳）: 本報告では、検証可能な計算の最先端について述べる。 検証可能な計算問題(検証可能な計算問題) コンピュータエージェントが2つあることを仮定する。 第1のエージェントは検証者、第2のエージェントは証明者である。 検証者は、証明者が計算を実行することを望んでいる。 検証者は、計算の記述を証明者に送信する。 証明者がタスクを完了すると、証明者は検証者に出力を返す。 出力には証明が含まれます。 検証者は、この証明を使用して、証明者が出力を正しく計算したかどうかを確認することができる。 このチェックは、計算で使用されるアルゴリズムを検証するために必要ではない。 代わりに、証明者が検証者によって指定された計算を用いて出力を計算したチェックである。 チェックに必要な労力は、計算の実行に必要な労力よりもはるかに少なくなければならない。 この最先端のレポートは、4000ページ以上に及ぶ文献から128の論文を調査している。 その他の論文や書籍は調査されたが、削除された。 調査された論文は圧倒的に数学的だった。 我々は、検証可能な計算の基礎を形成する主要な概念を要約した。 報告書には2つの主要なセクションが含まれている。 第一のより大きい節は確率的にチェック可能な証明とゼロ知識証明の理論的基礎をカバーしている。 第2節では、検証可能な計算の現在の実践について記述している。 次の2つの報告がカバーされる 一 検証可能な計算の軍事的応用及び (ii)技術デモ参加者の集まり。 ひとつは、検証可能な計算における現在の最先端技術によって、どのようなアプリケーションが有効になっているかを知りたい人によって読み取られるように意図されている。 2つ目は、実践的なツールを見て、実験を自分自身で実行したい人のためのものです。

関連論文リスト

• LLM Critics Help Catch Bugs in Mathematics: Towards a Better Mathematical Verifier with Natural Language Feedback [71.95402654982095]
  本研究では,自然言語フィードバック型検証器Math-Minosを提案する。 実験の結果,少量の自然言語フィードバックが検証器の性能を大幅に向上させることがわかった。
  論文  参考訳（メタデータ） (2024-06-20T06:42:27Z)
• New Reservoir Computing Kernel Based on Chaotic Chua Circuit and Investigating Application to Post-Quantum Cryptography [0.0]
  このプロジェクトは、チュアに本拠を置く貯水池コンピュータのアカデミアにおける2番目の事例であると考えられている。 ポスト量子暗号のような現実世界の課題に最初に適用される。
  論文  参考訳（メタデータ） (2024-06-18T12:07:59Z)
• Fact Checking Beyond Training Set [64.88575826304024]
  本稿では,レトリバーリーダが,あるドメインのラベル付きデータに基づいてトレーニングし,別のドメインで使用する場合,性能劣化に悩まされることを示す。 本稿では,レトリバー成分を分散シフトに対して頑健にするための逆アルゴリズムを提案する。 次に、これらのデータセットから8つの事実チェックシナリオを構築し、モデルと強力なベースラインモデルのセットを比較します。
  論文  参考訳（メタデータ） (2024-03-27T15:15:14Z)
• Quantum Logspace Computations are Verifiable [7.510385608531827]
  BQLのすべての言語は検証可能なログスペース証明器と古典的な検証器を持っている。 検証は$O(log n)$ランダムビットのみを使用する。
  論文  参考訳（メタデータ） (2023-07-20T17:58:05Z)
• Fact-Checking Complex Claims with Program-Guided Reasoning [99.7212240712869]
  Program-Guided Fact-Checking (ProgramFC)は、複雑なクレームを単純なサブタスクに分解する新しいファクトチェックモデルである。 まず,大規模言語モデルの文脈内学習能力を活用して推論プログラムを生成する。 我々は,各サブタスクを対応するサブタスクハンドラに委譲することでプログラムを実行する。
  論文  参考訳（メタデータ） (2023-05-22T06:11:15Z)
• Same or Different? Diff-Vectors for Authorship Analysis [78.83284164605473]
  古典的な著作物分析において、特徴ベクトルは文書を表し、特徴の値は文書中の特徴の相対周波数(関数の増大)を表し、クラスラベルは文書の著者を表す。 筆者らの実験は共著者検証,著者検証,クローズドセットの著者帰属に取り組んでおり,DVは自然に第1の問題を解くのに向いているが,第2と第3の問題を解くための2つの新しい方法も提供している。
  論文  参考訳（メタデータ） (2023-01-24T08:48:12Z)
• Validation tests of GBS quantum computers give evidence for quantum advantage with a decoherent target [62.997667081978825]
  複数モードデータの検証に指紋としてグループカウント確率の正P位相空間シミュレーションを用いる。 偽データを解き放つ方法を示し、これを古典的なカウントアルゴリズムに適用する。
  論文  参考訳（メタデータ） (2022-11-07T12:00:45Z)
• Questions Are All You Need to Train a Dense Passage Retriever [123.13872383489172]
  ARTは、ラベル付きトレーニングデータを必要としない高密度検索モデルをトレーニングするための、新しいコーパスレベルのオートエンコーディングアプローチである。 そこで,(1) 入力質問を用いて証拠文書の集合を検索し,(2) 文書を用いて元の質問を再構築する確率を計算する。
  論文  参考訳（メタデータ） (2022-06-21T18:16:31Z)
• Algorithmic audits of algorithms, and the law [3.9103337761169943]
  対象アルゴリズムのユーザ側とのインタラクションによって実施される外部監査に注目した。 これらの監査が行われる法的な枠組みは、主にそれらを開発する研究者にとって曖昧である。 本稿では,アルゴリズム監査の進展する分野を構築するために,現在実施されている監査と法との関係を概説する。
  論文  参考訳（メタデータ） (2022-02-15T14:20:53Z)
• Exploiting a Zoo of Checkpoints for Unseen Tasks [29.309248850221373]
  タスクの空間をガウス過程としてモデル化する。 最大相互情報基準により代表チェックポイントを識別できる。 greedyメソッドは、タスク空間を"カバー"する可能性のある代表者を特定する。
  論文  参考訳（メタデータ） (2021-11-05T17:27:22Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。