論文の概要: ESSPI: ECDSA/Schnorr Signed Program Input for BitVMX

• arxiv url: http://arxiv.org/abs/2503.02772v1
• Date: Tue, 04 Mar 2025 16:40:55 GMT
• ステータス: 翻訳完了
• システム内更新日: 2025-03-05 19:12:44.342772
• Title: ESSPI: ECDSA/Schnorr Signed Program Input for BitVMX
• Title（参考訳）: ESSPI: ECDSA/Schnorr Signed Program Input for BitVMX
• Authors: Sergio Demian Lerner, Martin Jonas, Ariel Futoransky,
• Abstract要約: 本稿では,ECDSA/Schnorrシグネチャを最適化してBitVMXプログラム入力に署名するESSPIを紹介する。 ウィンターニッツ符号に基づく現在の最高比1:200と比較して,最適な1:1データ拡張を実現する。
• 参考スコア（独自算出の注目度）: 0.0
• License:
• Abstract: The BitVM and BitVMX protocols have long relied on inefficient one-time signature (OTS) schemes like Lamport and Winternitz for signing program inputs. These schemes exhibit significant storage overheads, hindering their practical application. This paper introduces ESSPI, an optimized method leveraging ECDSA/Schnorr signatures to sign the BitVMX program input. With Schnorr signatures we achieve an optimal 1:1 data expansion, compared to the current known best ratio of 1:200 based on Winternitz signatures. To accomplish this we introduce 4 innovations to BitVMX: (1) a modification of the BitVMX CPU, adding a challengeable hashing core to it, (2) a new partition-based search to detect fraud during hashing, (3) a new enhanced transaction DAG with added data-carrying transactions with a fraud-verifying smart-contract and (4) a novel timelock-based method for proving data availability to Bitcoin smart contracts. The enhanced BitVMX protocol enables the verification of uncompressed inputs such as SPV proofs, NiPoPoWs, or longer computation integrity proofs, such as STARKs.
• Abstract（参考訳）: BitVMとBitVMXプロトコルは長い間、ランポートやウィンターニッツのような非効率的なワンタイムシグネチャ(OTS)方式をプログラム入力に頼ってきた。 これらのスキームは大きなストレージオーバーヘッドを示し、その実用性を妨げている。 本稿では,ECDSA/Schnorrシグネチャを最適化してBitVMXプログラム入力に署名するESSPIを紹介する。 Schnorrシグネチャは、現在知られているウィンターニッツシグネチャに基づく1:200の最高比と比較して、最適な1:1データ拡張を実現する。 これを実現するために,BitVMXには,(1)BitVMX CPUの修正,挑戦可能なハッシュコアの追加,(2)ハッシュ中の不正検出のためのパーティションベースの新たな検索,(3)不正検証スマートコントラクトによるデータキャリングトランザクションの追加,(4)Bitcoinスマートコントラクトに対するデータ可用性を証明する新たなタイムロックベースの方法,の4つのイノベーションを紹介する。 拡張されたBitVMXプロトコルは、SPV証明、NiPoPoW、STARKのようなより長い計算完全性証明などの非圧縮入力の検証を可能にする。

関連論文リスト

• Bitnet.cpp: Efficient Edge Inference for Ternary LLMs [71.5759603658299]
  我々はBitNet b1.58と3次LLM向けに最適化された推論システムBitnetを紹介する。 Bitnetは、新しいmpGEMMライブラリを組み込んで、サブ-2ビット毎の軽量、効率的、損失のない推論を容易にする。 我々の実験は、Bitnetが全精度ベースラインで最大6.25倍、低ビットベースラインで最大2.32倍の速度を達成することを示した。
  論文  参考訳（メタデータ） (2025-02-17T15:06:28Z)
• Stateful Hash-Based Signature (SHBS) Benchmark Data for XMSS and LMS [1.2835555561822447]
  NISTは、量子コンピュータを使用する将来の脅威から保護を必要とする可能性のある長期的なアプリケーションにステートフルなハッシュベースのデジタルシグネチャを使用することを推奨している。 XMSSとLMSは、デジタル署名サイズ、公開鍵サイズ、キーペアの寿命を通じて生成できる署名の数、および署名を検証するための計算努力に影響を与える複数のパラメータオプションを持っている。 このベンチマークデータの収集は、システム設計者が設定オプションの違いを理解するのを支援することを目的としている。
  論文  参考訳（メタデータ） (2025-02-09T21:14:17Z)
• Fast Low Level Disk Encryption Using FPGAs [1.7749342709605145]
  固定長調整可能な暗号化方式(TES)は、低レベルディスク暗号化に適した暗号化機能である。 本稿では, AEZ と FAST の 2 つの最新かつ有望な TES のFPGA 実装について考察する。
  論文  参考訳（メタデータ） (2024-08-26T08:57:02Z)
• Scalable Zero-Knowledge Proofs for Verifying Cryptographic Hashing in Blockchain Applications [16.72979347045808]
  ゼロ知識証明(ZKP)は、現代のブロックチェーンシステムのスケーラビリティ問題に対処するための、有望なソリューションとして登場した。 本研究では,暗号ハッシュの計算完全性を保証するため,ZKPの生成と検証を行う手法を提案する。
  論文  参考訳（メタデータ） (2024-07-03T21:19:01Z)
• BitVMX: A CPU for Universal Computation on Bitcoin [0.31457219084519]
  BitVMXは、Bitcoin上で楽観的に任意のプログラムを実行する仮想CPUの新しい設計である。 私たちの最先端技術への貢献は、プログラムトレースのハッシュチェーン、メモリマップレジスタ、新しいチャレンジ-レスポンスプロトコルを使った設計です。
  論文  参考訳（メタデータ） (2024-05-10T22:41:23Z)
• CryptoBap: A Binary Analysis Platform for Cryptographic Protocols [6.514727189942011]
  暗号プロトコルの弱い秘密と認証を検証するプラットフォームであるCryptoBapを紹介する。 まずプロトコルのバイナリを中間表現に変換し、次に暗号対応のシンボル実行を実行する。 提案手法の健全性を実証し,CryptoBapを用いて,おもちゃの例から実世界のプロトコルまで,複数のケーススタディを検証した。
  論文  参考訳（メタデータ） (2023-08-28T09:41:45Z)
• SegViTv2: Exploring Efficient and Continual Semantic Segmentation with Plain Vision Transformers [76.13755422671822]
  本稿では,エンコーダ・デコーダ・フレームワークを用いた意味的セグメンテーションのためのプレーンビジョン変換器(ViT)の能力について検討する。 Intention-to-Mask(atm)モジュールを導入し、平易なViTに有効な軽量デコーダを設計する。 我々のデコーダは、様々なViTバックボーンを使用して人気のあるデコーダUPerNetより優れ、計算コストの5%程度しか消費しない。
  論文  参考訳（メタデータ） (2023-06-09T22:29:56Z)
• Quick Adaptive Ternary Segmentation: An Efficient Decoding Procedure For Hidden Markov Models [70.26374282390401]
  ノイズの多い観測から元の信号(すなわち隠れ鎖)を復号することは、ほぼすべてのHMMに基づくデータ分析の主要な目標の1つである。 本稿では,多対数計算複雑性において隠れた列を復号化するための分法であるQuick Adaptive Ternary(QATS)を提案する。
  論文  参考訳（メタデータ） (2023-05-29T19:37:48Z)
• SegNeXt: Rethinking Convolutional Attention Design for Semantic Segmentation [100.89770978711464]
  セマンティックセグメンテーションのための単純な畳み込みネットワークアーキテクチャであるSegNeXtを提案する。 コンボリューションアテンションは、トランスフォーマーの自己認識メカニズムよりも、文脈情報をエンコードするより効率的で効果的な方法であることを示す。
  論文  参考訳（メタデータ） (2022-09-18T14:33:49Z)
• Towards Semantic Communication Protocols: A Probabilistic Logic Perspective [69.68769942563812]
  我々は,NPMを確率論理型言語ProbLogで記述された解釈可能なシンボルグラフに変換することによって構築された意味プロトコルモデル(SPM)を提案する。 その解釈性とメモリ効率を利用して、衝突回避のためのSPM再構成などのいくつかの応用を実演する。
  論文  参考訳（メタデータ） (2022-07-08T14:19:36Z)
• Quantized Neural Networks via {-1, +1} Encoding Decomposition and Acceleration [83.84684675841167]
  本稿では,量子化されたニューラルネットワーク(QNN)をマルチブランチバイナリネットワークに分解するために,-1,+1を用いた新しい符号化方式を提案する。 本稿では,大規模画像分類,オブジェクト検出,セマンティックセグメンテーションにおける提案手法の有効性を検証する。
  論文  参考訳（メタデータ） (2021-06-18T03:11:15Z)

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

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