論文の概要: Zero Knowledge Proof for Multiple Sequence Alignment

• arxiv url: http://arxiv.org/abs/2404.19064v1
• Date: Mon, 29 Apr 2024 19:11:37 GMT
• ステータス: 処理完了
• システム内更新日: 2024-05-01 18:10:13.503863
• Title: Zero Knowledge Proof for Multiple Sequence Alignment
• Title（参考訳）: 複数シーケンスアライメントのためのゼロ知識証明
• Authors: Worasait Suwannik,
• Abstract要約: 多重配列アライメント(MSA)はバイオインフォマティクスの基本的なアルゴリズムである。 本稿では,入力シーケンスとアライメントの整合性をチェックする。 回路とその入力に対して暗号証明を生成する。
• 参考スコア（独自算出の注目度）: 0.0
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: Multiple sequence alignment (MSA) is a fundamental algorithm in bioinformatics. In a situation when the alignment might need to be protected while revealing the other information such the input sequences and the alignment score, zero knowledge proof can be used. In this paper, a validator checks the consistency between the input sequence and the alignment, and between the alignment and the alignment score. The validator is written in Circom language which will be compile into a circuit. Using a zero knowledge prove system called zkSNARK, a cryptographic proof is generates for the circuit and its input. This proof demonstrates that all inputs are consistent without revealing the actual alignment.
• Abstract（参考訳）: 多重配列アライメント(MSA)はバイオインフォマティクスの基本的なアルゴリズムである。 入力シーケンスやアライメントスコアなどの他の情報を開示しながらアライメントを保護する必要がある場合、ゼロ知識証明を用いることができる。 本稿では,入力シーケンスとアライメントの整合性,アライメントとアライメントスコアの整合性をチェックする。 バリデーターはCircom言語で書かれており、サーキットにコンパイルされる。 zkSNARKと呼ばれるゼロ知識証明システムを用いて、回路とその入力に対して暗号証明を生成する。 この証明は、全ての入力が実際のアライメントを明らかにすることなく一貫したものであることを示す。

関連論文リスト

• The Conformer Encoder May Reverse the Time Dimension [53.9351497436903]
  我々はデコーダのクロスアテンション機構の初期動作を分析し、コンバータエンコーダの自己アテンションが初期フレームと他のすべての情報フレームとの接続を構築することを奨励することを発見した。 本稿では,このフリップを回避する方法とアイデアを提案する。
  論文  参考訳（メタデータ） (2024-10-01T13:39:05Z)
• SNIP: Speculative Execution and Non-Interference Preservation for Compiler Transformations [0.15800607910450126]
  投機的意味論に基づくコンパイラ変換における非干渉保存の問題に対処する。 我々は,すべてのソースプログラムに対して一様に保存を保証できる検証方法を開発した。
  論文  参考訳（メタデータ） (2024-07-21T07:30:30Z)
• Bisimulation Learning [55.859538562698496]
  我々は、大きな、潜在的に無限の状態空間を持つ状態遷移系の有限バイシミュレートを計算する。 提案手法は,実際に行われている他の最先端ツールよりも高速な検証結果が得られる。
  論文  参考訳（メタデータ） (2024-05-24T17:11:27Z)
• Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming [8.34623776815378]
  我々は600K行のオープンソースF*プログラムと証明のデータセットをキュレートする。 このデータセットには、Windows、Linux、Python、Firefoxなど、プロダクションシステムで使用されるソフトウェアが含まれている。 我々は,AIを用いてプログラムとその証明をF*で合成し,有望な結果を得る。
  論文  参考訳（メタデータ） (2024-05-03T00:14:33Z)
• Error Correction Capabilities of Non-Linear Cryptographic Hash Functions [56.368766255147555]
  線形ハッシュは誤り訂正能力を有することが知られている。 ほとんどのアプリケーションでは、擬似ランダム出力を持つ非線形ハッシュが代わりに使用される。 また,非線形ハッシュは誤り訂正能力に優れる可能性が示唆された。
  論文  参考訳（メタデータ） (2024-05-02T17:26:56Z)
• Stabilizer circuit verification [0.0]
  そこで本研究では,安定化回路の完全特徴化と完全検証を行うための,一組の効率的な古典アルゴリズムを提案する。 安定化回路の等価性をチェックするアルゴリズムを提案する。 全てのアルゴリズムは、対応する回路表現間の測定結果の関係を提供する。
  論文  参考訳（メタデータ） (2023-09-15T18:06:17Z)
• Context Perception Parallel Decoder for Scene Text Recognition [52.620841341333524]
  シーンテキスト認識手法は高い精度と高速な推論速度を達成するのに苦労している。 本稿では、STRにおけるARデコーディングの実証的研究を行い、ARデコーダが言語文脈をモデル化するだけでなく、視覚的文脈知覚のガイダンスも提供することを明らかにする。 我々は一連のCPPDモデルを構築し、提案したモジュールを既存のSTRデコーダにプラグインする。英語と中国語のベンチマーク実験により、CPPDモデルはARベースモデルよりも約8倍高速に動作し、高い競争精度を達成できることを示した。
  論文  参考訳（メタデータ） (2023-07-23T09:04:13Z)
• Quantum Logspace Computations are Verifiable [7.510385608531827]
  BQLのすべての言語は検証可能なログスペース証明器と古典的な検証器を持っている。 検証は$O(log n)$ランダムビットのみを使用する。
  論文  参考訳（メタデータ） (2023-07-20T17:58:05Z)
• BLISS: Robust Sequence-to-Sequence Learning via Self-Supervised Input Representation [92.75908003533736]
  本稿では,自己教師型入力表現を用いたフレームワークレベルの頑健なシーケンス・ツー・シーケンス学習手法BLISSを提案する。 我々は,機械翻訳,文法的誤り訂正,テキスト要約など,BLISSの様々なタスクにおける有効性を検証するための総合的な実験を行った。
  論文  参考訳（メタデータ） (2022-04-16T16:19:47Z)
• Auditing AI models for Verified Deployment under Semantic Specifications [65.12401653917838]
  AuditAIは、解釈可能な形式検証とスケーラビリティのギャップを埋める。 AuditAIは、画素空間の摂動のみを用いた検証の限界に対処しながら、検証と認定トレーニングのための制御されたバリエーションを得られるかを示す。
  論文  参考訳（メタデータ） (2021-09-25T22:53:24Z)
• Stochastic L-system Inference from Multiple String Sequence Inputs [1.8655840060559168]
  リンデンマイヤーシステム(Lindenmayer System、L-systems)は、文字列書き換え規則からなる文法体系である。 本稿では,文字列列を入力として与えられたL-システムの自動探索手法を提案する。
  論文  参考訳（メタデータ） (2020-01-29T16:11:02Z)

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

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