Fugu-MT 論文翻訳(概要): Servicifying zk-SNARKs Execution for Verifiable Off-chain Computations

論文の概要: Servicifying zk-SNARKs Execution for Verifiable Off-chain Computations

arxiv url: http://arxiv.org/abs/2404.16915v1
Date: Thu, 25 Apr 2024 15:41:17 GMT
ステータス: 処理完了
システム内更新日: 2024-04-29 14:54:11.623591
Title: Servicifying zk-SNARKs Execution for Verifiable Off-chain Computations
Title（参考訳）: 検証オフチェーン計算のためのzk-SNARKの実行
Authors: Alvaro Alonso Domenech, Jonathan Heiss, Stefan Tai,
Abstract要約: VOCベースのソリューションにおけるポータビリティ、相互運用性、管理性の必要性を強調します。クラウドを活用したzk-SNARKを生成するためのスケーラブルで再利用可能なソリューションを提供するために設計されたProving Serviceを紹介します。
参考スコア（独自算出の注目度）: 0.0
License: http://creativecommons.org/licenses/by-sa/4.0/
Abstract: Zk-SNARKs help scale blockchains with Verifiable Off-chain Computations (VOC). zk-SNARK DSL toolkits are key when designing arithmetic circuits but fall short of automating the subsequent proof-generation step in an automated manner. We emphasize the need for portability, interoperability, and manageability in VOC-based solutions and introduce a Proving Service that is designed to provide a scalable and reusable solution for generating zk-SNARK proofs leveraging clouds.
Abstract（参考訳）: Zk-SNARKは、検証可能なオフチェーン計算(VOC)によるブロックチェーンのスケールアップを支援する。 zk-SNARK DSLツールキットは算術回路を設計する際の鍵であるが、その後の証明生成ステップを自動で自動化するには不足している。我々は、VOCベースのソリューションにおけるポータビリティ、相互運用性、管理性の必要性を強調し、クラウドを活用したzk-SNARK証明を生成するためのスケーラブルで再利用可能なソリューションを提供するように設計されたProperving Serviceを導入する。

関連論文リスト

Digital Twin-Assisted Federated Learning with Blockchain in Multi-tier Computing Systems [67.14406100332671]
産業用 4.0 システムでは、リソース制約のあるエッジデバイスが頻繁にデータ通信を行う。本稿では,デジタルツイン (DT) とフェデレーション付きデジタルツイン (FL) 方式を提案する。提案手法の有効性を数値解析により検証した。
論文参考訳（メタデータ） (2024-11-04T17:48:02Z)
Communication-Control Codesign for Large-Scale Wireless Networked Control Systems [80.30532872347668]
無線ネットワーク制御システム(Wireless Networked Control Systems, WNCS)は、ドローン群や自律ロボットなどのアプリケーションにおいて柔軟な制御を可能にする産業用4.0に必須である。本稿では,マルチ状態マルコフブロックフェーディングチャネル上で限られた無線リソースを共有するセンサやアクチュエータを用いて,複数の制御ループ間の相関ダイナミクスを捕捉する実用的WNCSモデルを提案する。本研究では,ハイブリッドな動作空間を効率的に処理し,通信制御の相関関係を捉え,疎域変数や浮動小数点制御の入力に拘わらず堅牢なトレーニングを確実にするDeep Reinforcement Learning (DRL)アルゴリズムを開発した。
論文参考訳（メタデータ） (2024-10-15T06:28:21Z)
Cooperative Cognitive Dynamic System in UAV Swarms: Reconfigurable Mechanism and Framework [80.39138462246034]
UAVスワムの管理を最適化するための協調認知力学システム(CCDS)を提案する。 CCDSは階層的かつ協調的な制御構造であり、リアルタイムのデータ処理と意思決定を可能にする。さらに、CCDSは、UAVスワムのタスクを効率的に割り当てるための生体模倣機構と統合することができる。
論文参考訳（メタデータ） (2024-05-18T12:45:00Z)
HOACS: Homomorphic Obfuscation Assisted Concealing of Secrets to Thwart Trojan Attacks in COTS Processor [0.6874745415692134]
ハードウェアトロイの木馬に対する秘密資産の機密性を確保するためのソフトウェア指向の対策を提案する。提案したソリューションは、サプライチェーンエンティティを信頼する必要はなく、IC設計の分析や修正を必要としない。我々は,AES(Advanced Encryption Standard)プログラムで秘密鍵を保護するために提案手法を実装し,詳細なセキュリティ分析を行った。
論文参考訳（メタデータ） (2024-02-15T04:33:30Z)
Iteration-Dependent Scaled Min-Sum Decoding for Low-Complexity Key Reconciliation in CV-QKD [6.30926369395004]
CV-QKDの低レートLDPC符号に対する繰り返し依存性のスケールド・ミンサムデコードを導入し,複雑性を低減したニアサム製品アルゴリズムの性能を実現し,CV-QKDハードウェアの実装を容易にする。
論文参考訳（メタデータ） (2023-12-19T12:48:30Z)
Quantum Multi-Agent Actor-Critic Networks for Cooperative Mobile Access in Multi-UAV Systems [12.850810725666465]
本稿では,ロバストなモバイルアクセスシステムを構築するために,量子マルチエージェントアクタクリティカルネットワーク(QMACN)という新しいアルゴリズムを提案する。量子コンピューティング(QC)の原理は、関連するUAVのトレーニングプロセスと推論能力を高めるために、我々の研究で採用されている。
論文参考訳（メタデータ） (2023-02-09T05:31:57Z)
Improved coherent one-way quantum key distribution for high-loss channels [0.0]
我々はCOW-QKDの単純な変種を示し、そのセキュリティを無限鍵極限で証明する。注目すべきことに、このプロトコルの鍵レートは、既存のCOW-QKD鍵レートとコヒーレントステートBB84プロトコルの鍵レートに匹敵する。
論文参考訳（メタデータ） (2022-06-17T00:07:03Z)
Optimizing Tensor Network Contraction Using Reinforcement Learning [86.05566365115729]
本稿では,グラフニューラルネットワーク(GNN)と組み合わせた強化学習(RL)手法を提案する。この問題は、巨大な検索スペース、重い尾の報酬分布、そして困難なクレジット割り当てのために非常に難しい。 GNNを基本方針として利用するRLエージェントが,これらの課題にどのように対処できるかを示す。
論文参考訳（メタデータ） (2022-04-18T21:45:13Z)
An Adaptive Device-Edge Co-Inference Framework Based on Soft Actor-Critic [72.35307086274912]
高次元パラメータモデルと大規模数学的計算は、特にIoT(Internet of Things)デバイスにおける実行効率を制限する。本稿では,ソフトポリシーの繰り返しによるエフェキシット点,エフェキシット点,エンフェキシット点を生成する離散的(SAC-d)のための新しい深層強化学習(DRL)-ソフトアクタ批判法を提案する。レイテンシと精度を意識した報酬設計に基づいて、そのような計算は動的無線チャンネルや任意の処理のような複雑な環境によく適応でき、5G URLをサポートすることができる。
論文参考訳（メタデータ） (2022-01-09T09:31:50Z)
Practical continuous-variable quantum key distribution with composable security [1.3255208832359193]
コヒーレントな状態に基づく連続可変(CV)QKDは、通信インフラの統合に適した候補であるにもかかわらず、これまでは構成可能性を示すことができなかった。我々は,これらの課題を克服し,N lesssim 3.5times108$ コヒーレントステートを用いた集団攻撃に対して,構成可能なキーを生成可能な,最初のガウス変調型コヒーレントステートCVQKDシステムについて報告する。
論文参考訳（メタデータ） (2021-10-18T13:01:45Z)
Safe RAN control: A Symbolic Reinforcement Learning Approach [62.997667081978825]
本稿では,無線アクセスネットワーク(RAN)アプリケーションの安全管理のためのシンボル強化学習(SRL)アーキテクチャを提案する。我々は、ユーザが所定のセルネットワークトポロジに対して高レベルの論理的安全性仕様を指定できる純粋に自動化された手順を提供する。ユーザがシステムに意図仕様を設定するのを支援するために開発されたユーザインターフェース(UI)を導入し、提案するエージェントの動作の違いを検査する。
論文参考訳（メタデータ） (2021-06-03T16:45:40Z)

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