論文の概要: Zero-Knowledge Extensions on Solana: A Theory of ZK Architecture
- arxiv url: http://arxiv.org/abs/2511.00415v1
- Date: Sat, 01 Nov 2025 05:58:13 GMT
- ステータス: 翻訳完了
- システム内更新日: 2025-11-05 16:37:26.763536
- Title: Zero-Knowledge Extensions on Solana: A Theory of ZK Architecture
- Title（参考訳）: Zero-Knowledge Extensions on Solana: A Theory of ZK Architecture
- Abstract要約: 本稿では,ソラナのゼロ知識拡張をアーキテクチャ理論として再構築する。
目的(スキャラビリティ対プライバシ)と配置(オンチェーン対オフチェーン)によってゼロ知識の使用を正規化する2軸モデルを提案する。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: This paper reconstructs zero-knowledge extensions on Solana as an architecture theory. Drawing on the existing ecosystem and on the author's prior papers and implementations as reference material, we propose a two-axis model that normalizes zero-knowledge (ZK) use by purpose (scalability vs. privacy) and by placement (on-chain vs. off-chain). On this grid we define five layer-crossing invariants: origin authenticity, replay-safety, finality alignment, parameter binding, and private consumption, which serve as a common vocabulary for reasoning about correctness across modules and chains. The framework covers the Solana Foundation's three pillars (ZK Compression, Confidential Transfer, light clients/bridges) together with surrounding components (Light Protocol/Helius, Succinct SP1, RISC Zero, Wormhole, Tinydancer, Arcium). From the theory we derive two design abstractions - Proof-Carrying Message (PCM) and a Verifier Router Interface - and a cross-chain counterpart, Proof-Carrying Interchain Message (PCIM), indicating concrete avenues for extending the three pillars.
- Abstract（参考訳）: 本稿では,ソラナのゼロ知識拡張をアーキテクチャ理論として再構築する。
既存のエコシステムと著者の論文と実装を参考資料として,ゼロ知識(ZK)の使用を目的(スケーラビリティ対プライバシ)と配置(オンチェーン対オフチェーン)で正規化する2軸モデルを提案する。
このグリッド上では、5つの層交差不変量(オリジン認証、リプレイセーフ、ファイナリティアライメント、パラメータバインディング、プライベート消費)を定義します。
このフレームワークは、Solara Foundationの3つの柱(ZK圧縮、機密転送、ライトクライアント/ブリッジ)と、周辺コンポーネント(Light Protocol/Helius、Succinct SP1、RISC Zero、Wormhole、Tinydancer、Arcium)をカバーしている。
理論から、2つの設計抽象化 - Proof-Carrying Message (PCM) と Verifier Router Interface - と、Proof-Carrying Interchain Message (PCIM) を導き、これら3つの柱を拡張する具体的な方法を示している。
関連論文リスト
- Beyond Feedforward Networks: Reentry Neural Systems as the Fundamental Basis of Subjecthood and Intrinsic Safety of Next-Generation AGI [0.0]
閉じた再突入ループ(D->Iサイクル)に基づく安全汎用人工知能のための完全な青写真を提案する。
有向非巡回グラフであるフィードフォワードネットワークとは対照的に,提案アーキテクチャは自己持続的増幅を伴う構造サイクルを含む。
我々は,S>0が正の積分情報を意味するというマシン検証4つの証明を,TononiのNP-hard Phiに代わる,リーン時間[O(N3)]計算可能な代替手段として提示する。
論文 参考訳（メタデータ） (2026-06-24T21:54:02Z) - Efficient RWKV-based Representation Learning for 3D Point Clouds [53.911842457391636]
textbfP-RWKVブロックは、シーケンスモデリングと不規則な3次元幾何学の間のギャップを埋める。
P-RWKVブロックとそのキーサブモジュールは、計算コストと推論遅延の少ない様々なタスクで競合性能を達成する。
論文 参考訳（メタデータ） (2026-06-09T04:16:39Z) - Integrated and Cross-Architecture Interpretation of LLM Reasoning [48.58940522466915]
統合されたクロスアーキテクチャ推論(IAR)フレームワークは、LLM推論の解釈可能性に対する統一的なアプローチを提供するように設計されている。
まず、チューキーIQRピーク検出と組み合わされた帯域幅校正MIPを用いて、出力層における推論・クラシカルトークンを分離することを提案する。
次に、MIP-pickedトークンと計算深度トークンの重なり解析を行い、それらのトークンの層間軌跡をトレースする。
論文 参考訳（メタデータ） (2026-05-27T05:56:35Z) - Harness Engineering as Categorical Architecture [0.0]
ArchAgentsフレームワークの分類的アーキテクチャは、まさにこの形式化を提供します。
エージェントの外部化(メモリ、スキル、プロトコル、ハーネスエンジニアリング)の4つの柱は、トリプルのコンポーネントにマップされます。
本稿では,Swarms,DeerFlow,Ralph,Scion,LangGraphを対象とするコンパイラファクタを対象とする参照実装を用いて,この対応性を検証する。
論文 参考訳（メタデータ） (2026-05-12T15:09:46Z) - Layer 2 Blockchains Simplified: A Survey of Vector Commitment Schemes, ZKP Frameworks, Layer-2 Data Structures and Verkle Trees [0.0]
レイヤ2(L2)プロトコルは、親チェーンへの信頼を保ちながら計算をオフロードすることで、レイヤ1(L1)ブロックチェーンの基本的制限に対処する。
本稿では,L2アーキテクチャを基盤となる暗号セキュリティに厳格にマッピングする,セキュリティに重点を置いた最初の統一調査について述べる。
論文 参考訳（メタデータ） (2026-04-22T19:57:42Z) - ACE-GF-based Attestation Relay for PQC - Lightweight Mempool Propagation Without On-Path Proofs [1.7429038786735553]
量子後ブロックチェーン設定では、妥当性証明を必要とするオブジェクトは、メムプールとリレーネットワークを介してブロードキャストされなければならない。
STARKはこれらの証明を集約するために提案されており、各ノードは、証明なしで1つの証明と1つのオブジェクトを転送し、ノードごとの証明帯域を約128KBまで制限している。
我々は、伝搬が本質的には経路のみの軽量保証に妥当性証明を必要としないことを観察する。
ビルダー(または最終検証者)のみが、それが含むオブジェクトの集合に対して単一の集約された妥当性証明を実行する。
論文 参考訳（メタデータ） (2026-03-09T05:41:31Z) - ZK-ACE: Identity-Centric Zero-Knowledge Authorization for Post-Quantum Blockchain Systems [1.7429038786735553]
ZK-ACEは、トランザクション転送されたシグネチャオブジェクトをアイデンティティバウンドのゼロ知識認証ステートメントに置き換える認証レイヤである。
我々は,ZK-ACEをゲームベースのセキュリティ定義で形式化し,音声認識,リプレイ抵抗,置換抵抗,クロスドメイン分離を実現した。
構造的、プロトコルレベルのデータ会計は、直接量子後シグネチャ展開に対するコンセンサス可視な認証データのオーダー・オブ・マグニチュードの低減を示す。
論文 参考訳（メタデータ） (2026-03-09T05:21:44Z) - Taming SAM3 in the Wild: A Concept Bank for Open-Vocabulary Segmentation [57.427604620940734]
TextscConceptBankは、視覚的証拠とプロンプトの整合性を取り戻すためのフレームワークだ。
我々のアプローチは、クラスワイドなビジュアルプロトタイプによるターゲットドメインの証拠をアンロックし、(textitii)マイニングの代表者はデータドリフト下でのアウトリーチを抑えることをサポートし、(textitiii)コンセプトドリフトの修正のために候補概念を融合させる。
論文 参考訳（メタデータ） (2026-02-06T02:59:11Z) - Cartesian-nj: Extending e3nn to Irreducible Cartesian Tensor Product and Contracion [4.804138731373153]
テンソルカップリングのために定義される Wigner-3j と Wigner-nj の直接類似体として機能する Cartesian-3j と Cartesian-nj の記号を導入する。
このフレームワーク内では、MACE、NequIP、AllegroのCartesian対応を実装しています。
論文 参考訳（メタデータ） (2025-12-18T18:49:50Z) - Bridging Symbolic Control and Neural Reasoning in LLM Agents: The Structured Cognitive Loop [0.0]
エージェント認知を,検索,認知,制御,行動,記憶の5段階に分けたモジュール型アーキテクチャであるStructured Cognitive Loop (SCL)を導入する。
SCLの中核であるSoft Symbolic Controlは、確率的推論にシンボリック制約を適用する適応的なガバナンスメカニズムである。
我々は,ライブGPT-4oによる旅行計画エージェントとともに,R-CCAMループアーキテクチャを実演する完全なオープンソース実装を提供する。
論文 参考訳（メタデータ） (2025-11-21T05:19:34Z) - MagicDock: Toward Docking-oriented De Novo Ligand Design via Gradient Inversion [39.57670166909937]
MagicDockはプログレッシブパイプラインと差別化可能なサーフェスモデリングを基盤とした、前方に見えるフレームワークである。
まず、受容体の一般的なドッキング知識をバックボーンモデルに組み込む。
その後、ドッキング知識をバインド予測により逆勾配流としてインスタンス化し、デノボ生成を反復的に導く。
論文 参考訳（メタデータ） (2025-10-10T05:45:50Z) - Light of Normals: Unified Feature Representation for Universal Photometric Stereo [69.95514862547174]
現在のエンコーダは、照明と通常の情報が切り離されていることを保証できない。
i) 点、方向、環境光を集約する光アライメント監督機能を備えた光レジスタトークン。
また,PS-Verseも導入した。PS-Verseは,幾何学的複雑性と照明の多様性を指標とした大規模合成データセットである。
論文 参考訳（メタデータ） (2025-06-23T17:53:11Z) - Seg-Zero: Reasoning-Chain Guided Segmentation via Cognitive Reinforcement [52.66700314820547]
Seg-Zeroは、顕著な一般化可能性を示し、認知的強化を通じて明確な連鎖推論を導出する新しいフレームワークである。
Seg-ZeroはGRPOによる強化学習と明確な推論データなしでのみ訓練される。
実験の結果、Seg-Zero-7BはReasonSegベンチマークで57.5のゼロショット性能を達成し、以前のLISA-7Bを18%上回った。
論文 参考訳（メタデータ） (2025-03-09T08:48:51Z) - Bridge: A Unified Framework to Knowledge Graph Completion via Language Models and Knowledge Representation [14.801411392475439]
我々は、知識グラフ(KG)の構造と意味情報を共同で符号化するブリッジと呼ばれる新しいフレームワークを提案する。
具体的には、PLMのセマンティック知識をよりよく活用するために、PLMによって個別にエンティティと関係を戦略的に符号化する。
我々は、KGとPLMのギャップを埋めるために、BYOLと呼ばれる自己教師付き表現学習法を用いて、3重の異なる2つの視点でPLMを微調整する。
論文 参考訳（メタデータ） (2024-11-11T01:59:04Z) - CAR: Conceptualization-Augmented Reasoner for Zero-Shot Commonsense
Question Answering [56.592385613002584]
ゼロショットコモンセンス質問応答の課題に対処するために,概念化強化推論器(CAR)を提案する。
CARは、CommonSenseの知識を多くの高レベルなインスタンスに抽象化し、CommonSenseの知識ベースの範囲を拡大する。
CARは、既存のメソッドよりも、ゼロショットのコモンセンスシナリオに関する質問に答えることにより、より堅牢に一般化する。
論文 参考訳（メタデータ） (2023-05-24T08:21:31Z) - Zero-Shot Everything Sketch-Based Image Retrieval, and in Explainable
Style [40.112168046676125]
本稿では,ゼロショートスケッチに基づく画像検索(ZS-SBIR)の問題点について検討する。
鍵となる革新は、そのようなクロスモーダルマッチング問題は、主要なローカルパッチのグループの比較に還元できる、という認識にある。
実験では、ZS-SBIRのすべての設定で優れたパフォーマンスを実現しています。
論文 参考訳（メタデータ） (2023-03-25T03:52:32Z) - Oblivious Transfer from Zero-Knowledge Proofs, or How to Achieve
Round-Optimal Quantum Oblivious Transfer and Zero-Knowledge Proofs on Quantum
States [0.0]
従来のZero-Knowledge(ZK)プロトコルを、構成可能な(量子)Obliivious Transfer(OT)プロトコルに変換する。
ランダムオラクルモデルでセキュアな第1ラウンド最適(2-message)量子OTプロトコルを提供する。
私たちの構築の中心には、受信した量子状態のプロパティを追加情報を公開することなく証明できる新しい方法があります。
論文 参考訳（メタデータ） (2023-03-02T18:38:15Z) - Pack Together: Entity and Relation Extraction with Levitated Marker [61.232174424421025]
エンコーダにマーカを戦略的にパッケージ化することにより,スパン(ペア)間の依存関係を検討するために,Packed Levitated Markersという新しいスパン表現手法を提案する。
実験の結果,3つの平坦なNERタスクにおいて,有望なマーカーが充填されたモデルの方がシーケンスラベルモデルよりも0.4%-1.9%優れ,トークンコンキャットモデルを6つのNERベンチマークで上回っていることがわかった。
論文 参考訳（メタデータ） (2021-09-13T15:38:13Z) - CARAFE++: Unified Content-Aware ReAssembly of FEatures [132.49582482421246]
この目標を達成するために、ユニバーサルで軽量で高効率なオペレータであるContent-Aware ReAssembly of FEatures(CARAFE++)を提案します。
CARAFE++は、インスタンス固有のコンテンツ認識処理を可能にするアダプティブカーネルをオンザフライで生成する。
計算のオーバーヘッドが無視できるすべてのタスクにおいて、一貫性と実質的な利益を示しています。
論文 参考訳（メタデータ） (2020-12-07T07:34:57Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。