Fugu-MT 論文翻訳(概要): Unicity: Predicates and Atomic Swaps

論文の概要: Unicity: Predicates and Atomic Swaps

arxiv url: http://arxiv.org/abs/2606.02192v1
Date: Mon, 01 Jun 2026 12:46:37 GMT
ステータス: 翻訳完了
システム内更新日: 2026-06-02 21:34:32.071658
Title: Unicity: Predicates and Atomic Swaps
Title（参考訳）: ユニシティ:述語とアトミックスワップ
Authors: Ahto Buldas, Dirk Draheim, Mike Gault, Risto Laanoja, Vladimir Rogojin, Ahto Truu,
Abstract要約: 我々はユニシティトークンの所有権を述語と呼ばれるプログラム可能な消費条件に一般化する。我々は、Unicity実行層のセキュリティ特性が、家族の強制不可能を予測するために、減らされて保存されていることを証明した。
参考スコア（独自算出の注目度）: 1.0350267312618164
License: http://creativecommons.org/licenses/by-nc-nd/4.0/
Abstract: We generalize Unicity token ownership to programmable spending conditions called predicates, enabling smart-contract like functionality executed off-chain directly by relying parties rather than by consensus participants. We prove that the security properties of the Unicity execution layer are preserved under reduction to predicate family unforgeability. To demonstrate the utility of the model, we show how to implement trustless atomic swaps by using predicates.
Abstract（参考訳）: 我々は、Unicityトークンの所有権を述語と呼ばれるプログラム可能な利用条件に一般化し、合意参加者ではなく、当事者に直接依存させることで、スマートコントラクトのような機能をオフチェーンで実行可能にする。我々は、Unicity実行層のセキュリティ特性が、家族の強制不可能を予測するために、減らされて保存されていることを証明した。モデルの有用性を示すために、述語を用いて信頼できない原子スワップの実装方法を示す。

関連論文リスト

KindHML: formal verification of smart contracts based on Hennessy-Milner logic [1.8594711725515678]
現実世界の攻撃は、スマートコントラクトのビジネスロジックの欠陥を悪用することが多い。スマートコントラクトの形式的検証に対する自動的なアプローチを提案する。提案手法は,スマートコントラクトの非自明な時間特性を効果的に検証できることを示す。
論文参考訳（メタデータ） (2026-04-15T16:18:44Z)
Broadening the Applicability of Conditional Syntax Splitting for Reasoning from Conditional Belief Bases [17.087561406710723]
条件付き信念ベースからの非単調な推論において、構文分割仮定を満たす推論演算子は、信念ベースに関連する部分のみを考慮に入れることができる。近年、この条件の重複は自給自足条件に制限されていることが示されている。そこで本稿では,安全な条件付き構文分割の一般化を提案し,その適用範囲を広げる。
論文参考訳（メタデータ） (2026-04-14T12:27:05Z)
Identifying Intervenable and Interpretable Features via Orthogonality Regularization [48.938969291033665]
我々はデコーダ行列をほぼ直交的な特徴に分解する。これにより、ターゲットデータセットのパフォーマンスを本質的に変更することなく、機能間の干渉と重畳を低減することができる。私たちのコードは、$texttthttps://github.com/mrtzmllr/sae-icm$で利用可能です。
論文参考訳（メタデータ） (2026-02-04T16:29:14Z)
CORE: Context-Robust Remasking for Diffusion Language Models [51.59514489363897]
我々は、推論時リビジョンのためのトレーニング不要フレームワークであるContext-Robust Remasking (CORE)を提案する。静的トークンの確率を信頼するのではなく、COREは、ターゲットとなるマスク付きコンテキストの摂動に対する感受性を示すことによって、コンテキスト不安定なトークンを識別する。 LLaDA-8B-Baseでは、COREは推論とコードベンチマークの間で一貫した改善を行い、計算に適合したベースラインを上回り、MBPPを最大9.2%改善した。
論文参考訳（メタデータ） (2026-02-04T00:12:30Z)
Toward Scalable and Valid Conditional Independence Testing with Spectral Representations [25.258360465513338]
条件独立(CI)は多くの設定で追加の仮定なしでテストできない。本稿では,部分共分散演算子の特異値分解から導出される表現を学習するために,実用的な2レベルコントラストアルゴリズムを提案する。予備的な実験は、このアプローチがスケーラブルなCIテストへの実践的で統計的に根拠のあるパスを提供することを示唆している。
論文参考訳（メタデータ） (2025-12-22T16:05:18Z)
COIN: Uncertainty-Guarding Selective Question Answering for Foundation Models with Provable Risk Guarantees [51.5976496056012]
COINは、統計的に有効な閾値を校正し、質問毎に1つの生成された回答をフィルタリングする不確実性保護選択フレームワークである。 COINはキャリブレーションセット上で経験的誤差率を推定し、信頼区間法を適用して真誤差率に高い確率上界を確立する。リスク管理におけるCOINの堅牢性,許容回答を維持するための強いテストタイムパワー,キャリブレーションデータによる予測効率を実証する。
論文参考訳（メタデータ） (2025-06-25T07:04:49Z)
Self-Predictive Representations for Combinatorial Generalization in Behavioral Cloning [20.1753113722028]
後続表現による長距離時間一貫性がいかに一般化を促進するかを示す。次に,GCBCのための単純な表現学習目的である$textBYOL-gamma$を提案する。
論文参考訳（メタデータ） (2025-06-11T19:32:41Z)
Latent Veracity Inference for Identifying Errors in Stepwise Reasoning [78.29317733206643]
本稿では、精度割当てに対する離散探索アルゴリズムであるVeracity Search(VS)を紹介する。その他の方法では、後続の精度値よりも後続の分布において難解な推論を行う。 VSを一般化し、新しいコンテキストで正確なゼロショットの精度推論を可能にする。
論文参考訳（メタデータ） (2025-05-17T04:16:36Z)
Defending Large Language Models against Jailbreak Attacks via Semantic Smoothing [107.97160023681184]
適応型大規模言語モデル(LLM)は、ジェイルブレイク攻撃に対して脆弱である。提案するSEMANTICSMOOTHは,与えられた入力プロンプトのセマンティック変換されたコピーの予測を集約するスムージングベースのディフェンスである。
論文参考訳（メタデータ） (2024-02-25T20:36:03Z)
Automated Invariant Generation for Solidity Smart Contracts [2.4181711081104282]
本稿では,Solidityスマートコントラクトのための新しい不変生成フレームワークINVCON+を提案する。 INVCON+は既存の不変検出器であるInvConを拡張して、検証された契約不変量を自動生成する。我々は、361 ERC20と10 ERC721実世界の契約と、一般的なERC20脆弱性ベンチマークに基づいてINVCON+を評価する。
論文参考訳（メタデータ） (2024-01-01T03:37:30Z)

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