論文の概要: zQR: A Verifiable QR-Driven zkSNARK Proof Verification Framework for Mobile Platforms
- arxiv url: http://arxiv.org/abs/2606.27092v1
- Date: Thu, 25 Jun 2026 14:29:35 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-06-26 18:46:32.322068
- Title: zQR: A Verifiable QR-Driven zkSNARK Proof Verification Framework for Mobile Platforms
- Title（参考訳）: zQR: モバイルプラットフォームのための検証可能なQR駆動型zkSNARK証明フレームワーク
- Abstract要約: 我々は,QRコードにエンコードされた証明を検証するために,オフライン検証を可能にする検証QRコードのアイデアを前進させる。
モバイルプラットフォーム向けの新しいQR駆動型zkSNARK証明フレームワーク(zQR)を構築した。
モバイルプラットフォーム上でのプライバシ保護検証のための概念実証フレームワークとしてのzQRの実現可能性を示す。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Privacy is one of the fundamental rights of individuals in modern societies. Yet, the practical adoption of privacy-preserving technologies in daily interactions remains limited. Zero-knowledge proofs offer strong privacy guarantees but are often hindered by their technical complexity. In this paper, we advance the idea of verifiable QR codes that enable off-line verifiers to verify proofs encoded in QR codes. Based on this core idea, we build a novel QR-driven zkSNARK proof verification framework (i.e., zQR) for mobile platforms. The framework integrates blockchain for auditability, non-repudiation and logging; and large-language models for automatic circuit generation. We perform a security discussion of the framework by considering multiple attack surfaces. Furthermore, we present an experimental evaluation measuring temporal costs (proof generation and verification latency, QR code encoding and decoding latency) and financial costs (blockchain gas consumption). Our results demonstrate the feasibility of zQR as a proof-of-concept framework for privacy-preserving verification on mobile platform where proofs are compactly represented with QR code symbol version of 19 with low error correction level. Finally, we discuss potential applications, current limitations and future directions for the broader adoption of privacy-preserving technologies in daily interactions.
- Abstract（参考訳）: プライバシーは現代社会における個人の基本的権利の1つである。
しかし、日々のやりとりにおけるプライバシー保護技術の実践的採用は依然として限られている。
ゼロ知識証明は強力なプライバシー保証を提供するが、しばしば技術的な複雑さによって妨げられる。
本稿では,オフライン検証によりQRコードに符号化された証明を検証できるQRコード検証のアイデアを前進させる。
このコアアイデアに基づいて,モバイルプラットフォーム用の新しいQR駆動型zkSNARK検証フレームワーク(zQR)を構築した。
このフレームワークは、監査性、非監査とロギングのためのブロックチェーンと、自動回路生成のための大規模モデルを統合する。
複数の攻撃面を考慮することで,フレームワークのセキュリティに関する議論を行う。
さらに,時間的コスト(生成・検証遅延,QRコード符号化・復号化遅延)と金融コスト(ブロックチェーンガス消費)を実験的に評価した。
本研究は, 誤り訂正レベルが低い19のQRコードシンボルバージョンで, 証明をコンパクトに表現するモバイルプラットフォーム上でのプライバシ保護検証のための概念実証フレームワークとして, zQRが実現可能であることを示す。
最後に、日々のインタラクションにおいてプライバシー保護技術を広く採用するための潜在的なアプリケーション、現在の制限、今後の方向性について論じる。
関連論文リスト
- Secure QR Codes: Authenticity Verification via EdDSA Signatures and CBOR Certificates [0.0]
セキュアQRコードアーキテクチャの包括的な進化を示す。
まず,EDDSAシグネチャを利用した完全オフライン概念実証の評価を行った。
次に、スケーラブルなハイブリッドWebPKIアーキテクチャを提案する。
論文 参考訳（メタデータ） (2026-07-09T12:02:47Z) - A Lightweight QR-assisted Zero-knowledge Identification Protocol For Secure Authentication [0.0]
本研究では,QRコードによるZero-Knowledge認証モデルを提案する。
このアプローチはSchnorr認証プロトコルに基づいており、リプレイ攻撃に対する追加のセキュリティ層を提供する。
論文 参考訳（メタデータ） (2026-05-16T09:58:54Z) - KVerus: Scalable and Resilient Formal Verification Proof Generation for Rust Code [15.778121969330476]
我々は、VerusベースのRust検証のための検索拡張システムであるKVerusを紹介する。
KVerusは、コードメタデータ、レムマセマンティクス、ツールチェーン仕様の動的知識ベースを構築する。
複雑なファイル間の依存関係をナビゲートして証明を合成し、共通の進化的変化に直面した時に自動的に証明を修正することができる。
論文 参考訳（メタデータ） (2026-05-05T14:50:24Z) - GoAT-X: A Graph of Auditing Thoughts for Securing Token Transactions in Cross-Chain Contracts [52.51342355102833]
マルチチェーンエコシステムの重要な基盤であるクロスチェーンブリッジは、攻撃者にとって主要なターゲットとなっている。
バイトコードレベルの静的解析のような既存の防御は、チェーン間の相互作用のセマンティックな複雑さを扱うには不十分である。
パターンマッチングから体系的な第一原理検証へ自動的なクロスチェーンスマートコントラクト監査を移行するフレームワークであるGoAT-Xを提案する。
論文 参考訳（メタデータ） (2026-04-27T11:34:21Z) - RealSec-bench: A Benchmark for Evaluating Secure Code Generation in Real-World Repositories [58.32028251925354]
LLM(Large Language Models)は、コード生成において顕著な能力を示しているが、セキュアなコードを生成する能力は依然として重要で、未調査の領域である。
我々はRealSec-benchを紹介します。RealSec-benchは、現実世界の高リスクなJavaリポジトリから慎重に構築されたセキュアなコード生成のための新しいベンチマークです。
論文 参考訳（メタデータ） (2026-01-30T08:29:01Z) - Robust Verification of Controllers under State Uncertainty via Hamilton-Jacobi Reachability Analysis [49.31947916567367]
Hamilton-Jacobi (J) リーチビリティ解析は、最悪の不確実性の下で最適なリーチビリティを計算できる一般的な非線形システムに対する一般的な形式的検証ツールである。
この作業は、HJローバーを介してRobust Verification Controllersのための、HJベースのリーチビリティベースのシステム検証フレームワークである。
本稿では,Ro-CoReの安全性検証とコントローラ設計のための新しい手法を提案する。
論文 参考訳（メタデータ） (2025-11-18T18:55:20Z) - ESTR-CoT: Towards Explainable and Accurate Event Stream based Scene Text Recognition with Chain-of-Thought Reasoning [57.767536707234036]
本稿では,イベントストリームシーンのテキスト認識フレームワークESTR-CoTを提案する。
具体的には、まず視覚エンコーダEVA-CLIPを採用し、入力イベントストリームをトークンに変換し、Llamaトークン化器を使用して与えられた生成プロンプトをエンコードする。
Qフォーマーは、事前訓練された大言語モデルVicuna-7Bにビジョントークンを整列させ、応答とチェーン・オブ・シークレット(CoT)推論プロセスの両方を同時に出力する。
論文 参考訳（メタデータ） (2025-07-02T23:41:31Z) - On Immutable Memory Systems for Artificial Agents: A Blockchain-Indexed Automata-Theoretic Framework Using ECDH-Keyed Merkle Chains [0.0]
本稿では,暗号的に固定された決定論的計算フレームワークであるMerkle Automatonの概念を紹介する。
各エージェントのトランジション、メモリフラグメント、推論ステップは、オンチェーンでルートされたMerkle構造内で実行される。
このアーキテクチャはメモリをキャッシュではなく台帳として再設定する - 内容がプロトコルによって強制され、暗号によって拘束され、形式論理によって制約される。
論文 参考訳（メタデータ） (2025-06-16T08:43:56Z) - Towards Credential-based Device Registration in DApps for DePINs with ZKPs [46.08150780379237]
ブロックチェーン上のデバイス認証を検証するクレデンシャルベースのデバイス登録(CDR)機構を提案する。
本稿では,Groth16 と Marlin を用いた zkSNARK を用いた汎用システムモデルを提案し,CDR を技術的に評価する。
論文 参考訳（メタデータ） (2024-06-27T09:50:10Z) - A Survey and Comparative Analysis of Security Properties of CAN Authentication Protocols [92.81385447582882]
コントロールエリアネットワーク(CAN)バスは車内通信を本質的に安全でないものにしている。
本稿では,CANバスにおける15の認証プロトコルをレビューし,比較する。
実装の容易性に寄与する本質的な運用基準に基づくプロトコルの評価を行う。
論文 参考訳（メタデータ） (2024-01-19T14:52:04Z) - Blockchain-based Zero Trust on the Edge [5.323279718522213]
本稿では,ブロックチェーンに拡張されたゼロトラストアーキテクチャ(ZTA)に基づく新たなアプローチを提案し,セキュリティをさらに強化する。
ブロックチェーンコンポーネントは、ユーザの要求を格納するための不変データベースとして機能し、潜在的に悪意のあるユーザアクティビティを分析して識別することで、信頼性を検証するために使用される。
スマートシティにおけるその実現可能性と適用性を検証するために,テストベッド上で実施したフレームワーク,アプローチのプロセス,実験について論じる。
論文 参考訳（メタデータ） (2023-11-28T12:43:21Z) - Post-Quantum VRF and its Applications in Future-Proof Blockchain System [13.386254282693335]
検証可能なランダム関数 (VRF) は、その出力の正当性に対する非対話的に公に検証可能な証明を提供する強力な擬似ランダム関数である。
対称鍵プリミティブを用いた単純なVRFソリューションから量子後VRFを得るための汎用コンパイラを提案する。
量子セキュアなVRF(quantum-secure decentralized random beacon)の潜在的な応用例を示す。
論文 参考訳（メタデータ） (2021-09-05T07:10:41Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。