論文の概要: 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
• Authors: Jotaro Yano,
• 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つの柱を拡張する具体的な方法を示している。

関連論文リスト

• 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)

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

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