論文の概要: Smart Proofs via Smart Contracts: Succinct and Informative Mathematical
Derivations via Decentralized Markets
- arxiv url: http://arxiv.org/abs/2102.03044v2
- Date: Mon, 8 Feb 2021 09:17:06 GMT
- ステータス: 処理完了
- システム内更新日: 2021-02-09 11:45:16.421342
- Title: Smart Proofs via Smart Contracts: Succinct and Informative Mathematical
Derivations via Decentralized Markets
- Title（参考訳）: スマートコントラクトによるスマートプルーフ: 分散型市場による簡潔かつ情報的数学的デリベーション
- Authors: Sylvain Carr\'e, Franck Gabriel, Cl\'ement Hongler, Gustavo Lacerda,
and Gloria Capano
- Abstract要約: SPRIGは、エージェントが分散的な方法で簡潔で情報的な証明を提案し、検証することを可能にする。
様々な種類の情報を持つエージェントがどのように相互作用し、適切なレベルの詳細を持つ証明木につながるかを示す。
次に、単純化されたモデルを分析し、その均衡を特徴づけ、エージェントの信頼度を計算する。
- 参考スコア（独自算出の注目度）: 4.567122178196833
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Modern mathematics is built on the idea that proofs should be translatable
into formal proofs, whose validity is an objective question, decidable by a
computer. Yet, in practice, proofs are informal and may omit many details. An
agent considers a proof valid if they trust that it could be expanded into a
machine-verifiable proof. A proof's validity can thus become a subjective
matter and lead to a debate, which may be difficult to settle. Hence, while the
concept of valid proof is well-defined, the process to establish validity is
itself a complex multi-agent problem.
We introduce the SPRIG protocol. SPRIG allows agents to propose and verify
succinct and informative proofs in a decentralized fashion; the trust is
established by agents being able to request more details in the proof steps;
debates, if they arise, must isolate details of proofs and, if they persist, go
down to machine-level details, where they are automatically settled. A
structure of bounties and stakes is set to incentivize agents to act in good
faith.
We propose a game-theoretic discussion of SPRIG, showing how agents with
various types of information interact, leading to a proof tree with an
appropriate level of detail and to the invalidation of wrong proofs, and we
discuss resilience against various attacks. We then analyze a simplified model,
characterize its equilibria and compute the agents' level of trust.
SPRIG is designed to run as a smart contract on a blockchain platform. This
allows anonymous agents to participate in the verification debate, and to
contribute with their information. The smart contract mediates the
interactions, settles debates, and guarantees that bounties and stakes are paid
as specified.
SPRIG enables new applications, such as the issuance of bounties for open
problems, and the creation of derivatives markets, allowing agents to inject
more information pertaining to proofs.
- Abstract（参考訳）: 現代の数学は証明を形式的証明に翻訳し、その妥当性は客観的な問題であり、コンピュータによって決定可能であるという考えに基づいている。
しかし実際には、証明は非公式であり、多くの詳細を省略することができる。
エージェントは、機械検証可能な証明に拡張できると信頼できる場合、証明を有効とみなす。
したがって、証明の妥当性は主観的な問題となり、解決が難しい議論につながる可能性がある。
したがって、有効な証明の概念は明確に定義されているが、妥当性を確立するプロセスはそれ自体が複雑なマルチエージェント問題である。
SPRIGプロトコルを紹介します。
SPRIGは、エージェントが簡潔で情報的な証明を分散的に提案し、検証することを可能にする。信頼は、エージェントが証明ステップで詳細を要求できることによって確立される。
バウンティとステークの構造は、誠実に行動するためにエージェントにインセンティブを与えるように設定されています。
本研究では,SPRIGのゲーム理論的議論を提案し,様々な情報を持つエージェントがどのように相互作用するかを示し,適切な詳細レベルの証明木と誤った証明の無効化につながり,様々な攻撃に対するレジリエンスについて議論する。
次に、単純化されたモデルを分析し、その平衡を特徴付け、エージェントの信頼レベルを計算する。
SPRIGはブロックチェーンプラットフォーム上でスマートコントラクトとして動作するように設計されている。
これにより、匿名のエージェントが検証討論に参加し、情報に貢献することができる。
スマートコントラクトはインタラクションを仲介し、議論を解決し、賞金と持分が指定された通りに支払われることを保証します。
SPRIGは、オープン問題に対するバウンティの発行、デリバティブ市場の創出など、新しいアプリケーションを可能にし、証明に関連するより多くの情報をエージェントが注入できるようにします。
関連論文リスト
- Towards Secure and Trusted-by-Design Smart Contracts [0.3499870393443268]
証拠取引には、金銭、出生証明書、ビザ、チケットなど、あらゆる形の物的証拠の交換が含まれる。
多くの場合、明らかなトランザクションは、物理的なエージェントの間で、明らかなプロトコルと呼ばれる複雑な手続きの文脈で発生する。
ブロックチェーンはエビデンスを転送するメカニズムを提供し、スマートコントラクトはブロックチェーン上にエビデンシャルプロトコルをエンコードすることを可能にする。
スマートコントラクトは信頼できるサードパーティを先導し、匿名で複数のマシン上で動作するため、セキュアで信頼性の高い設計のプログラムを構成する。
論文 参考訳（メタデータ） (2024-03-25T16:14:22Z) - Unclonable Non-Interactive Zero-Knowledge [11.013799869152132]
非対話的ZK(NIZK)証明は、秘密を明かさずにNPステートメントの検証を可能にする。
本稿では,クローン化が不可能なNIZK証明システムを構築するために,量子情報に頼ることが可能かどうかを問う。
論文 参考訳（メタデータ） (2023-10-11T01:32:36Z) - CryptoVampire: Automated Reasoning for the Complete Symbolic Attacker Cryptographic Model [8.838422697156195]
我々はCryptoVampire暗号プロトコル検証を初めて導入し、BC論理におけるトレース特性の証明を完全に自動化した。
主要な技術的貢献は、プロトコルプロパティの1次(FO)形式化と、サブターム関係の調整されたハンドリングである。
理論面では、全FO論理を暗号公理で制限し、HO BC論理の表現性を失うことにより、音質を損なわないことを保証する。
論文 参考訳（メタデータ） (2023-05-20T11:26:51Z) - Fact-Saboteurs: A Taxonomy of Evidence Manipulation Attacks against
Fact-Verification Systems [80.3811072650087]
証拠のクレームサレントスニペットを微調整し,多様かつクレームアラインな証拠を生成することが可能であることを示す。
この攻撃は、主張のポストホックな修正に対しても堅牢である。
これらの攻撃は、インスペクタブルとヒューマン・イン・ザ・ループの使用シナリオに有害な影響を及ぼす可能性がある。
論文 参考訳（メタデータ） (2022-09-07T13:39:24Z) - Generating Natural Language Proofs with Verifier-Guided Search [74.9614610172561]
NLProofS (Natural Language Proof Search) を提案する。
NLProofSは仮説に基づいて関連するステップを生成することを学習する。
EntailmentBank と RuleTaker の最先端のパフォーマンスを実現している。
論文 参考訳（メタデータ） (2022-05-25T02:22:30Z) - Synthetic Disinformation Attacks on Automated Fact Verification Systems [53.011635547834025]
本研究では,2つのシミュレーション環境において,自動ファクトチェッカーの合成正反対証拠に対する感度について検討する。
これらのシステムでは,これらの攻撃に対して大幅な性能低下がみられた。
偽情報の発生源としての現代のNLGシステムの脅威の増大について論じる。
論文 参考訳（メタデータ） (2022-02-18T19:01:01Z) - multiPRover: Generating Multiple Proofs for Improved Interpretability in
Rule Reasoning [73.09791959325204]
我々は、自然言語の事実と規則の形で明示的な知識を推論することを目的としている言語形式推論の一種に焦点を当てる。
PRoverという名前の最近の研究は、質問に答え、答えを説明する証明グラフを生成することによって、そのような推論を行う。
本研究では,自然言語規則ベースの推論のために複数の証明グラフを生成するという,新たな課題に対処する。
論文 参考訳（メタデータ） (2021-06-02T17:58:35Z) - Experimental relativistic zero-knowledge proofs [4.334542470441071]
2つの分離された検証器とプロデューサのペアを含むゼロ知識プロトコルを開発する。
セキュリティは、特殊相対性理論の物理的原則によって実施される。
これはマルチプロデューサゼロ知識プロトコルの実用可能性を示している。
論文 参考訳（メタデータ） (2020-12-18T19:00:01Z) - PRover: Proof Generation for Interpretable Reasoning over Rules [81.40404921232192]
本稿では,ルールベース上の二項質問に応答し,対応する証明を生成するトランスフォーマーモデルを提案する。
本モデルは,効率的な制約付き学習パラダイムを用いて,証明グラフに対応するノードやエッジを予測できることを学習する。
我々は、QAと証明生成のための有望な結果を示すために、合成、手書き、人文による規則ベースの実験を行う。
論文 参考訳（メタデータ） (2020-10-06T15:47:53Z) - Empirically Verifying Hypotheses Using Reinforcement Learning [58.09414653169534]
本稿では,仮説検証をRL問題として定式化する。
我々は、世界の力学に関する仮説を前提として、仮説が真か偽かを予測するのに役立つ観測結果を生成することができるエージェントを構築することを目指している。
論文 参考訳（メタデータ） (2020-06-29T01:01:10Z) - SNARKs to the rescue: proof-of-contact in zero knowledge [0.0]
本稿では、新型コロナウイルスの接触追跡の自動化と修復作業を支援する技術について述べる。
筆者らは,感染した事実を証明した短い暗号証明を公開できるゼロ知識において,「接触証明」のための分散プロトコルを記述した。
論文 参考訳（メタデータ） (2020-05-26T13:00:37Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。