論文の概要: Enhancing Ethereum's Security with LUMEN, a Novel Zero-Knowledge Protocol Generating Transparent and Efficient zk-SNARKs
- arxiv url: http://arxiv.org/abs/2312.14159v1
- Date: Fri, 10 Nov 2023 16:53:49 GMT
- ステータス: 処理完了
- システム内更新日: 2024-03-18 11:38:03.609436
- Title: Enhancing Ethereum's Security with LUMEN, a Novel Zero-Knowledge Protocol Generating Transparent and Efficient zk-SNARKs
- Title(参考訳): EthereumのセキュリティをLUMENで強化する - 透明かつ効率的なzk-SNARKを生成する新しいゼロ知識プロトコル
- Authors: Yunjia Quan,
- Abstract要約: 本稿では,zk-SNARKを効率よく,透過的にコンパイルする新しい対話型オラクル証明プロトコルを提案する。
現在使用されているzk-SNARKは信頼性の高いセットアップセレモニーに依存しており、参加者のグループはトランザクションに関する秘密情報を使用して、zk-SNARKを検証するのに必要な公開パラメータを生成する。
私の実装では、既存の透明zk-SNARKの効率を超え、透明でないzk-SNと同等のLUMEN(証明サイズ、証明時間、検証時間)の効率が明らかにされた。
- 参考スコア(独自算出の注目度): 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: This paper proposes a novel recursive polynomial commitment scheme (PCS) and a new polynomial interactive oracle proof (PIOP) protocol, which compile into efficient and transparent zk-SNARKs (zero-knowledge succinct non-interactive arguments of knowledge). The Ethereum blockchain utilizes zero-knowledge Rollups (ZKR) to improve its scalability (the ability to handle a large number of transactions), and ZKR uses zk-SNARKs to validate transactions. The currently used zk-SNARKs rely on a trusted setup ceremony, where a group of participants uses secret information about transactions to generate the public parameters necessary to verify the zk-SNARKs. This introduces a security risk into Ethereum's system. Thus, researchers have been developing transparent zk-SNARKs (which do not require a trusted setup), but those are not as efficient as non-transparent zk-SNARKs, so ZKRs do not use them. In this research, I developed LUMEN, a set of novel algorithms that generate transparent zk-SNARKs that improve Ethereum's security without sacrificing its efficiency. Various techniques were creatively incorporated into LUMEN, including groups with hidden orders, Lagrange basis polynomials, and an amortization strategy. I wrote mathematical proofs for LUMEN that convey its completeness, soundness and zero-knowledgeness, and implemented LUMEN by writing around $8000$ lines of Rust and Python code, which conveyed the practicality of LUMEN. Moreover, my implementation revealed the efficiency of LUMEN (measured in proof size, proof computation time, and verification time), which surpasses the efficiency of existing transparent zk-SNARKs and is on par with that of non-transparent zk-SNARKs. Therefore, LUMEN is a promising solution to improve Ethereum's security while maintaining its efficiency.
- Abstract(参考訳): 本稿では、新しい再帰多項式コミットメントスキーム(PCS)と新しい多項式対話型オラクル証明(PIOP)プロトコルを提案する。
Ethereumブロックチェーンはゼロ知識ロールアップ(ZKR)を使用してスケーラビリティ(多数のトランザクションを処理する能力)を改善し、ZKRはZk-SNARKを使用してトランザクションを検証する。
現在使用されているzk-SNARKは信頼性の高いセットアップセレモニーに依存しており、参加者のグループはトランザクションに関する秘密情報を使用して、zk-SNARKを検証するのに必要な公開パラメータを生成する。
これはEthereumのシステムにセキュリティリスクをもたらす。
このように、研究者は透明なzk-SNARK(信頼性の高いセットアップを必要としない)を開発してきたが、それらは非透明なzk-SNARKほど効率的ではないため、ZKRはそれを使わない。
本研究では,イーサリアムの安全性を向上させるために,その効率を犠牲にすることなく,透明なzk-SNARKを生成する新しいアルゴリズムであるLUMENを開発した。
LUMENには、隠された順序を持つグループ、ラグランジュ基底多項式、そして償却戦略を含む様々な技術が創造的に取り入れられた。
LUMENの完全性、健全性、ゼロ知識を伝達する数学的証明を書き、約8000ドルのRustとPythonのコードを書き、LUMENの実用性を伝えることでLUMENを実装しました。
さらに, 既存の透明zk-SNARKの効率を超越し, 非透明zk-SNARKの効率に匹敵するLUMEN(証明サイズ, 証明計算時間, 検証時間)の効率を明らかにした。
したがって、LUMENはその効率を維持しながらEthereumのセキュリティを改善するための有望なソリューションである。
関連論文リスト
- Hierarchical Context Merging: Better Long Context Understanding for Pre-trained LLMs [61.40047491337793]
本稿では,大規模言語モデルの制約を克服する新しいトレーニングフリースキームである階層型cOntext MERging(HOMER)を提案する。
HomeRは、長いインプットを管理可能なチャンクに分割する、分別/対数アルゴリズムを使用する。
トークン削減技術がマージ毎に先行し、メモリ使用効率が保証される。
論文 参考訳(メタデータ) (2024-04-16T06:34:08Z) - Towards a zk-SNARK compiler for Wolfram language [0.0]
このプロジェクトはWolframのZeroKnowledgeProofs paclet上に構築され、Pinocchioプロトコルに基づいたzk-SNARKコンパイラを実装している。
インタラクティブな証明はブロックチェーンアプリケーションには適していないが、zk-SNARKのような新しいプロトコルはZcashのようなゼロ知識の台帳を可能にする。
論文 参考訳(メタデータ) (2024-01-05T18:24:32Z) - Neuro-Symbolic Integration Brings Causal and Reliable Reasoning Proofs [102.00359477458029]
本稿では,ニューラル・シンボリック統合法について述べる。
LLMフリーのシンボリック・ソルバを用いて、知識を用いた熟考的推論を行う。
論文 参考訳(メタデータ) (2023-11-16T11:26:21Z) - RecAGT: Shard Testable Codes with Adaptive Group Testing for Malicious Nodes Identification in Sharding Permissioned Blockchain [8.178194928962311]
本稿では,通信オーバヘッドの低減と潜在的な悪意のあるノードの特定を目的とした新しい識別手法であるRecAGTを提案する。
まず、シャードテスト可能なコードは、機密データが漏洩した場合に元のデータをエンコードするように設計されている。
第二に、悪意のある行動に対する証拠として、新しいアイデンティティ証明プロトコルが提示される。
第3に、悪意のあるノードを特定するために適応的なグループテストが選択される。
論文 参考訳(メタデータ) (2023-11-05T07:43:48Z) - SOCI^+: An Enhanced Toolkit for Secure OutsourcedComputation on Integers [50.608828039206365]
本稿では,SOCIの性能を大幅に向上させるSOCI+を提案する。
SOCI+は、暗号プリミティブとして、高速な暗号化と復号化を備えた(2, 2)ホールドのPaillier暗号システムを採用している。
実験の結果,SOCI+は計算効率が最大5.4倍,通信オーバヘッドが40%少ないことがわかった。
論文 参考訳(メタデータ) (2023-09-27T05:19:32Z) - RiDDLE: Reversible and Diversified De-identification with Latent
Encryptor [57.66174700276893]
本研究は、Reversible and Diversified De-identification with Latent Encryptorの略であるRiDDLEを提示する。
事前に学習したStyleGAN2ジェネレータ上に構築されたRiDDLEは、潜伏空間内の顔のアイデンティティを暗号化して復号する。
論文 参考訳(メタデータ) (2023-03-09T11:03:52Z) - ByzSecAgg: A Byzantine-Resistant Secure Aggregation Scheme for Federated
Learning Based on Coded Computing and Vector Commitment [90.60126724503662]
ByzSecAggは、フェデレートラーニングのための効率的なセキュアアグリゲーションスキームである。
ByzSecAggは、ビザンツの攻撃やプライバシーの漏洩から保護されている。
論文 参考訳(メタデータ) (2023-02-20T11:15:18Z) - ACon$^2$: Adaptive Conformal Consensus for Provable Blockchain Oracles [31.439376852065713]
スマートコントラクトのパワーはオフチェーンデータとのインタラクションによって実現され、それによってブロック状態の一貫性を損なう可能性がある。
適応型コンセンサス(ACon$2$)アルゴリズムを提案し,複数のオラクル契約からコンセンサスを導出する。
特に、提案アルゴリズムは、データの不確実性を定量化し、所望の正確性を保証するコンセンサスセットを返す。
論文 参考訳(メタデータ) (2022-11-17T04:37:24Z) - Efficient quantum non-fungible tokens for blockchain [0.0]
非偽造トークン(NFT)は、ブロックチェーン技術の最高の特性を統合して、ユニークでボナフィドトークンを提供する。
現在の古典的NFTは、鉱業の消費力と安全保障の欠如に関する高コストに悩まされている。
そこで本稿では,NFTを表す量子状態がブロックチェーン上に実装され,物理的に所有者に渡されるのではなく,量子不能なトークンを作成するための新しいプロトコルを提案する。
論文 参考訳(メタデータ) (2022-09-02T13:36:55Z) - 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) - ESCORT: Ethereum Smart COntRacTs Vulnerability Detection using Deep
Neural Network and Transfer Learning [80.85273827468063]
既存の機械学習ベースの脆弱性検出方法は制限され、スマートコントラクトが脆弱かどうかのみ検査される。
スマートコントラクトのための初のDeep Neural Network(DNN)ベースの脆弱性検出フレームワークであるESCORTを提案する。
ESCORTは6種類の脆弱性に対して平均95%のF1スコアを達成し,検出時間は契約あたり0.02秒であることを示す。
論文 参考訳(メタデータ) (2021-03-23T15:04:44Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。