論文の概要: Unconditionally Safe Light Client
- arxiv url: http://arxiv.org/abs/2405.01459v1
- Date: Thu, 2 May 2024 16:48:51 GMT
- ステータス: 処理完了
- システム内更新日: 2024-05-03 15:45:41.943261
- Title: Unconditionally Safe Light Client
- Title(参考訳): 無条件安全なライトクライアント
- Authors: Niusha Moshrefi, Peiyao Sheng, Soubhik Deb, Sreeram Kannan, Pramod Viswanath,
- Abstract要約: この作業は、Proof-of-Stake(PoS)ブロックチェーンのコンテキストにおける2つの重要な要件に対処することに焦点を当てている。
私たちはこの暗号通貨のセキュリティをライトクライアントに形式化し、ライトクライアントに提供するデータの破損コストが潜在的利益を上回ることを保証します。
我々は、ライトクライアントに「保険」暗号セキュリティを導入し、敵行為の帰属とそれに伴う利害の削減による無条件保護を提供する。
- 参考スコア(独自算出の注目度): 13.372646917172906
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Blockchain applications often rely on lightweight clients to access and verify on-chain data efficiently without the need to run a resource-intensive full node. These light clients must maintain robust security to protect the blockchain's integrity for users of applications built upon it, achieving this with minimal resources and without significant latency. Moreover, different applications have varying security needs. This work focuses on addressing these two key requirements in the context of Proof-of-Stake (PoS) blockchains and identifying the fundamental cost-latency trade-offs to achieve tailored, optimal security for each light client. The key security guarantee of PoS blockchains is economic (implied by the "stake"). In this paper we formalize this cryptoeconomic security to light clients, ensuring that the cost of corrupting the data provided to light clients must outweigh the potential profit, thereby economically deterring malicious actors. We further introduce "insured" cryptoeconomic security to light clients, providing unconditional protection via the attribution of adversarial actions and the consequent slashing of stakes. The divisible and fungible nature of stake facilitates programmable security, allowing for customization of the security level and insurance amount according to the specific needs of different applications. We implemented the protocols in less than 1000 lines of Solidity and TypeScript code and evaluated their gas cost, latency, and the computational overhead. For example, for a transaction with value of \$32k, the light client can choose between zero cost with a latency of 5 hours or instant confirmation with an insurance cost of \$7.45. Thus, the client can select the optimal point on the latency-cost trade-off spectrum that best aligns with its needs. Light clients require negligible storage and face minimal computational costs,...
- Abstract(参考訳): ブロックチェーンアプリケーションは、リソース集約フルノードを実行する必要なしに、オンチェーンデータにアクセスし、効率よく検証するために、軽量クライアントに依存することが多い。
これらの軽量クライアントは、その上に構築されたアプリケーションのユーザに対するブロックチェーンの整合性を保護するために、堅牢なセキュリティを維持しなければなりません。
さらに、異なるアプリケーションには様々なセキュリティニーズがある。
この作業は、Proof-of-Stake(PoS)ブロックチェーンのコンテキストにおけるこれら2つの重要な要件への対処と、各ライトクライアント用に調整された最適なセキュリティを実現するための基本的なコスト-レイテンシトレードオフの特定に重点を置いている。
PoSブロックチェーンの重要なセキュリティ保証は、経済的("Stake"によって実装される)である。
本稿では、この暗号セキュリティをライトクライアントに形式化し、ライトクライアントに提供するデータの破損コストが潜在的利益を上回ることを保証し、悪質なアクターを経済的に抑制する。
さらに、軽クライアントに「保険」暗号セキュリティを導入し、敵行為の帰属とそれに伴う利害の削減による無条件保護を提供します。
プログラム可能なセキュリティを促進し、異なるアプリケーションのニーズに応じて、セキュリティレベルと保険金額のカスタマイズを可能にする。
プロトコルを1000行未満のSolidityとTypeScriptコードで実装し、ガスコスト、レイテンシ、計算オーバーヘッドを評価しました。
例えば、32kの値を持つトランザクションの場合、ライトクライアントは、レイテンシが5時間あるゼロコストと、保険コストが7.45ドルである即時確認とを選択できる。
したがって、クライアントは、そのニーズに最も適したレイテンシコストのトレードオフスペクトルの最適点を選択することができる。
Lightクライアントは無視できるストレージを必要とし、最小の計算コストに直面している。
関連論文リスト
- Efficient and Universally Accessible Cross-Chain Options without Upfront Holder Collateral [3.5562096606353215]
本稿では,効率的なオプション取引のためのプロトコルを提案する。
当社のプロトコルの普遍性によって、textitany$のアセットに約$textitany$を含む、クロスチェーンオプションが2つの異なるブロックチェーンで可能になる。
オプションライターから保証を導入することで、我々のプロトコルは保持者から事前の担保の必要性を排除します。
論文 参考訳(メタデータ) (2024-10-21T07:43:20Z) - Practical Light Clients for Committee-Based Blockchains [1.437446768735628]
ほとんどのライトクライアントが1週間以上オフラインであることは滅多にありません。
軽クライアントのための最小限の通信コストと計算コストを実現する新しい実用システムを提案する。
論文 参考訳(メタデータ) (2024-10-04T12:09:07Z) - The Latency Price of Threshold Cryptosystem in Blockchains [52.359230560289745]
本稿では,Byzantine-fault Tolerant(BFT)コンセンサスプロトコルを用いた,しきい値暗号とブロックチェーンのクラス間の相互作用について検討する。
しきい値暗号システムに対する既存のアプローチは、しきい値暗号プロトコルを実行するための少なくとも1つのメッセージ遅延の遅延オーバーヘッドを導入している。
しきい値が狭いブロックチェーンネイティブのしきい値暗号システムに対して,このオーバーヘッドを取り除く機構を提案する。
論文 参考訳(メタデータ) (2024-07-16T20:53:04Z) - VELLET: Verifiable Embedded Wallet for Securing Authenticity and Integrity [0.6144680854063939]
本稿では,組込みウォレットの安全性を高めるための新しいプロトコルを提案する。
我々のVELLETプロトコルは、スマートコントラクト上で組込みウォレットの監査パスにマッチするウォレット検証を導入しています。
論文 参考訳(メタデータ) (2024-04-05T03:23:19Z) - 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) - Quantum Multi-Solution Bernoulli Search with Applications to Bitcoin's
Post-Quantum Security [67.06003361150228]
作業の証明(英: proof of work、PoW)は、当事者が計算タスクの解決にいくらかの労力を費やしたことを他人に納得させることができる重要な暗号構造である。
本研究では、量子戦略に対してそのようなPoWの連鎖を見つけることの難しさについて検討する。
我々は、PoWs問題の連鎖が、マルチソリューションBernoulliサーチと呼ばれる問題に還元されることを証明し、量子クエリの複雑さを確立する。
論文 参考訳(メタデータ) (2020-12-30T18:03:56Z) - Blockchain Assisted Decentralized Federated Learning (BLADE-FL) with
Lazy Clients [124.48732110742623]
フェデレートラーニング(FL)にブロックチェーンを統合する新しいフレームワークを提案する。
BLADE-FLは、プライバシー保護、改ざん抵抗、学習の効果的な協力の点で優れたパフォーマンスを持っている。
遅延クライアントは、他人のトレーニングされたモデルを盗聴し、不正行為を隠すために人工的なノイズを加える。
論文 参考訳(メタデータ) (2020-12-02T12:18:27Z) - Towards Bidirectional Protection in Federated Learning [70.36925233356335]
F2ED-LEARNINGは、悪意のある集中型サーバとビザンティンの悪意のあるクライアントに対して双方向の防御を提供する。
F2ED-LEARNINGは各シャードの更新を安全に集約し、異なるシャードからの更新に対してFilterL2を起動する。
評価の結果,F2ED-LEARNing は最適あるいは最適に近い性能が得られることがわかった。
論文 参考訳(メタデータ) (2020-10-02T19:37:02Z) - FastSecAgg: Scalable Secure Aggregation for Privacy-Preserving Federated
Learning [18.237186837994585]
セキュアアグリゲーション'プロトコルは、サーバがクライアントのモデルをプライバシ保護方法で集約することを可能にする。
FastSecAggは計算と通信の面で効率的であり、クライアントのドロップアウトに対して堅牢である。
論文 参考訳(メタデータ) (2020-09-23T16:49:02Z) - Security Limitations of Classical-Client Delegated Quantum Computing [54.28005879611532]
クライアントは、古典的なチャネルを使用して量子状態をリモートで準備する。
サブモジュールとして$RSP_CC$を採用することで生じるプライバシ損失は、不明である。
特定の$RSP_CC$プロトコルは、少なくともいくつかのコンテキストにおいて量子チャネルを置き換えることができることを示す。
論文 参考訳(メタデータ) (2020-07-03T13:15:13Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。