IOGの251個の論文まとめ(高校生レベル説明付き!) 💪

詳細、正確にはこちらを参照してください!

Title まとめ 高校レベルの概要
Bringing Down the Complexity: Fast Composable Protocols for Card Games Without Secret State 本論文では、プレイヤーが秘密状態を維持する必要のない、マルチパーティカードゲーム向けの効率的な暗号プロトコルを提案する。また、証明可能な安全性と効率性を備えたプロトコルを構築するための新たなフレームワークも紹介する。これらの手法は、ゲームにおける公平性を実現するCardanoのようなブロックチェーンスマートコントラクトを含む、分散型アプリケーションに適用可能である。 この論文では、インターネット上で安全にカードゲームをプレイする方法について解説しています。プレイヤーが秘密を漏らすことなくプレイできる方法を提案しています。これは、安全なオンラインゲームやアプリの構築に役立つ可能性があります。
A Complete, Mechanically-Verified Proof of the Banach-Tarski Theorem in ACL2(R) 著者らは、論理ベースの証明支援ツールであるACL2(r)を用いて、バナッハ=タルスキーのパラドックスの完全に形式化され、機械的に検証された証明を提示しています。著者らは、非測定集合と選択公理を用いて、単位球を複数の部分に分割し、再配置することで2つの同一の球を形成できることを示しました。このプロジェクトはIOGによって部分的に支援されており、カルダノの形式検証と数学的厳密さへの関心と一致していることを示しています。 この論文は、球を切って2つの球にできるという有名な数学的アイデアを証明しています。各ステップを検証するためにコンピュータロジックツールが用いられています。Cardanoは、安全なシステムのためのこのような研究への資金提供を行っています。
A Composable Security Treatment of the Lightning Network 本論文は、オフチェーンのビットコイン取引を可能にするライトニングネットワークのための、厳密かつ構成可能なセキュリティモデルを提示する。著者らは、敵対的な状況下における決済チャネルの挙動を形式化し、定義された仮定の下でその構築が安全であることを証明している。本論文の知見は、Cardanoの潜在的な実装を含む、あらゆるレイヤー2ブロックチェーンのスケーラビリティソリューションに適用可能である。 この論文は、ビットコインのようなブロックチェーン上で、小額の決済を安全に高速に行う方法を示しています。誰かが不正行為を試みても、安全に決済が行えることを検証しています。これは、ブロックチェーンの高速化に貢献します。
A Decentralized Information Marketplace Preserving Input and Output Privacy 本論文では、安全なマルチパーティ計算と差分プライバシーを用いて、入力プライバシー(データが秘匿化されている)と出力プライバシー(結果から個人データが漏洩しない)の両方を保証する分散型データマーケットプレイスを提示します。また、ブロックチェーンスマートコントラクトによる自動報酬も提供します。このフレームワークはブロックチェーンに依存しませんが、Cardanoのスマートコントラクトの目標とプライバシー保護への野心と合致しています。 この論文は、ブロックチェーンを用いて個人データを安全に共有する方法を示しています。ブロックチェーンはデータと回答を非公開に保ち、共有に対して報酬を支払います。これは、公平で安全なアプリの実現に役立つ可能性があります。
A Formal Treatment of Hardware Wallets 著者らは、UC(Universal Composability)フレームワークを用いてハードウェア暗号通貨ウォレットの形式モデルを定義し、ウォレットのセキュリティにおける主要なコンポーネント、脅威、条件を特定しています。LedgerやTrezorといった一般的なウォレットを評価し、完璧な暗号コンポーネントだけでは不十分であり、ユーザーの行動と安全なプロトコルが重要であることを示しています。Cardano関連チームは、これらの形式手法を用いてウォレットシステムを評価または改善することができます。 この論文では、ハードウェアウォレット(コイン用のUSBメモリなど)の安全性を検証しています。優れた計算ツールであっても、人間のミスによって機能不全に陥る可能性があることが示されています。Cardanoはこの知見を活用して、ウォレットの安全性を高めることができます。
A Game-Theoretic Analysis of Delegation Incentives in Blockchain Governance 本論文は、CardanoのCatalystガバナンスシステムにおける賄賂の可能性をゲーム理論を用いて分析する。「合理的」な委任者と「感情的」な委任者に関する数学モデルを導入し、買収が成功する可能性と効果的な安全策を特定する。本研究はCardanoの財務ガバナンスに直接適用され、賄賂を抑止し、投票の完全性を確保するためのパラメータ設定に役立つ【27†出典】。 この論文は、Cardanoの投票における不正行為の可能性を検証し、数学を用いて不正行為を阻止する方法を示しています。これは、Cardanoの資金調達システムの安全性向上に役立ちます。
A Gas-Efficient Superlight Bitcoin Client in Solidity 本研究では、イーサリアムのSolidity言語で実装された軽量なビットコインSPV(簡易支払検証)クライアントを紹介します。これにより、ガス消費量を大幅に削減し、スマートコントラクトによるビットコイン取引の効率的な検証が可能になります。本研究はイーサリアムに焦点を当てていますが、そのコンセプトはクロスチェーンブリッジをサポートしており、これはCardanoの相互運用性目標にも関連しています。 この論文では、ビットコインの取引をより低コストで検証する方法を紹介します。イーサリアム上で動作し、消費電力も削減します。異なるブロックチェーン間の通信にも役立つ可能性があります。
A Polynomial-Time Algorithm for 1/2-Well-Supported Nash Equilibria in Bimatrix Games 著者らは、2人ゲームにおける1/2近似の十分に支持されたナッシュ均衡を効率的に計算する、新たなシンプルなアルゴリズムを提示し、従来の最良近似を改良しています。この手法は、ゼロサムゲーム戦略と線形計画法を用いることで、実用的かつ理論的な利益をもたらします。この最適化は、Cardanoのようなプラットフォームにおけるガバナンスやゲーム理論的シミュレーションを含む、ブロックチェーンのインセンティブモデリングに有益です。 この論文は、ゲームにおける公正な結果を予測するスマートな方法を発見しました。この方法は高速に動作し、十分な答えを提供します。ブロックチェーン上でも、スマートな意思決定に役立ちます。
A Rational Protocol Treatment of 51% Attacks 本論文では、51%攻撃を、単なる悪意のある行為ではなく、攻撃者による合理的な判断としてモデル化しています。ゲーム理論を用いて、どのような条件下でこのような攻撃が経済的に実行可能であるかを示し、それらを阻止するためのプロトコルの修正方法を特定しています。これは、利益を追求する攻撃者に対して堅牢なプロトコルを設計するために、ゲーム理論的セキュリティを重視するCardanoの考え方と一致しています。 この論文は、人々がブロックチェーンの半分以上を支配しようとする理由を示しています。数学を用いて、いつそれが実現するかを示しています。攻撃を無価値にすることで、システムをより安全にすることが目標です。
A Readable and Computable Formalization of the Streamlet Consensus Protocol 本論文は、Streamlet BFTコンセンサスプロトコルをAgdaで形式化し、その一貫性を証明し、機械検証とテストが可能な仕様を提供します。可読性を高め、計算による証明を通じて実行テストをサポートします。この形式検証手法は、明瞭性、安全性、テスト可能性を重視する将来のCardanoプロトコル設計に刺激を与える可能性があります。 この論文は、ブロックチェーンのルールを検証・テスト可能なコンピュータコードに変換します。これにより、すべてが計画通りに機能することを確認できます。これにより、信頼できるブロックチェーンの構築に役立ちます。
A Spendable Cold Wallet from QR Video 本論文では、QRコードでエンコードされたビデオを用いて、インターネット接続やUSB接続を必要とせずに、コールドウォレットの鍵をホット環境に安全に転送する方法を提案しています。これにより、エアギャップ環境下で利用可能な暗号通貨取引を、低いエラー率で実現できます。Cardanoウォレットの設計において、このアプローチを活用することで、セキュアな環境におけるユーザビリティと安全性を向上させることができるでしょう。 この論文では、QRコードの動画を使ってシークレットウォレットコードを送信する方法をご紹介します。これは、オフラインデバイスからコインを使う方法です。お金を安全に保管しながら、使い続けることができます。
A Treasury System for Cryptocurrencies: Enabling Better Collaborative Intelligence? この基礎論文では、ステークホルダーの投票によって管理される分散型資金調達のためのトレジャリーモデルが紹介されています。このシステムは提案の提出を奨励し、投票メカニズムを用いて価値の高いプロジェクトに資金を提供し、コミュニティの知性を高めます。CardanoはこのアイデアをCatalystトレジャリーシステムの基盤として採用しました。 この論文では、コイン保有者がどのプロジェクトに資金を提供するかを投票で決定する仕組みについて論じています。これは、グループが共有資金の使い道を決定するようなものです。Cardanoはこのアイデアを資金調達システムに採用しています。
A type- and scope-safe universe of syntaxes with binding: their semantics and proofs この高度に技術的な論文では、Agdaの依存型を用いて、変数とスコープを持つプログラミング言語を安全に定義するためのフレームワークを提示しています。このフレームワークは、すべての構成要素が適切にスコープ指定され、適切に型付けされていることを保証するため、形式検証に役立ちます。これらの技術は、Cardanoのスマートコントラクトや台帳ルールの形式開発手法に影響を与える可能性があります。 この論文では、すべての部分が規則に従うように、コンピュータ言語を安全な方法で構築します。特別な数学ツールを用いて、すべてが正しいことを確認します。言語を使用する前にバグをチェックするのに役立ちます。
Account Management in Proof of Stake Ledgers 本論文は、プルーフ・オブ・ステーク(PoS)システムにおけるウォレット設計を、委任、ステークプール、そしてアドレスの展性と呼ばれる脅威に焦点を当てて定式化しています。安全な委任、ステークプールへの参加、そしてウォレットの回復を保証するモジュール式のウォレットアーキテクチャとプロトコルを提案しています。本研究は、Cardanoのステーキングおよびウォレットシステムのセキュリティアーキテクチャを直接的にサポートしています。 この論文では、CardanoのようなPoSシステムに人々が安全に参加する方法について考察しています。攻撃を阻止し、ウォレットを安全に保つためのルールを構築しています。Cardanoはこれらのアイデアをステーキングシステムに活用しています。
Achieving Envy-Freeness through Items Sale 著者らは、分割不可能なアイテムの一部を売却し、その収益を補償に充てることで、嫉妬のない分配を実現するアルゴリズムを提案している。特に2エージェントの場合に効率的な近似スキームを設計し、エージェント数の増加に伴う計算限界を明らかにしている。これは、公平な資源配分が鍵となるCardanoの財務ガバナンスと整合している。 この論文は、物を公平に分配する方法を示しています。一部を売却し、そのお金を使って皆を幸せにする方法です。これは2人の場合に最も効果的です。Cardanoがプロジェクト間で資金を分配する方法と似ています。
AGATE: Augmented Global Attested Trusted Execution in the Universal Composability Framework AGATEは、信頼できる実行環境(TEE)をユニバーサルコンポーザビリティ(UC)のセキュリティ保証によって拡張し、安全でモジュール化されたプロトコル構成を可能にします。コードと状態のグローバルな認証を保証し、複数のTEEが安全に連携できるようにします。このアプローチは、Cardanoのようなブロックチェーンエコシステムに導入することで、プライバシー保護とコンポーザブルなスマートコントラクトを実現する可能性があります。 この論文は、セキュアなコンピューターチップを改良し、安全に連携できるようにします。これにより、異なるアプリ間の相互信頼が促進されます。Cardanoはこれを活用して、より安全なアプリを構築できる可能性があります。
Agile Cryptography: A Universally Composable Approach 本稿では、モジュール性とセキュリティを重視したUniversal Composability(UC)フレームワークを用いた柔軟な暗号プロトコルのアプローチを紹介します。このフレームワークでは、システム全体に影響を与えることなく、コンポーネントの交換やアップグレードが可能です。このようなモジュール化とアップグレードが可能な暗号技術は、Cardanoが目指す安全で進化可能なブロックチェーン基盤と合致しています。 この論文では、部品を簡単に更新できる安全なシステムの構築方法を示しています。部品交換時の安全性確保に役立ちます。Cardanoも自社の技術で同様のことを実現したいと考えています。
Airdrop Games 本論文は、エアドロップのインセンティブスキームをゲームとしてモデル化し、採用を促進するように設計された報酬構造の下で合理的な行為者がどのように行動するかを分析しています。多くのエアドロップ設計が操作につながることを明らかにした上で、より堅牢なインセンティブメカニズムを構築するための基準を提示しています。これらの知見は、公正なトークン分配を目指すCardanoのようなブロックチェーンプラットフォームに直接関連しています。 この論文は、無料トークン(エアドロップ)の配布がどのように不正行為に利用される可能性があるかを検証しています。数学を用いて、人々がどのように不正行為を行う可能性があるかを示しています。トークンの配布に関するより良いルール作りに役立ちます。
Algebraic Reasoning About Timeliness 本論文は、∆Qシステム開発(∆QSD)パラダイムを用いて、分散システムの適時性について推論するための数学的枠組みを構築する。本論文では、結果表現のための形式代数を導入し、システムコンポーネントがタイミング保証を満たすタイミングを証明している。Cardanoは、ブロック拡散などのプロトコル設計に∆QSDを用いており、これを直接適用可能である。 この論文では、システムが十分に速く応答するかどうかを数学的に検証しています。これは複雑な設定における問題を特定するのに役立ちます。Cardanoはこれを活用して信頼性の高い技術を設計しています。
An Impossibility Result for Strongly Group-Strategyproof Multi-Winner Approval-Based Voting 本論文は、m人の候補者からk人(k ≤ m−2)を選ぶ複数当選者承認投票において、いかなる投票ルールも集団戦略耐性が強く、かつ全会一致を満たすことはできないことを証明する。この結果は、ギバード=サッタースウェイト定理からの縮約を用いており、協調的操作に対する耐性の限界を示している。これはCardanoのガバナンスモデル、特に承認投票を用いた財務省や評議会の選挙に影響を与える。 この論文は、単純な賛成/反対投票ではグループセーフな投票を完璧に実現することは不可能であることを証明しています。グループによる不正行為は依然として可能です。Cardanoの投票システムはこの論文から学ぶことができます。
An Ontology for Smart Contracts 本論文では、様相論理を用いてスマートコントラクトの構成要素と動作を記述・推論するための形式オントロジーを提案する。エージェント、イベント、オブジェクト、そして様相(可能性、必然性)といった主要要素を導入し、コントラクト実行を抽象化する。このフレームワークは、Cardanoのようなオンチェーンでスマートコントラクトロジックを実装する環境において、形式推論と仕様記述をサポートする【78†出典】。 この論文は、スマートコントラクトの仕組みを明確に記述する方法を示しています。人、行動、時間といった概念を用いています。Cardanoはこれを用いて、スマートコントラクトの理解と検証を容易にすることができます。
Anonymous, Timed and Revocable Proxy Signatures 本論文では、署名の匿名性、期限付き、かつ取消可能性を実現する代理署名方式を提示する。この方式は、署名権限の安全な委任を確保しつつ、制御機能とプライバシー機能も実現する。このような暗号プリミティブは、Cardanoがプライバシー保護型ID・認証システムを検討する際に有用となる可能性がある。 この論文では、他人のために秘密裏に安全に署名する方法について説明します。一定期間後に停止することも可能です。ブロックチェーンの利用におけるプライバシーと制御の保護に役立ちます。
Another Look at Extraction and Randomization of Groth’s zk-SNARK 本論文は、Groth16 zk-SNARKが既に弱シミュレーション抽出可能かつランダム化可能であることを示していますが、これはこれまで証明されていませんでした。本論文では、強力な保証を備えた構成可能なプロトコルでGroth16を利用できるようにするために、効率的なブラックボックス変換を導入しています。これらの知見は、CardanoがMidnightやその他のZKロールアップのようなプライバシー保護アプリケーションにGroth16を採用する可能性を直接的に裏付けています【80†出典】。 この論文は、秘密裏に証明する方法を改良したものです。この方法は予想以上に安全で使いやすいことが示されています。Cardanoはこの方法を用いて、秘密の機能を安全に追加することができます。
Applying Continuous Formal Methods to Cardano (Experience Report) この体験レポートでは、Input Output Global(IOG)がスマートコントラクトからコンセンサス、ネットワークに至るまで、Cardanoの開発において形式手法を継続的にどのように活用しているかについて説明します。Agda仕様、適合性テスト、そしてagda2hsのようなツールチェーンをエンジニアリングワークフローに統合する方法についても説明します。この厳格なプロセスは、Cardanoのインフラストラクチャの安全性、正確性、そして長期的な信頼性を確保するために役立っています【81†出典】。 この論文では、Cardanoが特殊な数学を用いてソフトウェアを検証する方法について説明しています。彼らはリリース前にツールを用いてソフトウェアの動作を検証しています。これにより、ブロックチェーンの安全性と良好な動作が維持されています。
Approximate Lower Bound Arguments 本論文は、計算複雑性の近似的な下限を探求し、特定の問題を解決するために必要な最小限のリソースを推定する手法を提案しています。これらの結果は理論的なものではありますが、アルゴリズム設計における根本的な限界を理解するのに役立ちます。こうした理解は、Cardanoの効率的なプロトコルと暗号構築に関する研究に活かすことができます。 この論文は、問題解決に必要な最小限の作業量について考察しています。高速でスマートなプログラムを構築するためのアイデアを提供しています。Cardanoはこれを活用して、システムの動作を改善できます。
Are Continuous Stop-and-Go Mixnets Provably Secure? 本論文では、ストップアンドゴーサイクルで動作するミックスネットワークを分析し、トラフィック分析に対する安全性を証明する形式モデルを提示する。本研究は、敵対的観測下での証明可能な保証を前提として、従来の定義を拡張する。これらの知見は、匿名通信やメタデータ保護のためにミックスネットを利用する可能性のあるCardanoのようなブロックチェーンシステムにおけるプライバシー設計に活用できる可能性がある。 この論文では、メッセージを混合することで隠蔽するプライバシーツールが、依然として機密性を維持できるかどうかを検証します。一時停止があっても安全性が維持されることを証明します。これは、ブロックチェーン上でより優れたプライベート通信ツールの構築に役立ちます。
Babel Fees via Limited Liabilities 本論文では、ユーザーが「負債トークン」を用いて手数料の支払いを他者に委任できるモデルを紹介しており、ネイティブトークン(ADAなど)を所有することなく取引を行えるようになります。このシステムは、台帳の正確性を維持しながら、中継者(リレイヤー)のインセンティブとセキュリティを確保します。これはCardanoのBabel Feesコンセプトに直接関連しており、分散性を犠牲にすることなく、より広範なユーザーアクセスと使いやすさの向上を実現します。 この論文では、手数料を支払うためのコインを持たずにブロックチェーントランザクションを送信する方法を示しています。後払いを約束し、誰かが手数料を負担します。このアイデアは、暗号通貨をより使いやすくするためのCardanoの計画の一部です。
Balancing Participation and Decentralization in Proof-of-Stake Cryptocurrencies 本研究では、Cardanoのようなステーキングシステムにおけるユーザー参加と分散化のトレードオフを調査します。報酬分配や委任閾値といったパラメータが、特にステーク配分が不平等な状況において、ネットワークの健全性にどのような影響を与えるかを示します。これらの知見は、Cardanoのステークプール設計と参加インセンティブの最適化に直接応用可能です。 この論文では、Cardanoのようなブロックチェーンを公平かつ活発に保つ方法について考察します。設定が参加者やネットワークを運営するグループの数にどのような影響を与えるかを検証し、最適なバランスを見つけるのに役立ちます。
Binomial Distribution with Delay in Analysis and Parametrization of Ouroboros Praos Proof-of-Stake Blockchain Protocol 本論文では、ブロック伝播の遅延と複数のスロットリーダーの存在を考慮したOuroboros Praosの確率モデルを開発しています。アクティブスロット係数などのプロトコルパラメータに基づいて、期待されるチェーン長、フォーク率、ブロック生成効率の正確な式を導出します。これらの知見は、CardanoのPoSシステムのセキュリティとパフォーマンスを向上させるのに役立ちます【98†出典】。 この論文は、Cardanoネットワークがどのようにブロックを作成し、タイミングを処理するかを研究しています。数学を用いて、フォークの発生頻度とシステムの効率性を明らかにしています。その目的は、ネットワークをより良く、より安全に運用することです。
Bitcoin Crypto–Bounties for Quantum Capable Adversaries この論文は、ショアのアルゴリズムを実行できる量子コンピュータが登場した場合、どれだけのビットコインが脆弱になるかを評価しています。ネットワークが量子耐性のある署名にアップグレードされたとしても、再利用または露出された公開鍵は大きな脅威となることを示しています。この研究結果は、Cardanoのようなブロックチェーンエコシステムが鍵の再利用を最小限に抑え、量子耐性セキュリティを計画することが緊急に必要であることを浮き彫りにしています【99†出典】。 この論文は、強力な量子コンピュータが古い公開鍵を解読することでコインを盗む可能性があると警告しています。アドレスを再利用すれば、その資産は危険にさらされます。Cardanoのようなブロックチェーンは、このような未来に備えるべきです。
Block Ciphers in Idealized Models: Automated Proofs and New Security Results 本論文では、理想暗号モデルやランダムオラクルモデルといった理想的なモデルを用いて、ブロック暗号のセキュリティを検証します。暗号証明を検証するための自動化ツールを紹介し、いくつかの標準的な構成におけるセキュリティ保証を明らかにします。Cardanoは、これらの検証済みプリミティブを暗号基盤に組み込むことで、信頼性と自動化の向上に寄与する可能性があります。 この論文は、コンピュータツールを用いて秘密メッセージシステムの安全性を検証しています。これは、一般的な手法が実際に機能することを証明する上で役立ちます。Cardanoはこれを活用して、より安全なシステムを構築できる可能性があります。
Blockchain Bribing Attacks and the Efficacy of Counterincentives 本論文は、ブロックチェーン投票システムやコンセンサスシステムにおける賄賂攻撃がどのように発生するかを分析し、それらを抑止するための対抗インセンティブ戦略を探求する。ゲーム理論を用いて、賄賂が成功する可能性の高い条件を示し、不正行為による利益を減少させるメカニズムを提案する。これらの知見は、投票の完全性を維持するためのCardanoの財務およびガバナンスモデルに関連する。 この論文は、ブロックチェーン投票において、他者への賄賂によって不正行為が行われる可能性を研究しています。不正行為を無価値にすることで、不正行為を阻止する方法を提案しています。Cardanoはこれらのアイデアを活用して、投票システムを保護することができます。
Blockchain Nash Dynamics and the Pursuit of Compliance 著者らは、ブロックチェーン環境における合理的な行為者が、戦略的インセンティブを通じてどのように誠実な行動へと導かれるかを検証している。反復ゲームとナッシュダイナミクスを用いて、適切に設計されたメカニズムの下ではコンプライアンスが安定的になり得ることを示している。これらの知見は、参加者のインセンティブをプロトコルの正しさと整合させるというCardanoの理念を裏付けている。 この論文は、スマートな報酬システムがブロックチェーン上で人々にルールを遵守させる仕組みを示しています。ゲーム理論を用いて、公平で安定した仕組みを見つけ出します。Cardanoは、このようなアイデアを活用してシステムを円滑に運用したいと考えています。
Blockchain Participation Games 本研究では、ブロックチェーンへの参加をゲームとして定式化し、報酬、コスト、プロトコル設計がユーザーエンゲージメントに及ぼす影響を検証します。ベースケース、撤回シナリオ、そして普遍的な報酬モデルを考慮し、高い参加率の均衡状態がいつ存在するかを検証します。この研究結果は、Cardanoや類似のプラットフォームにおいて、公平かつ持続可能なインセンティブを構築する方法の指針となります。 この論文では、ブロックチェーンへの参加をゲームのように扱います。報酬とルールに応じて、人々が参加するかどうかを判断します。これは、Cardanoが人々が参加したくなるような公平なシステムを構築するのに役立ちます。
Blockchain Space Tokenization 本稿では、ブロック空間をトークン化し、ユーザーがトランザクションの組み込みを事前に購入できるようにするメカニズムであるブロックチェーン空間トークン化(BST)について紹介します。BSTは、予測可能なコスト、予測可能な遅延、そしてオフチェーンのプルーフ性を、新たな優先順位付けメカニズムとオークションシステムを用いて組み合わせています。このアプローチは、Cardanoのトランザクションスケジューリングと混雑時のユーザーエクスペリエンスを向上させる可能性があります。 この論文は、ブロックチェーントランザクションを送信する権利を事前に購入できるシステムを構築します。これにより、速度とコストの保証が可能になります。Cardanoはこれを活用することで、トラフィック量の増加による速度低下を回避できる可能性があります。
Blockchain Technologies: Probability of Double-Spend Attack on a Proof-of-Stake Consensus 本論文は、CardanoのようなProof-of-Stake(PoS)システムにおける二重支払い攻撃の成功確率を、攻撃者のステーク数と承認ブロック数に基づいて正確に計算する式を提示する。本論文は、特定のセキュリティレベルを達成するために必要な承認回数を正確に計算することを可能にし、大まかな推定値や漸近的な推定値しか提供していなかった従来の研究を凌駕する。これらの結果は、CardanoのようなPoSシステムにおけるトランザクションのファイナリティ判定を直接的に強化する。 この論文は、PoSブロックチェーン上で不正行為が行われる可能性を計算しています。トランザクションを信頼するまでにどれくらいの時間を待つべきかを判断するのに役立つ明確な公式が示されています。これは、Cardanoのようなシステムの安全性を維持するのに役立ちます。
Bottom-up Trust Registry in Self Sovereign Identity 本論文では、自己主権型アイデンティティ(SSI)のためのプライバシー保護型信頼の輪モデルを用いた、分散型でインセンティブ適合性のある信頼レジストリを提案する。このレジストリには、発行者と検証者の誠実な参加を促すトークンベースのステーキングおよび決済システムが含まれる。Cardano関連のSSIフレームワークは、このアプローチの恩恵を受けることで、中央集権的な権限への依存を最小限に抑える、スケーラブルで分散型のアイデンティティエコシステムを構築できる。 この論文では、信頼できるID発行者がネットワーク内で互いにサポートし合うシステムを構築します。人々は少額の手数料を支払い、その人が信頼できるかどうかを確認します。これは、ブロックチェーンIDのためのスマートな信頼リストのようなものです。
Brick: Asynchronous Incentive-Compatible Payment Channels Brickは、非同期ネットワーク下でもセキュリティを維持する革新的な決済チャネルです。「監視人」委員会が時間ベースの仮定なしに更新を検証します。報酬とペナルティのメカニズムを導入することで、合理的な当事者が誠実に行動することを保証します。これにより、同期性や信頼できる第三者に依存する既存のソリューションの弱点を克服します。Cardanoは、Brickのインセンティブ適合モデルを用いて、堅牢なレイヤー2ソリューションを設計できる可能性があります。 この論文は、ネットワークが低速であったり攻撃を受​​けたりしても機能する、新しいタイプのブロックチェーン決済チャネルを提案しています。不正行為を阻止するために、ヘルパーグループと報酬を使用します。Cardanoはこれを活用することで、より高速で安全な決済を実現できる可能性があります。
Blockchains from Non-Idealized Hash Functions 本論文では、標準的な非理想的なハッシュ関数を用いて安全なブロックチェーンプロトコルを構築する方法を検討し、既存の証明がランダムオラクルモデルのような理想化されたモデルを前提としている問題に対処します。本論文では、特定の仮定の下では、一貫性やチェーンの成長といったセキュリティ特性が、現実世界のハッシュ関数を用いても維持可能であることを示しています。これは、Cardanoのコアプロトコルにおいて、形式的に検証され実用的な暗号学的仮定を採用するという取り組みと非常に関連しています。 この論文は、現実世界のハッシュツールがブロックチェーンの安全性を維持できるかどうかを検証しています。完璧な数学的トリックを必要とせずに、ハッシュツールが適切に機能することを証明しています。これにより、Cardanoのようなシステムはより現実的で証明可能なものとなります。
Bool Network: An Open, Distributed, Secure Cross-chain Notary Platform Bool Networkは、リングVRFによる匿名性とTEEによる鍵の機密性確保を用いた、分散型クロスチェーン公証システムです。中央集権的な取引所や同期的な前提に依存せず、異種ブロックチェーン間でのトラストレスなトークン移転を可能にします。その革新的な進化型コミッティモデルと主要チェーンとの互換性により、Cardanoのクロスチェーン相互運用性ビジョンの実現候補となっています。 この論文では、大企業を介さずにブロックチェーン間でコインを安全に移動する方法が示されています。秘密のヘルパーグループとスマートハードウェアが用いられており、Cardanoはこれを利用して他のブロックチェーンと接続できる可能性があります。
Chimeric Ledgers: Translating and Unifying UTXO-based and Account-based Cryptocurrencies 本論文では、「キメラ台帳」を介してUTXOベースとアカウントベースのモデルを統合する正式なフレームワークを提案しています。EUTXOモデルを使用するCardanoは、このフレームワークを活用してハイブリッドなトランザクションタイプをサポートし、スマートコントラクトの設計とチェーン間の相互運用性を向上させることができます。 これは、ブロックチェーンにおける2種類の通貨システムを1つに統合する方法を示しています。これにより、人々や開発者はそれぞれのシステムの最適な部分を選択できるようになります。Cardanoはこれを自社のシステムの改善に活用する可能性があります。
Coalition-Safe Equilibria with Virtual Payoffs 本論文では、ブロックチェーンプロトコルにおけるインセンティブをモデル化するために、仮想利得均衡(EVP)の概念を導入する。ビットコインは合理的行動の下で中央集権化しやすいのに対し、フルーツチェーンはより強い均衡特性を実現していることを示す。このフレームワークは、分散化と経済的安全性を維持するためのCardanoのインセンティブメカニズム設計を導く可能性がある。 この論文は、ブロックチェーンにおいて人々が報酬を得ようとする際にどのように行動するかを説明しています。一部のシステムでは、あるグループが過剰な権力を持つ可能性があることを示しています。Cardanoはこれらのアイデアを活用することで、公平性と分散性を維持できます。
But Why Does it Work? A Rational Protocol Design Treatment of Bitcoin 本研究では、ビットコインのインセンティブメカニズムを合理的なプロトコル設計を用いてモデル化し、特定の仮定の下での均衡挙動を検証する。これは、ブロックチェーンシステムにおける合理的なエージェントの行動を理解する上で役立つ。Cardanoはこれらの設計原則を適用することで、自身のコンセンサスモデルと報酬モデルの合理的な健全性を検証・改善することができる。 この論文は、ビットコインのルールに従う人々が自らの最善の利益のために行動しているかどうかを検証しています。数学と論理を用いて、多くの場合、これが真実であることを確認しています。カルダノはこの論文から学び、自らのルールが理にかなっているかどうかを検証できる可能性があります。
Bypassing Non-Outsourceable Proof-of-Work Schemes Using Collateralized Smart Contracts この研究は、担保ベースのスマートコントラクトを用いて、アウトソーシング不可能なマイニング(マイニングプールの防止を目的として設計)を迂回する方法を示しています。また、このようなマイニングプール対策の有効性についても疑問を呈しています。Cardanoのスマートコントラクトとステーキングシステムは、分散化とシビル耐性を考慮した設計において、このような迂回リスクを考慮する必要があります。 一部のブロックチェーンは大規模なマイニンググループを阻止しようとしていますが、この論文ではそうしたルールを回避する方法を示しています。Cardanoは、悪意のある行為者による乗っ取りを阻止するシステムを構築する際には注意を払う必要があります。
Cardano Disaster Recovery Plan この文書は、災害発生時のCardanoの技術、ガバナンス、運用上の復旧戦略を概説しています。マルチパーティ・ガバナンス、暗号保護、鍵回復手順に重点を置いています。これは、Cardanoのレジリエンス計画と分散化の目標に直接関連しています。 Cardanoに何か問題が発生した場合、この計画はそれをどのように解決するかを示しています。バックアップ、意思決定者、そしてどのように継続していくかについても言及されています。Cardanoネットワークの緊急時対応計画のようなものです。
Consensus Redux: Distributed Ledgers in the Face of Adversarial Supremacy 本論文では、分散型台帳における「自己修復」の概念を紹介し、PoWおよびPoSプロトコルが一時的な敵対的多数決の期間後にどのように回復するかを分析します。本論文では、ナカモト型PoWとOuroboros Genesis PoSが、攻撃の長さと強度に比例した時間経過後に、一貫性や活性といったセキュリティ特性を回復できることを示しています。Ouroboros Genesisを採用するCardanoは、証明可能な自己修復能力を備えており、回復力の保証を向上させることが示されています。 この論文は、「悪意のある人物が短期間でブロックチェーンを乗っ取った場合、ブロックチェーンは回復できるのか?」という問いを投げかけています。ビットコインとカルダノはどちらもその後、正常な状態に戻ることができることを証明しています。カルダノは、安全に回復できるよう特別に設計されています。
Conclave: A Collective Stake Pool Protocol Conclaveは、複数のCardanoステークプールが共同体として連携し、公平なブロック生成と利益分配を保証するための、新たなプロトコルを提案します。このシステムは、暗号プリミティブと閾値署名を活用することで、リソースをプールしながら分散性を維持します。これにより、Cardanoのスケーラビリティが向上し、小規模なプール間での報酬の公平性が確保されます。 このアイデアにより、小規模なCardanoプールが公平にチームを組むことができます。プールは協力して報酬を獲得し、セキュリティを維持します。これにより、システムは誰にとってもより公平なものになります。
Composition with Knowledge Assumptions 本論文は、「知識仮定」(つまり、敵対者が特定の行動をとる場合、敵対者は何かを知っていると仮定すること)を用いることで、特定の暗号システムがどのように安全に構成され得るかを検証しています。そして、このような仮定は、慎重に制約されない限り危険となり得ることを明らかにしています。SNARKや再帰的証明といった高度な証明を用いるCardanoにとって、この注意は、構成プロトコルにおける誤った安全性を回避するのに役立ちます。 複雑な暗号システムを組み合わせても安全性が維持されるかどうかを検証します。答えは「必ずしもそうではない」です。ただし、特定の条件が満たされている場合は別です。Cardanoの開発者は、高度な証明を組み合わせる際には注意が必要です。
Competitive Policies for Online Collateral Maintenance 本研究では、オンライン担保(ローンやステーブルコインなど)が公正かつ競争力のある形で維持されることをシステムがどのように保証できるかを探求します。ゲーム理論を用いて、不正操作を抑制し、タイムリーな維持を促進するメカニズムを提案します。これは、CardanoベースのDeFiシステムが、安定した信頼性の高い担保資産を確保するための指針となります。 この論文は、オンラインマネーシステムが約束を守るのに役立ちます。スマートなルールを設定することで不正行為を防止します。Cardanoはこれを活用して、より安全な貸付ツールを構築できます。
Compact Storage of Superblocks for NIPoPoW Applications 本論文では、「蒸留」技術を用いてスーパーブロック(作業証明を含むブロック)をより効率的に保存する方法を提示し、最小限のストレージで簡潔なブロックチェーン証明(NIPoPoW)を実現します。この手法はストレージサイズを対数から多重対数へと削減し、パフォーマンスを向上させます。Cardanoはこれを軽量クライアントやクロスチェーン証明に採用することで、信頼性を損なうことなくユーザビリティを向上させることができます。 ブロックチェーンの正当性を証明する際に、スペースを節約する方法が見つかりました。必要なデータは少なくなりますが、信頼性は強固に保たれます。Cardanoはこれを利用して、小さなアプリでチェーンを確認できるようにするかもしれません。
Cryptocurrency Egalitarianism: A Quantitative Approach 本論文では、暗号通貨がマイニングやステーキングの報酬をどの程度公平に分配しているかを測定するための定量的な枠組みを紹介する。Cardanoを含むProof-of-Stakeシステムは、ビットコインのようなProof-of-Workシステムよりも一般的に平等主義的であることが明らかになった。これらの結果は、CardanoがPoSを用いてより平等な富の分配を促進し、参加障壁を低下させていることを裏付けている。 この研究は、暗号通貨の報酬がどれだけ公平に分配されているかを検証しています。Cardanoのシステムはビットコインよりも公平に分配されており、より多くの人々が参加して報酬を獲得できるという点で優れています。
Decentralised Update Selection with Semi-Strategic Experts 本論文では、半戦略的専門家がインセンティブに部分的に影響を受けながらソフトウェアアップデートの選択に投票するガバナンスモデルを提示する。ゲーム理論を用いてこのような専門家の行動をモデル化し、意思決定の質と操作耐性を維持するための安全策を提案する。Cardanoのオンチェーンガバナンスメカニズムは、同様のモデルを採用することで、専門家の助言と分散型意思決定のバランスをとることができる。 この論文は、専門家が騙されることなくアップデートの選択を支援する方法を示しています。専門家が報酬を欲しがる場合でも、公平に投票できるシステムを構築します。Cardanoのアップデートシステムは、このアイデアを活用できる可能性があります。
Decentralization Analysis of Pooling Behavior in Cardano Proof of Stake 本研究では、シミュレーションを用いて、Cardanoのステーキングパラメータが分散化に及ぼす影響を分析します。「アルファ」や「k」などのパラメータを適切に調整することで、健全な分散化が実現し、シビル攻撃を抑止できることを確認しました。また、Cardanoの報酬スキームは分散化を促進するものの、設定や現実世界のステーク分布に敏感であることも明らかにしました【194†Cardano Proof of Stakeにおけるプーリング行動の分散化分析†L1-L9】。 この論文は、人々がコインをグループ化した場合でも、Cardanoが公平性を保てるかどうかを検証しています。システムはうまく機能しますが、適切な設定が重要だと結論づけています。これにより、Cardanoは一人の人間が過剰な権力を持つことを回避できます。
Decentralized Proof-of-Burn Auction for Secure Cryptocurrency Upgrade 本研究では、オラクルを介さずに他の暗号通貨をバーンすることで新規トークンを発行する分散型オークションメカニズムを提案する。ゲーム理論とシミュレーションを用いて、複数の通貨間で価格発見と公平性を維持できることを示す。このモデルは、Cardanoまたはそのサイドチェーンがトラストレスかつ効率的な方法で新規資産を配布するのに役立つ可能性がある【195†安全な暗号通貨アップグレードのための分散型Proof-of-Burnオークション†L1-L3】。 人々は公正なオークションで古いコインを燃やし、新しいコインを手に入れることができます。価格設定に信頼できる第三者は必要ありません。Cardanoはこれを活用して、新しいトークンを安全に発行できる可能性があります。
Decreasing Security Threshold Against Double Spend Attack in Networks with Slow Synchronization この論文は、ネットワーク遅延が存在する場合、攻撃者が二重支払い攻撃を成功させるにはハッシュパワーの50%未満しか必要としないことを実証しています。ネットワーク速度とブロック生成時間が脆弱性にどのように影響するかを示す正確な数学モデルと閾値を提供しています。これらの知見は、Cardanoがコンセンサスとブロック生成の設定においてネットワーク同期の遅延を考慮する必要があることを示唆しています【196†遅い同期を持つネットワークにおける二重支払い攻撃に対するセキュリティ閾値の低減†L1-L3】。 ネットワークが遅い場合、攻撃者は半分以下の電力で不正行為を行う可能性があります。この論文では、このような状況が発生する可能性と、それを阻止する方法を示しています。Cardanoはこうしたネットワークの遅延に注意する必要があります。
Differential Liquidity Provision in Uniswap v3 and Implications for Contract Design 本稿では、Uniswap v3の集中型流動性設計下での流動性プロバイダーの行動を分析し、戦略に基づく非対称的なリターンとリスクに焦点を当てています。流動性供給の決定は、情報の非対称性とアクティブマネジメントに非常に敏感であることを示しています。CardanoのDeFiプラットフォームは、これらの知見を活用して、より公平で持続可能なAMMベースの流動性プロトコルを設計することができます。 この論文は、Uniswapと呼ばれる取引システムに人々がどのように資金を追加するかを検証しています。その結果、行動によって一部の人が他の人よりも多くの利益を上げていることがわかりました。Cardanoはこれを活用して、より優れた暗号資産取引システムを構築することができます。
Djed: A Formally Verified Crypto-Backed Pegged Algorithmic Stablecoin 本稿では、担保とスマートコントラクトのロジックに基づく、形式的に検証されたアルゴリズム・ステーブルコイン・プロトコルであるDjedを紹介します。Djedは、市場ストレス下でも価格安定性と準備金の適切性を保証する数学的保証を証明します。DjedはCardano向けに設計されているため、エコシステムの金融インフラに直接貢献します。 Djedは、スマートなルールを用いて価格を安定させるステーブルコインです。数学的な検証によって動作が保証されています。Cardano向けに開発され、人々が安全に取引できるよう支援しています。
Double Auction Meets Blockchain: Consensus from Scored Bid-Assignment 本論文は、ダブルオークションとスコアリングルールのアイデアを用いた、ブロックチェーンにおける新たなコンセンサスメカニズムを提案する。このメカニズムは、スコアベースのオークションを通じて提案者とバリデーターの役割をマッチングさせ、インセンティブと公平性を最適化します。Cardanoは、市場原理に基づいた公平性によってガバナンスとバリデーターの選択を強化するために、同様のメカニズムを探求できる可能性があります。 この論文では、オークションとブロックチェーン投票を組み合わせることで、意思決定の公平性を高めています。参加者は入札額に応じてスコアを算出し、リーダーやチェッカーなどの役割を担います。Cardanoはこのアイデアを活用して、ネットワーク運営を支援する人を選ぶことができます。
Efficient Random Beacons with Adaptive Security for Ungrindable Blockchains 著者らは、1ラウンドで適応型の敵対者耐性を持つ新しいランダムネスビーコンプロトコルを設計した。このプロトコルは、検証可能なランダム関数と最適化されたブロードキャストを用いて、グラインド攻撃を回避し、ラウンドごとに高いエントロピーを提供する。CardanoのOuroborosベースのプロトコルにこのビーコンを統合することで、ランダムネスの質とリーダー選出の公平性を向上させることができる【212†グラインド不可能なブロックチェーンのための適応型セキュリティを備えた効率的なランダムビーコン†L1-L3】。 この論文は、ブロックチェーン上で乱数を選択するためのより優れた方法を構築しています。これにより、攻撃者が不正行為をして幸運な数字を選ぶことが阻止されます。Cardanoはこれを利用して、より公平にリーダーを選出できる可能性があります。
Efficient State Management in Distributed Ledgers 本論文では、CardanoのようなUTxOベースのブロックチェーンで使用されるメモリを削減する手法を提示します。新しいトランザクション最適化手法、2対1変換、状態効率の高い入力選択アルゴリズム、そして状態節約行動を促進する手数料モデルを紹介します。Cardanoはこれらのメカニズムを採用することで、長期的なスケーラビリティと運用コスト効率を維持できます【213†分散型台帳における効率的な状態管理†L1-L5】。 この論文では、Cardanoのメモリ使用量を削減する方法を解説します。ウォレットとアプリにコインを賢くグループ化する方法を解説します。また、メモリ節約に役立つ手数料のヒントも紹介します。
FairTraDEX: A Decentralised Exchange Preventing Value Extraction FairTraDEXは、ゼロ知識証明、コミット・リビール方式、そして幅を考慮した頻繁なバッチオークションを組み合わせることで、抽出可能価値(EEV)を排除する分散型取引プロトコルです。合理的なトレーダーが市場価格に固定の抽出不可能なコストを加えた価格で均衡に達することを正式に保証し、自動マーケットメーカー(AMM)モデルの根本的な脆弱性に対処します。このアプローチはCardanoのDEXエコシステムに直接適用可能であり、スケーラブルで公平かつプライバシーを尊重するソリューションを提供します。 この論文では、他人が自分の取引を不当に利用することを防ぎ、暗号資産取引をより公平にする方法を紹介します。この論文では、数学的手法を用いて、全員が準備ができるまで取引を隠蔽します。この論文は、ブロックチェーンベースの取引所の公正性向上に貢献します。
Fait Accompli Committee Selection: Improving the Size-Security Tradeoff of Stake-Based Committees 本論文では、プルーフ・オブ・ステークシステムにおける新たな委員会選出メカニズムを提案する。このメカニズムは、委員会の規模とセキュリティのトレードオフを改善する。決定論的な割り当てと適応的な重み付けを用いることで、これらの手法は敵対的過剰代表の可能性を大幅に低減する。Ouroborosのようなステークベースの委員会システムを採用しているCardanoは、これらの手法を、サイドチェーンやガバナンスといったレイヤー2におけるコンセンサスと委員会の編成を最適化するために適用できる。 この論文では、ブロックチェーン投票において、より小規模でありながら不正行為から安全なグループを選択する方法を示しています。メンバーを選出するスマートな方法を用いることで、不正行為者がグループを乗っ取ることを阻止します。これにより、ブロックチェーンの安全性と高速性を維持できます。
ETHEREUM CLASSIC TREASURY SYSTEM PROPOSAL この提案は、Cardanoのトレジャリーシステムに着想を得た、Ethereum Classic向けの分散型トレジャリーモデルの概要を示しています。オンチェーンガバナンスによるコミュニティ主導の資金調達と、長期的なエコシステムの持続可能性を重視しています。投票構造と透明性の重視においてCardanoの影響が明確に表れており、Cardanoの設計の妥当性を示すとともに、トレジャリーガバナンスフレームワークにおけるクロスチェーンの知見を示唆しています。 この論文は、ブロックチェーンコミュニティが将来のプロジェクトのために公平に資金を集め、活用する方法を提案している。これは、人々が貯蓄した資金の使い道を投票で決めるCardanoのアイデアに基づいている。
Efficient Static Analysis of Marlowe Contracts 本研究では、Cardanoの金融契約向けドメイン固有言語であるMarloweを効率的に静的に解析するためのツールを紹介します。著者らは、契約の安全性、終了、およびリソース使用量の制限に関するチェックを自動化することで、検証プロセスを改善します。これらのツールは、デプロイ前にエラーを検出することで、Cardano上のスマートコントラクトの安全性と信頼性を向上させます。 この論文により、Cardanoのスマートコントラクトを使用する前に、その安全性を確認しやすくなります。これにより、問題を早期に発見し、金銭的損失を回避するのに役立ちます。
Endemic Oblivious Transfer via Random Oracles, Revisited 本論文は、ランダムオラクルと最小限の仮定を用いた効率的な忘却転送手法を提案し、基礎的な暗号プリミティブを目指しています。Cardanoに特化したものではありませんが、このような忘却転送スキームは、安全なデータ交換プロトコルを通じて、Cardanoスマートコントラクトや投票システムのプライバシーを強化することができます。 受信者がメッセージの一部だけを受信し、どの部分が受信されたのか誰にも分からないようにメッセージを送信する方法について説明しています。これは、ブロックチェーンアプリにおけるプライベートメッセージの作成に役立ちます。
Filling the Tax Gap via Programmable Money 本論文では、税務監査の改善に向けた2つのプログラム可能な資金メカニズムを提案しています。(1) 税務当局に申告されない限り、未申告の資金を凍結すること、(2) 税金が支払われたことを証明するゼロ知識証明です。これらのメカニズムは、プライバシーを保護し、台帳のオーバーヘッドを最小限に抑え、仮名台帳内で強制力のあるコンプライアンスを実現します。Cardanoはこれらの技術を採用することで、プライバシーを保護しながら分散型の方法で税務監査を統合することができます。 この論文は、脱税を阻止するようにプログラムできるデジタルマネーの活用について論じています。人々は、お金を使う前に納税したことを証明しなければなりません。これはプライバシーを保護し、政府が誠実にチェックするのに役立ちます。
Flexible Formality: Practical Experience with Agile Formal Methods この論文では、Cardanoの「アジャイル形式手法」へのアプローチについて解説しています。このアプローチは、完全な形式検証と実用的な開発制約のバランスをとっています。モジュール化された仕様、テスト駆動開発、そして形式チームと実装チームの連携を重視しています。この戦略により、Cardanoは堅牢性を確保しながら、信頼性の高い機能を迅速に提供することができます。 Cardanoは、強力なソフトウェアを構築するために、慎重な計算チェックと迅速な開発手法の両方を採用しています。計画とテストを組み合わせることで、問題を早期に発見し、ブロックチェーンの性能向上と高速化を実現しています。
Formal Specification for a Cardano Wallet 本論文では、TLA+を用いたCardanoウォレットバックエンドの完全な形式仕様を提示し、トランザクション管理、鍵処理、同期の正確性を保証します。厳密な形式モデリングとテストを通じて、ウォレットロジックのエラーを排除するのに役立ちます。このアプローチは、Cardanoウォレットインフラストラクチャの信頼性を高め、ユーザーとブロックチェーンの安全なインタラクションをサポートします。 この論文では、Cardanoウォレットのルールを数学を用いて明確に記述する方法を示しています。これにより、バグやミスを早期にチェックし、ユーザーの資金を安全に保つことができます。
Formal Specification of the Cardano Blockchain Ledger, Mechanized in Agda 本論文は、UTxO、スマートコントラクト、ガバナンス、トランザクションを網羅し、AgdaにおけるCardano台帳の完全な機械検証済み正式仕様を詳述しています。実装の正確性を検証し、特にVoltaire時代のガバナンスに関する将来のアップグレードを導くための、高い信頼性と実行可能なリファレンスを提供します。これは、Cardanoにおける信頼性の高いインフラストラクチャとスマートコントラクトの検証の基盤となります。 この論文は、Cardanoブロックチェーンのルールをすべて、コンピューターが検証できる特別な方法で記述しています。これにより、ルールにエラーがないことを確認するのに役立ちます。また、スマートコントラクトのテスト精度も向上します。
Foundations of Anonymous Signatures: Formal Definitions, Simplified Requirements, and a Construction Based on General Assumptions 本稿では、グループ署名と匿名認証情報を統合する柔軟なフレームワークであるユニバーサル匿名署名(UAS)を紹介します。UASにより、発行者、ユーザー、そして公開者は、プライバシーと実用性の間で望ましいトレードオフを選択できるようになり、進化するブロックチェーンの要件に適応できるようになります。CardanoはUASを統合することで、プライバシー保護システムにおけるアイデンティティ、ガバナンス、コンプライアンスをきめ細かく制御できます。 この論文では、ユーザーの身元を秘密に保ちつつ、許可されていることを証明できるデジタル署名の作成方法を解説しています。これにより、設計者は署名の公開度と非公開度を自由に選択できます。これにより、オンライン環境における安全性とプライバシーのバランスを取ることができます。
From Polynomial IOP and Commitments to Non-malleable zkSNARKs 本論文では、多項式IOPとコミットメントスキームから非展性zkSNARKを構築するためのフレームワークを開発し、ゼロ知識システムにおける展性脆弱性に対処します。これにより、証明の改ざんによる偽の証明の作成を阻止し、複雑なプライバシー保護アプリケーションにおける信頼性を高めます。Cardanoはこれらの技術を活用することで、スマートコントラクトのプライバシーを強化し、安全なゼロ知識サイドチェーンの構築をサポートできます。 この論文は、ハッカーが秘密証明をコピーまたは改ざんしてシステムを不正に操作するのを防ぐ方法を説明しています。数学を用いて、秘密情報が秘密に保たれ、偽造できないことを保証します。これにより、プライバシーツールを使用する際にブロックチェーンの安全性が維持されます。
Functional Blockchain Contracts 本論文では、安全性、モジュール性、そして形式検証を重視したスマートコントラクトのための関数型プログラミングモデルを提示しています。ブロックチェーンの相互作用を関数型構造に抽象化することで、コントラクトの動作の推論と監査を簡素化します。Cardanoのスマートコントラクト言語Plutusはこれらの原則に沿っており、より安全で構成可能なオンチェーン金融ロジックのための関数型パラダイムの活用を強化しています。 この論文では、安全でシンプルなビルディングブロックを用いてブロックチェーンプログラムを書く方法を紹介します。これにより、バグを早期に発見し、プログラムを理解しやすくなります。Cardanoは、これらのアイデアをコントラクト言語Plutusに採用しています。
Game theory analysis of incentive distribution for prompt generation of the proof tree in zk-SNARK based sidechains このゲーム理論研究では、zk-SNARKサイドチェーンにおいて、証明者への報酬を公平に分配し、タイムリーな証明生成を促進する方法を分析しています。戦略的なインセンティブ設計を通じて、スピードへの報酬と不正行為の抑制のバランスを取ります。Midnightのようなzk対応サイドチェーンを検討しているCardanoは、このモデルを採用することで、証明者の参加を促進し、安全な運用を実現できる可能性があります。 この論文は、プライベートブロックチェーンシステムのセキュリティ確保に貢献した人々に公正な報酬を支払うことについて論じています。ゲーム数学を用いて、人々が正しい行動をとることを確実にします。これは、秘密取引機能を備えたCardanoのようなブロックチェーンに役立ちます。
Generalized Proofs of Knowledge with Fully Dynamic Setup 本論文では、「合意と証明」というフレームワークを紹介します。これは、知識証明を一般化し、動的な相互作用と設定依存の関係を可能にすることで、プライバシーを保護しながら柔軟に認証とファイル所有権の証明を可能にするものです。また、実世界のアプリケーションにおける正式なプライバシーと健全性の保証も含まれています。これは、Cardanoのプライバシーおよびガバナンスレイヤーにおける高度な分散型アイデンティティ、認証、アクセスシステムの基盤となる可能性があります。 ルールが変更された場合でも、パスワードなど、何かを知っていることを、それを見ることなく証明する方法を説明します。これは、プライベートログインや所有権の証明に役立ちます。Cardanoのプライベート機能にも活用できます。
Ghosts of Departed Proofs (Functional Pearl) 本論文では、Haskellにおける「Ghosts of Departed Proofs」(GDP)という手法を紹介する。これは、証明をファントム型としてエンコードすることで、実行コストをかけずにコンパイル時に不変条件を強制するものである。この手法は、より安全なAPIと証明付きコードを提供し、特にPlutus開発において、Cardanoが重視する高保証関数型プログラミングと形式手法と整合している。 この論文では、コード内の目に見えない「証明」を用いて、実行前にエラーを検出する方法を示しています。これにより、プログラムの速度を低下させることなく、より安全なプログラムを構築できます。Cardanoはこのアイデアを活用して、より優れたスマートコントラクトを構築できます。
GUC-Secure Commitments via Random Oracles: New Impossibility and Feasibility 本論文は、ランダムオラクルモデル(ROM)における普遍的に構成可能な(UC)セキュアコミットメントの実現可能性を再検討し、ブラックボックス構造における新たな不可能性結果を証明し、より強い仮定の下で実現可能なスキームを特定する。Cardanoにとって、これは、特にPlutusやサイドチェーンにおけるランダムオラクルベースのスキームを利用する場合、(機密トランザクション、ZK証明、ガバナンスで使用される)セキュアコミットメントを証明可能なセキュリティ保証とともに設計する方法に影響を与える。 この論文は、公開ヘルパーシステムを用いた際に、どのような種類の安全なデジタル「ロック」が効果的に機能するか、あるいは機能しないかを示しています。これは、ブロックチェーンアプリがより安全な選択を行うのに役立ちます。Cardanoはこれを安全な契約や投票に活用できます。
High-Throughput Blockchain Consensus under Realistic Network Assumptions 著者らは、変動するネットワーク遅延を許容しながら高いスループットを実現するコンセンサスプロトコルを提案し、ネットワーク同期に関する従来の前提に挑戦しています。このプロトコルは、メッセージ配信の遅延下でも、厳格な時間制限を必要とせずに安全性と活性性を実現します。Cardanoも同様の戦略を採用することで、分散性を維持しながらスケーラビリティを向上させることができ、特にHydraやレイヤー2アプリケーションに有用です。 この論文では、ネットワークが低速または信頼性が低い場合でも、ブロックチェーンがスムーズに動作し続ける仕組みについて解説しています。トランザクションを迅速に合意するためのスマートな方法を提供しています。Cardanoはこれを活用することで、より高速なアプリを開発する可能性があります。
How Does Satoshi Set His Clock? Full Analysis of Nakamoto Consensus 本論文は、時間に関する仮定がナカモト合意にどのような影響を与えるかを分析し、遅延とランダム性がセキュリティを弱める可能性があることを示す。システムが同期されたグローバルクロックを欠いている場合や、緩いタイミングを使用している場合の脆弱性を明らかにする。Cardanoのプルーフ・オブ・ステーク合意は、これらの弱点を理解することで、スロットスケジューリングとブロックファイナリティにおける同様のリスクを回避することができる。 ビットコインのタイミングシステムが適切に同期されていない場合に何が起こるかを説明しています。時間ルールが緩すぎると、ハッカーに悪用される可能性があります。Cardanoは、この事例からセキュリティ維持の方法を学べるでしょう。
How to Compile Polynomial IOP into Simulation-Extractable SNARKs: A Modular Approach 本論文では、多項式インタラクティブオラクル証明(PIOP)をシミュレーション抽出可能なzkSNARKにコンパイルするためのモジュール式フレームワークを提案します。これにより、適応型攻撃下でも高い整合性が確保されます。また、これを実現するための多項式コミットメントの十分条件も概説しています。Cardanoはこれを適用することで、プライバシー重視のサイドチェーンやガバナンス投票メカニズムといったzkベースのシステムのセキュリティを向上させることができます。 この論文は、数学ベースのプライバシーツールを、偽造不可能なより安全なバージョンに変える方法を示しています。これにより、プライベートブロックチェーンのトランザクションを、たとえ巧妙な攻撃からでも安全に保つことができます。Cardanoは、これをプライベートアプリに活用する可能性があります。
How to Prove Work: With Time or Memory 本論文では、時間またはメモリを希少資源として用いるアドバイスベースのプルーフ・オブ・ワーク方式を紹介し、エネルギー消費量と専用ハードウェアへの依存を低減する構成を提案する。これらの方式は、計算上の仮定に基づいて安全性が証明され、調整可能である。Cardanoは、より持続可能なコンセンサス方式の代替手段として、あるいはサイドチェーン設計の改善のために、これらの方式を検討する可能性がある。 これは、作業証明に電気ではなく時間またはメモリを使用するというものです。これによりエネルギーが節約され、システムの公平性が高まります。Cardanoはこれを活用して、より環境に優しいブロックチェーンを構築できる可能性があります。
Hydra: Fast Isomorphic State Channels Hydraは、メイン台帳と同一の構造を維持する同型ステートチャネルを用いた高速オフチェーントランザクション処理のためのプロトコルを導入し、低レイテンシかつ高スループットのスケーリングを実現します。CardanoのUTxOモデルとの互換性を保ちながら、並列実行と決済をサポートします。Hydraは、マイクロトランザクションとdAppsを効率的にサポートすることを目指し、Cardanoのスケーラビリティロードマップの礎となっています。 Hydraは、メインブロックチェーン外で多くのトランザクションを処理することで、Cardanoの高速化を実現する方法です。Cardanoの通常のシステムと同様に動作し、ゲームや高速決済などに最適です。Hydraは、Cardanoの速度を低下させることなく成長するのに役立ちます。
Impossibility on Tamper-Resilient Cryptography with Uniqueness Properties 本論文は、一意性を強制する耐改ざん性暗号システム(例えば、使い捨てトークンや認証情報)が、特定のモデルにおいては本質的に限界があることを証明しています。これは、使い捨て保証を強制するハードウェアウォレットやスマートコントラクトの設計に影響を与えます。Cardano実装者は、攻撃シナリオにおいて一意または反復不可能なアクションに依存するシステムを設計する際に、これらのトレードオフを考慮する必要があります。 この論文は、たとえ最も安全なシステムであっても、誰かが改ざんし、一度しか使用できないはずの部品を再利用しようとすれば、機能不全に陥る可能性があることを示しています。これは安全な暗号資産ウォレットを設計する上で重要な点です。Cardanoは、特別な契約においてこの点に注意を払う必要があります。
Improved EFX Approximation Guarantees under Ordinal-based Assumptions この研究は、順序付け(ランキングベース)の選好に基づく、分割不可能な財(NFTやガバナンス役割など)の配分における公平性の保証を改善します。これにより、従来よりも容易に近似最適配分(EFX)を実現できることを示しています。Cardanoは、これらの手法を分散型ガバナンスにおいて活用することで、公平な意思決定や役割の割り当てを実現できる可能性があります。 この論文は、人々が「何が好きか」しか言えず、「どれだけ好きか」は言えない場合に、報酬やタスクなどを公平に分配するより良い方法を提示しています。これは、Cardanoのようなブロックチェーンがより公平な意思決定を行うのに役立ちます。
Improving Authenticated Dynamic Dictionaries, with Applications to Cryptocurrencies 本論文では、認証済みAVL+ツリーを用いた口座残高の高速検証をサポートする効率的なデータ構造を提案し、証明サイズと検証コストの両方を削減します。これにより、軽量クライアントは、すべてのデータへのフルアクセスを必要とせずにブロックチェーンの更新を検証できるようになります。Cardanoは、これらの構造を軽量ウォレットとスケーラブルなノード検証に採用することで、分散型参加という目標に合致するソリューションを実現できます。 この論文では、ブロックチェーン上のアカウント残高を、すべてをダウンロードすることなく迅速に確認する方法を紹介しています。これにより、小型デバイスでもCardanoを安全かつ高速に利用できるようになります。
Incentives Against Power Grabs 本論文は、プルーフ・オブ・ステークシステムにおけるステークプール運営者が、権力を維持するために委任の変更を検閲し、カルテルを形成する可能性を分析しています。また、ランダム監査とバンドルトランザクションを用いたゲーム理論的な解決策を提案し、検閲を防止します。これは、Cardanoがステークプールモデルにおいて、どのように分散化を強化し、ガバナンスの捕捉を防ぐことができるかを直接的に示唆しています。 この論文は、ブロックチェーンシステムにおいて強力なプレイヤーがリーダー交代を妨害する可能性があると警告しています。そして、これを阻止し、公平性を維持する方法を提案しています。Cardanoはこれらのアイデアを活用することで、真の分散化を維持できるでしょう。
Intents on the Extended UTxO Ledger 本論文では、Cardanoの拡張UTxO(EUTxO)台帳において、より柔軟で部分的に仕様が定められたトランザクションを可能にする「インテント」モデルを提案する。このモデルは、未知の相手方とトランザクションを構築し、後から「検証ゾーン」を経由して完了させることを可能にすることで、Babel Feesメカニズムを一般化する。このアプローチは、委任されたトランザクションの構築や柔軟なスマートコントラクトの実行といったユースケースを可能にしながら、形式的な保証を維持する。 これにより、Cardanoの取引を、詳細をすぐに把握することなく行うことができます。他の人は、安全性を保ちながら、後から取引を完了することができます。これにより、スマートコントラクトの使いやすさが向上します。
Interhead Hydra: Two Heads are Better than One 本稿では、Hydraを拡張し、複数のHydraヘッドにまたがる仮想ステートチャネルを実現することで、チャネルネットワークを介したマルチパーティのオフチェーンインタラクションを実現します。また、担保ベースのセキュリティを備えた、単一のHydraヘッドを超えた制約放出マシン(CEM)の実行を可能にするインターヘッド構造を導入します。このアプローチは、Cardanoのオフチェーン機能を拡張し、レイヤー2環境を横断する複雑なdAppインタラクションをサポートします。 この論文では、CardanoのHydraチャネルをリンクすることで、多くの人がメインチェーン外でゲームをプレイしたり、より速く取引したりできるようにする方法を説明します。共有ルールとバックアッププランを使用することで、安全性が確保されます。
Introduction to the Design of the Data Diffusion and Networking for Cardano Shelley このドキュメントでは、Shelley時代のCardanoネットワーク層の設計を概説し、ピア選択、トポロジー、データ拡散戦略に焦点を当てています。公平性、堅牢性、そしてEclipse攻撃への耐性を重視しています。これらの基本的な選択が、Cardanoの分散型ネットワークにおける情報の安全な拡散方法を形作ります。 Cardanoがどのように通信相手を選定し、ノード間で安全にデータを送信するかを説明しています。これにより、ネットワークは公平になり、攻撃を受けにくくなります。
Kachina: Foundations of Private Smart Contracts Kachinaは、理想的な台帳モデルにおいてゼロ知識証明を用いて、プライベートスマートコントラクトの挙動とセキュリティを形式化します。オフチェーンのコントラクト状態とオンチェーンの検証をサポートし、プライバシーと正確性のバランスを保ちます。プライバシー拡張やサイドチェーン(Midnightなど)に取り組んでいるCardano開発者は、これらのモデルを用いて安全なプライベート計算セマンティクスを定義できます。 データの機密性を保つスマートコントラクトの構築方法を示しています。誰もあなたのデータを見ることができなくても、ルールは守られます。Cardanoはこれを利用してプライベートアプリを構築できます。
Kaleidoscope: An Efficient Poker Protocol with Payment Distribution and Penalty Enforcement 本稿では、ブロックチェーンスマートコントラクトを用いて支払いとペナルティの適用を行う、証明可能かつ安全で効率的なポーカープロトコル「Kaleidoscope」を紹介します。このプロトコルは、ゲームの大部分をオフチェーンで実行し、必要な場合にのみコンパクトなオンチェーンのウィットネスを使用します。Cardanoスマートコントラクト開発者は、このアプローチを適用することで、効率的で公正なゲームや紛争耐性のあるアプリケーションを構築できます。 この論文は、ブロックチェーンを用いてオンラインポーカーを公平にプレイする方法を示しています。誰かが不正行為をしたり、ゲームから降りたりした場合、その人は罰せられますが、他の人は報酬を受け取ることができます。Cardanoはこれを活用して、楽しく公平なゲームを実現できる可能性があります。
Leakage-Free Probabilistic Jasmin Programs 本論文は、確率的アルゴリズムにおけるサイドチャネル漏洩の不存在を保証するJasminプログラム用の型システムを提供します。これにより、定数時間保証を維持しながら、構成可能で効率的な低レベルコードが可能になります。Cardanoは、このようなツールを採用することで、低レベル実装においても暗号ルーチン(例えば、鍵のステーキング操作やゼロ知識プリミティブ)の安全性を確保できます。 この論文では、プログラムの実行速度を監視するハッカーから機密情報を守る安全なコードの書き方を示します。Cardanoのようなブロックチェーン向けに安全な暗号化技術を開発する際に役立ちます。
Leakage-Resilient Cryptography from Puncturable Primitives and Obfuscation この論文では、たとえ秘密情報が部分的に漏洩したとしても安全性を維持する暗号プロトコルを構築する新たな手法が紹介されています。プログラム難読化とパンクチャブル暗号化を組み合わせることで、様々な状況における漏洩耐性を実現します。Cardanoはこれをウォレットのセキュリティ強化や、プライバシー保護アプリケーション向けのより堅牢な暗号コンポーネントの開発に応用できる可能性があります。 たとえ一部が漏洩したとしても、秘密を安全に保つ方法を解説しています。これにより、ウォレットやプライベートメッセージなどのCardano上のセキュリティが強化されます。
Learning Structure-Aware Representations of Dependent Types 本論文では、機械学習モデルが構造化型表現を用いてAgda証明を推論するためのニューラルアーキテクチャ(QUILL)を紹介します。QUILLは、依存型の背後にある構造的論理を用いることで、より優れた証明の提案と検証を可能にします。このアプローチは、特にPlutusで記述されたスマートコントラクトやAgdaで開発されたスマートコントラクトにおいて、Cardano形式検証ツールにメリットをもたらす可能性があります。 スマートパターンを用いて、コンピューターが複雑な数学プログラムを理解し、記述する方法を学習するのに役立ちます。これにより、Cardano開発者は安全なブロックチェーンコードを容易に記述できるようになります。
Ledger Combiners for Fast Settlement 本研究では、複数の台帳が決済のために効率的に連携することを可能にする「台帳コンバイナー」と呼ばれるフレームワークを提示しています。これは、安全な台帳間通信をモデル化し、トランザクション処理の並列化を可能にします。Cardanoはこのアプローチを用いて、HydraやMidnightといったサイドチェーンやパートナーチェーンをサポートし、高速かつ安全な連携を実現できる可能性があります。 この論文では、異なるブロックチェーンが連携してトランザクション処理を高速化する方法を示しています。これは、異なる高速道路をお金のために繋ぐようなものです。Cardanoはこれを高速アプリに活用できます。
Lightweight Virtual Payment Channels (Extended Version) 本論文では、マルチ署名とタイムロックのみを必要とし、スマートコントラクトを必要としない、UTXOベースのチェーンに適した新しい仮想チャネルプロトコルを提案します。このプロトコルは、Plutusを必要とせずにCardano上でスケーラブルなオフチェーン決済を可能にし、マイクロトランザクションや分散型ゲートウェイなどのサービスをサポートします。このプロトコルはUniversal Composability Frameworkで形式化されており、多層の仮想チャネルをサポートします。 スマートコントラクトを使わずにCardano上で高速に送金する方法を示します。オフチェーンで支払いを行いながら、安全性を確保できます。ストリーミングサービスや少額決済などに役立ちます。
Maravedí: A Secure and Practical Protocol to Trade Risk for Instantaneous Finality 本論文では、ブロックチェーン環境における当事者が決済リスクと迅速なファイナリティをトレードオフできるプロトコル「Maravedí」を紹介する。金融デリバティブの概念を用いて、ユーザーはより迅速な取引承認のために一定のリスクを受け入れることができる。Cardanoとの関連性は、分散性を損なうことなく取引のファイナリティを向上させる点にあり、Cardanoのステーキング層とスマートコントラクト層に適用可能である。 この論文では、金融の考え方を用いてブロックチェーン取引を高速化する新しい方法を紹介しています。小さなリスクを安全に受け入れることで、より迅速な結果を得る方法を示しています。このアイデアは、Cardanoのシステムをより効率的にするのに役立つでしょう。
Marlowe: Implementing and Analysing Financial Contracts on Blockchain Marloweは、Cardanoブロックチェーン上で金融契約を記述・実行するために設計されたドメイン固有言語です。形式意味論によって正確性を保証するため、非プログラマーでもより安全かつシンプルな契約作成が可能になります。これは、安全で検証可能なスマートコントラクトを通じて金融包摂を実現するというCardanoのミッションに直結しています。 Marloweは、Cardano上で安全な金融契約を作成するための特別なプログラミングツールです。契約が期待通りに機能することを保証します。プログラマーでなくても簡単かつ安全に使用できます。
Memory Lower Bounds of Reductions Revisited この理論論文は、縮約を用いてある問題を別の問題に変換する際にどれだけのメモリが必要かを考察する。既知の下限を再検討し、ある種の計算縮約についてそれらを改善している。抽象的なものではあるものの、その成果はメモリ効率の高い変換パスを特定することで、Cardanoのスマートコントラクト・プラットフォームの最適化に役立つ可能性がある。 この論文は、ある種類の問題を別の種類の問題に変換するために必要なコンピュータメモリ量を研究しています。メモリ使用量を削減するより良い方法を見つけ出すことで、Cardanoのようなブロックチェーンの効率向上に貢献できる可能性があります。
Message-passing in the Extended UTxO Ledger Model この論文では、拡張UTxO(EUTxO)モデルを用いてメッセージパッシングを可能にする手法を提案しています。この手法では、共有状態を必要とせずにスマートコントラクト間で通信するためのプロトコルが導入されています。これはCardanoのEUTxOモデルと非常に関連性が高く、DAppの構成可能性と相互運用性を向上させます。 この論文では、異なるCardanoスマートコントラクトが安全に相互通信する方法を示します。Cardano独自のシステムを用いてアプリ間のメッセージングを可能にし、Cardano上でより優れたアプリを構築するのに役立ちます。
Mind Your Outcomes: The ΔQSD Paradigm for Quality-Centric Systems Development and Its Application to a Blockchain Case Study ΔQSDパラダイムは、遅延と障害の確率モデルを用いて、完全実装前にシステムパフォーマンスを構造的に評価する方法を提供します。これは、CardanoのShelleyアップグレードにおいて、ブロック拡散とスケーラビリティの向上に効果的に適用されました。この手法は、Cardanoのグローバルブロックチェーンインフラストラクチャの信頼性と効率性を向上させます。 この論文では、システムを構築する前に、それが適切に動作するかどうかを確認する方法が紹介されています。この論文は、Cardanoがネットワーク上で新しいブロックを送信する方法を改善するのに役立ちました。これにより、システムの速度と信頼性が向上しました。
Mining for Privacy: How to Bootstrap a Snarky Blockchain 本論文は、信頼されたセットアップなしで再帰SNARKに基づくプライバシー保護ブロックチェーンを起動するためのプロトコルを提示しています。分散型かつ効率的なゼロ知識証明生成に焦点を当て、そのようなシステムを安全にブートストラップするためのメカニズムを提案しています。Cardanoはこれらの概念を統合することで、Midnightやその他のプライバシー重視のレイヤーを分散型SNARK生成によって強化することができます。 この論文では、SNARKと呼ばれるスマート数学証明を用いて、安全でプライベートなブロックチェーンを構築する方法を解説しています。中央の信頼できる機関は必要ありません。Cardanoはこのアイデアを、Midnightのようなプライバシープロジェクトに活用できるでしょう。
Mining in Logarithmic Space この理論的な研究は、対数メモリ空間のみを用いてマイニング(有効なブロックの探索)を行う方法を示しています。これは、ビットコインのプルーフ・オブ・ワークの低メモリ版を導入し、基本的なセキュリティ保証を維持しています。Cardanoはプルーフ・オブ・ステークをベースとしていますが、これらのアイデアを軽量クライアントやハイブリッドプロトコルの最適化に活用できる可能性があります。 この論文は、非常に少ないメモリでブロックチェーンブロックをマイニングする方法を示しています。これにより、小型デバイスでのマイニングが可能になります。Cardanoは、これを軽量アプリやハイブリッドシステムの改善に活用できる可能性があります。
Minotaur: Multi-Resource Blockchain Consensus Minotaurは、プルーフ・オブ・ワークとプルーフ・オブ・ステークを安全に組み合わせたコンセンサスプロトコルを導入します。リソース間の最適な代替性を実現し、システム全体のセキュリティは、組み合わせた閾値に依存することを意味します。これは、Cardanoのハイブリッドシステムの探求と整合しており、コンセンサスの柔軟性と堅牢性を向上させる将来のアップグレードにも役立ちます。 Minotaurは、ブロックチェーンの安全性を維持するために、作業と所有権の両方を活用する新しい方法です。マイニングとステーキングを公平に組み合わせています。Cardanoはこれを将来のシステムの改善に活用する可能性があります。
Mithril: Stake-based Threshold Multisignatures Mithrilは、参加者のサブセットを表す、ステーク重み付けされたコンパクトな署名を生成する手段を提供します。特に、高速ブートストラップ、軽量クライアント、サイドチェーンに有用です。Cardanoは、ノードの同期と状態検証におけるスケーラビリティとユーザーエクスペリエンスを向上させるために、Mithrilを直接統合しています。 Mithrilは、ステーク保有量に応じて、多くの人の投票を用いて簡潔で強力な証明を作成します。これにより、デバイスがブロックチェーンをより高速に検証できるようになります。Cardanoはこれを利用して、アプリの動作をよりスムーズにしています。
Models for Generation of Proof Forest in zk-SNARK Based Sidechains 本論文では、サイドチェーンに二分木を用いて、zk-SNARK証明の並列生成を構造化し最適化する方法を解析します。決定論的および確率論的な証明生成をモデル化し、シミュレーションと数学的解析を用いて効率性を評価します。このアプローチは、証明のスケジューリングとスループットを向上させることで、CardanoのMidnightをはじめとするzk対応エコシステムをサポートします。 この論文は、プライベートブロックチェーンにおける証明作成を木構造を用いて体系化する方法を示しています。効率的かつ公平に証明作成を行う方法を検証しています。Cardanoは、Midnightのようなプライバシー技術にこれを活用できる可能性があります。
MODELS OF DISTRIBUTED PROOF GENERATION FOR ZK-SNARK-BASED BLOCKCHAINS 本論文では、zk-SNARKベースのブロックチェーンのスケーラビリティと効率性を向上させるための、分散型ゼロ知識証明生成のための複数のモデルを検証します。証明木構造、通信パターン、そして様々なネットワーク環境下におけるパフォーマンスのトレードオフを分析します。Cardanoのプライバシー重視のチェーンであるMidnightは、これらのモデルを採用することで、プライベートスマートコントラクトとサイドチェーンにおけるzk-SNARK証明生成を改善できる可能性があります。 この論文は、人々がグループとなって、より迅速かつ優れたプライベート証明を作成する方法を示しています。作業を共有する様々な方法を比較しています。Cardanoはこれを、Midnightのようなプライバシー技術に活用できます。
Modular Design of Secure Group Messaging Protocols and the Security of MLS 著者らは、安全なグループメッセージングプロトコルを分析・設計するためのモジュール式フレームワークを提示し、特にIETFのメッセージング層セキュリティ(MLS)標準に焦点を当てています。著者らは、前方秘匿性と侵害後のセキュリティが維持される条件を特定しています。ガバナンスやマルチパーティコンピューティングのためのCardano関連ツールは、オフチェーン通信層におけるこのような安全なグループメッセージングフレームワークの恩恵を受ける可能性があります。 この論文では、安全なグループメッセージを送信する方法について解説しています。誰かが侵入した場合でも、メッセージのプライバシーを維持する方法を示しています。Cardanoはこれをチームチャットやガバナンスチャットの改善に活用できる可能性があります。
Multi-instance Publicly Verifiable Time-lock Puzzle and its Applications 本論文では、検証可能かつ効率的なマルチインスタンスタイムロックパズル方式を提案しています。この方式により、複数のタイムロックされた秘密を並行して公開することが可能になります。これにより、トラストレスなデータとコミットメントのタイムドリリースが可能になり、公開検証が可能になります。これは、安全かつ検証可能な遅延を備えたCardanoベースのガバナンス、オークション、エアドロップなどに役立つ可能性があります。 このアイデアにより、信頼がなくても、秘密をロックして特定の時間に公開することができます。複数の秘密を一度にロック解除できます。Cardanoはこれを安全な投票やトークンの付与に活用できます。
Multi-mode Cryptocurrency Systems 本論文では、複数のノードタイプ(例:フルノードとライトクライアント)を持つ暗号通貨システムのセキュリティを分析するための形式モデルを紹介します。スナップショットの永続性やマルチモードの健全性といった定義を提案し、異なるノードタイプ間の一貫性を確保します。フルウォレットモードとライトウォレットモードをサポートするCardanoは、多様なクライアント間のセキュリティ確保において、この研究から直接恩恵を受けています。 この論文では、ライトウォレットとフルウォレットを安全に連携させる方法を解説しています。また、ミスを防ぐためのルールも定めています。Cardanoはこれを活用して、モバイルウォレットを改善できます。
Multi-party Private Function Evaluation for RAM 本論文では、分散ORAMを用いたRAMマシン上でプライバシー保護機能を評価する4者間システムを開発しています。このシステムは、メモリアクセスパターンやロジックを漏洩させることなく、秘密のプログラムやデータをサポートします。このアプローチは、Cardanoのオフチェーン計算やMidnightのようなプライバシーレイヤーにおけるプライバシーを強化する可能性があります。 このシステムは、実行中のプログラムとそれが使用するデータを隠蔽します。メモリパターンさえも非公開です。Cardanoはこれを、極めてプライベートなアプリに活用する可能性があります。
Native Custom Tokens in the Extended UTXO Model 本論文では、CardanoのEUTXO台帳を拡張し、マルチアセットトークンをネイティブにサポートするEUTXOmaモデルを紹介します。このモデルは、表現力の向上を示す形式化を提供し、カスタムトークンの発行、ステートスレッド型コントラクト、NFTによるトレーサビリティの向上を可能にします。これはCardanoのネイティブトークン機能を直接的に駆動し、Plutusスマートコントラクトプラットフォームの基盤となっています。 Cardanoはシステムをアップグレードし、ユーザーが独自のコインを作成できるようにしました。これにより、スマートコントラクトの柔軟性が向上し、追跡が容易になります。新しいシステムはCardanoの基本ルールに組み込まれているため、効率的です。
MUSEN: Aggregatable Key-Evolving Verifiable Random Functions and Applications MUSENは、時間の経過とともに鍵を進化させ、エポックをまたいで集約を可能にする、新しいクラスの検証可能ランダム関数(VRF)を導入します。これにより、ブロックチェーンのランダム性とコミッティ選出において、効率的かつスケーラブルになります。Cardanoはこれを利用して、エポックレベルのランダム性を強化し、ステークベースのリーダー選出を改善できます。 この論文では、時間の経過とともに安全に変化する乱数を選択するための新しいツールを提案しています。これは、Cardano上でブロックを作成する人を決定するのに役立ちます。また、動作が高速化され、メモリ容量も節約できます。
New Design Techniques for Efficient Arithmetization-Oriented Hash Functions: Anemoi and Jive 本論文では、ゼロ知識証明システム向けに最適化されたAnemoiハッシュ関数とJiveハッシュ関数を紹介しています。これらの関数は、効率的な算術演算を提供することで証明コストを削減し、SNARKへの統合性を向上させます。これは、zk-SNARKの性能に依存するMidnightのようなCardanoのプライバシーレイヤーにメリットをもたらします。 著者らは、秘密証明を高速化する2種類の新しい数学ツールを構築しました。これらのツールは、ブロックチェーン上のプライベートアプリの動作を向上させるのに役立ちます。Cardanoは、これらのツールをプライバシーシステムに活用できます。
Non-Interactive Proofs of Proof-of-Work 本研究では、すべてのブロックをリプレイすることなく、大規模なプルーフ・オブ・ワーク(PoW)ブロックチェーンを圧縮・検証する手法を提示します。これにより、軽量クライアントは最小限の計算量でブロックチェーンの履歴を効率的に検証できるようになります。Cardanoは、同様の原理をPoSブロックチェーンやパートナーチェーンの検証に適用できる可能性があります。 この論文は、大規模なブロックチェーンを細部まで確認することなく検証する方法を示しています。これにより、モバイルユーザーやライトユーザーにとって処理速度が大幅に向上します。Cardanoはこのアイデアを活用して、小規模なウォレットの使い勝手を向上させることができます。
Ofelimos: Combinatorial Optimization via Proof-of-Useful-Work Ofelimosは、マイニングが新しいDPLSアルゴリズムを用いて現実世界の最適化問題を解く、Proof-of-Useful-Work(PoUW)ブロックチェーンプロトコルを提案しています。このプロトコルは、形式的なセキュリティと効用分析を備えており、敵対的な状況下でもプロトコルが安全であることを保証します。Cardanoは、PoUWの考え方を持続可能性のために応用したり、検証可能で有用な計算機能を備えたMidnightやHydraを拡張したりすることができます。 このシステムは、エネルギーを無駄にすることなく、ブロックマイニングにおける現実的な問題を解決します。安全性と公平性は維持されます。Cardanoは、これを環境に優しい、あるいはスマートなコンピューティングチェーンに活用する可能性があります。
One-shot Signatures and Applications to Hybrid Quantum/Classical Authentication 本論文では、ワンショット署名、つまり一度しか使用できず、その後は自己消滅する量子署名について紹介します。これにより、従来の通信のみで署名委任、量子マネー、そしてブロックチェーンレスな暗号通貨を実現できます。Cardanoは、このような暗号プリミティブを用いることで、プルーフ・オブ・ステークのセキュリティを拡張したり、プライバシー機能を実現したり、あるいはガバナンスや認証におけるハイブリッド量子アプリケーションの検討に活用できる可能性があります。 この論文は、量子技術を用いて一度しか機能しない署名を作成する方法を示しています。これは、デジタルマネーやプライベートシステムのセキュリティ強化に役立ちます。Cardanoは、この論文を活用して将来のブロックチェーンを攻撃から保護できる可能性があります。
On the (Ir)Replaceability of Global Setups, or How (Not) to Use a Global Ledger この論文は、台帳のようなグローバルな設定の前提が、異なる暗号プロトコル間で安全に再利用できる場合とできない場合の、その状況と方法を定式化しています。また、台帳の盲目的な再利用に対して警告を発し、一見些細な変更であっても重大なセキュリティ脆弱性につながる可能性があることを指摘しています。これは、特にサイドチェーンやミドルウェアの再利用に関して、Cardanoのモジュール型ガバナンスとプロトコルアップグレード戦略に大きな影響を与えます。 この研究は、台帳のような共有ツールを多くの場所で再利用することは危険であると警告しています。小さな変更でさえセキュリティを侵害する可能性があります。Cardanoは、古いシステムの上に新しい部分を構築する際には注意が必要です。
On Seedless PRNGs and Premature Next 本研究では、シードを必要としない疑似乱数生成器(PRNG)を研究し、特定の暗号条件下での予測不可能性に焦点を当てています。本研究では、初期エントロピーのない安​​全な乱数の限界を明らかにする構成と不可能性結果を提示しています。Cardanoにとって、これは特に将来のスマートコントラクト・プラットフォームやリーダー選挙を設計する際に、VRFのような堅牢なオンチェーン乱数源の必要性を改めて示すものです。 この論文では、秘密シードを必要とせずに乱数を生成する方法を検証しています。有効な方法と無効な方法も示しています。Cardanoは、予測不可能かつ公平性を維持するために、強力な手法を使用する必要があります。
Ordering Transactions with Bounded Unfairness 本論文では、「境界付き不公平性」を定義し、不公平な順序付けのトランザクションがブロックチェーン内でどの程度まで変動するかを測ります。また、グローバルクロックに依存せずに、ほぼ最適なトランザクション順序の公平性を実現するTaxisと呼ばれるプロトコルを紹介します。公平性と分散性を重視するCardanoは、これを応用してトランザクション順序を改善し、フロントランニングなどの不正操作を防ぐことができます。 この論文は、ブロックチェーン上の取引が混乱した順序で到着した場合でも、公平に順序付けする方法を示しています。また、順序の不公平さを制限する方法も提案しています。「タクシー」と呼ばれる新しいシステムは、共有クロックを必要とせずに公平性を維持するのに役立ちます。
On the Potential and Limitations of Proxy Voting: Delegation with Incomplete Votes この論文は、委任型ガバナンスにおける代理投票の有効性、特に投票が不完全な場合の有効性を検証しています。委任は参加を促進する一方で、慎重に設計されなければ最適ではない決定につながる可能性があることが示されています。CardanoのDRepシステムは、不完全な投票入力を効果的に処理するための安全策を組み込むことで、より効果的なものになる可能性があります。 他者(代理人)を通して投票できるようにすると、より多くの人が参加しやすくなりますが、適切に行われないとミスが発生する可能性があります。この論文では、この問題の解決方法を説明しています。これは、Cardanoのように人々が投票を委任するシステムにとって重要です。
On UC-Secure Range Extension and Batch Verification for ECVRF この研究は、検証可能乱数関数(VRF)を拡張し、暗号学的保証を破ることなくバッチ検証を行う安全な方法を提供します。これらの機能強化は、分散型アプリケーションのパフォーマンスとセキュリティの向上に役立ちます。Ouroborosのリーダー選出にVRFを使用しているCardanoは、これを安全かつ効率的にスケーリングするために適用できます。 システムにおけるランダム性を高速化し、安全性を維持することを目的としています。これは、Cardanoのようにランダム選択に依存するブロックチェーンに有用です。一度に多くの項目をチェックする場合でも、プロセスの安全性を維持します。
Optimizing Liveness for Blockchain-Based Sealed-Bid Auctions in Rational Settings 著者らは、参加者が合理的に行動するブロックチェーン上での密封入札オークションの設計方法を研究しています。彼らは、公平性を損なうことなく「ライブネス」(応答性)を維持する手法を提案しています。Cardanoはこのアプローチを、公平かつ効率的なオンチェーンオークションに採用できる可能性があります。 ブロックチェーン上で、誰もがそれぞれの利益を追求する秘密オークションを開催する方法について解説します。目標は、物事を迅速かつ公平に進めることです。Cardanoのような公正な入札システムの構築に役立ちます。
Ouroboros Chronos: Permissionless Clock Synchronization via Proof-of-Stake Chronosは、外部の時刻ソースに依存せずに、プルーフ・オブ・ステークを用いてノードがクロックを同期できる分散型の方法を導入します。これにより、ネットワーク全体で一貫したスロットタイミングが確保され、潜在的に悪意のある、あるいは信頼性の低いシステムクロックへの依存が軽減されます。CardanoはChronosを活用することで、時間関連のセキュリティと分散性を向上させることができます。 この論文は、Cardanoのようなブロックチェーンが外部からの支援なしに時間について合意できる仕組みを示しています。時間を共有する相手を決定するためにステークが用いられます。これにより、すべてがより安全かつ公平になります。
Ouroboros Crypsinous: Privacy-Preserving Proof-of-Stake Crypsinousは、暗号技術を用いてブロック生成者の身元を隠蔽することで、検証可能なコンセンサスを維持しながら、プルーフ・オブ・ステークにプライバシーを追加します。これにより、参加者は検閲やターゲティングから保護されます。CardanoはCrypsinousを活用することで、セキュリティの保証を維持しながらユーザーのプライバシーを強化できる可能性があります。 この論文は、ブロックの作成者を秘密に保つ方法を発見しました。たとえ秘密であっても、誰もがシステムを信頼することができます。Cardanoはこれをユーザーのプライバシー保護に活用できる可能性があります。
Ouroboros Genesis: Composable Proof-of-Stake Blockchains with Dynamic Availability Genesisは、以前のOuroborosバージョンを強化し、新しいノードが過去の履歴を全て把握することなく安全に参加し、正しいチェーンを決定できるようにします。これにより、任意の時点からのブートストラップが可能になり、システムの回復力と拡張性が向上します。CardanoはGenesisを使用して、新規ユーザーによる安全かつ高速な同期を実現しています。 これにより、新規ユーザーは古いブロックをすべて確認することなく、安全にブロックチェーンに追いつくことができます。時間とデータの節約になります。Cardanoはこれを利用して、同期をより高速かつ安全にしています。
Ouroboros Leios: Design Goals and Concepts Leiosは、トランザクション、エンドースメント、そして最終的なコンセンサスを分離することでスループットを飛躍的に向上させる、並列かつ多層的なブロックチェーン設計を導入します。これにより、セキュリティを維持しながら、ノードの効率的かつ同時実行が可能になります。Cardanoは、分散性を損なうことなくトランザクション容量を拡張するために、Leiosを採用する予定です。 Leiosは、処理をレイヤーに分割することでCardanoの速度を向上させます。これにより、一度に多くの処理を実行できるようになります。セキュリティを維持しながら、Cardanoの速度を向上させます。
Ouroboros Praos: An Adaptively-Secure, Semi-Synchronous Proof-of-Stake Blockchain Praosは、攻撃者が参加者を適応的に不正に操作した場合でも安全であり、半同期ネットワーク(遅延が不明)で動作することで、以前のバージョンよりも優れています。プライベートリーダー選挙と高度な暗号化技術を使用することで、動的な脅威に対してシステムのセキュリティを維持します。Cardanoは現在、コアコンセンサスにPraosを採用しています。 Praosは、攻撃者が計画を変更した場合でもCardanoの安全を確保します。メッセージの遅延にも機能します。これは、Cardanoが現在使用している基本システムです。
Ouroboros: A Provably Secure Proof-of-Stake Blockchain Protocol この基礎論文では、厳密な暗号学的証明を用いた、証明可能安全性を備えた初のプルーフ・オブ・ステーク・プロトコルであるOuroborosを紹介します。Ouroborosは、エネルギー集約型のマイニングをステークベースのリーダー選挙に置き換え、Cardanoブロックチェーンの中核を形成します。この設計により、準同期環境におけるセキュリティと公平性が確保されます。 Ouroborosは、エネルギーではなくステークを用いてブロックチェーンを安全に保つ方法を示しています。これは、人々が保有するコインに基づいてリーダーを選出します。Cardanoはこれを利用して安全なシステムを構築しています。
Ouroboros-BFT: A Simple Byzantine Fault Tolerant Consensus Protocol このプロトコルは、短期的なネットワーク移行に適したシンプルなBFTメカニズムを提供し、必要なノード数は2~3ノードのみです。高速かつ同期性に優れ、実用的なブートストラップやフェデレーション向けに設計されています。Cardanoは、ByronからShelleyへの移行時に、暫定的なコンセンサスプロトコルとしてこれを使用しました。 これは、ほとんどの人が正直であれば、ブロックチェーン上で迅速かつ安全な意思決定を行う方法です。Cardanoは新しいシステムへの移行時にこれを使用しました。短期間であればうまく機能します。
Parallel Contests for Crowdsourcing Reviews: Existence and Quality of Equilibria この論文は、CardanoのProject Catalystのような分散型環境において、レビュー担当者に報酬を与える方法を研究しています。シンプルな報酬ルールを用いることで、良好なレビュー範囲と品質に近い均衡状態が得られることを証明しています。これは、Cardanoガバナンスのための公平かつスケーラブルなインセンティブメカニズムの設計を支援するものです。 Cardanoのようなシステムで提案をレビューする人に公平に報酬を支払う方法を説明しています。シンプルな報酬方式でも効果はあります。これはCardanoが提案レビューをより適切に管理するのに役立ちます。
PARScoin: A Privacy-preserving, Auditable, and Regulation-friendly Stablecoin PARScoinは、ゼロ知識証明と選択的な監査可能性を通じて、ユーザーのプライバシーと規制遵守のバランスをとるステーブルコインモデルを提案しています。追跡可能でありながら匿名性の高い決済をサポートし、CBDCやCardanoのようなブロックチェーンエコシステムに役立ちます。これは、Cardanoにおけるプライバシー重視のステーブルコイン実装の指針となる可能性があります。 このコインは支払いのプライバシーを保ちながら、必要に応じて当局による確認を可能にします。ルールと公平性を保つ上で有益です。Cardanoはこれを安全でプライバシーに配慮したデジタル通貨として活用できる可能性があります。
Partial Allocations in Budget-Feasible Mechanism Design 本研究では、エージェントから部分的なサービス(時間やサービスレベルなど)を割り当てるメカニズムを設計し、強力な近似保証のもと、真実かつ予算内で実現可能な結果を​​実現します。これは、Cardanoのようなシステムにおける分散型ガバナンスとオンチェーン資金調達にとって重要な、柔軟な寄付を可能にする調達モデルを発展させます。 これは、資金が限られている場合にタスクを公平に分担する方法を示しています。また、一部の業務を担当する人を雇用するスマートな方法も示しています。Cardanoはこのアイデアを活用して、コミュニティの雇用に資金を提供することができます。
Pay To Win: Cheap, Crowdfundable, Cross-chain Algorithmic Incentive Manipulation Attacks on PoW Cryptocurrencies この論文は、攻撃者がクラウドファンディングとアルゴリズム戦略を用いて、ビットコインのようなプルーフ・オブ・ワーク(PoW)チェーンを低コストで操作できることを実証しています。CardanoはPoS(Proof of Stake)を採用していますが、この論文では経済的インセンティブを慎重に設計することの重要性を強調しています。CardanoのPoS設計はこれらのリスクを回避できますが、ゲーム理論上の同様の脆弱性については依然として注意が必要です。 攻撃者は、巧妙なクラウドファンディングを駆使することで、ビットコインのようなシステムを安価に騙すことができます。Cardanoは異なる手法を採用していますが、それでも注意が必要です。適切な設計は、悪意のある行為者からシステムを守るのに役立ちます。
Payment Trees: Low Collateral Payments for Payment Channel Networks? 著者らは、決済チャネルネットワークに必要なロック資金の量を削減するための「ペイメントツリー」を提案している。これにより、オフチェーン取引の高速化と低コスト化が実現する。CardanoのHydraや将来のレイヤー2システムは、大規模な資金ロックアップなしでのスケーリングにおいて、この仕組みの恩恵を受ける可能性がある。 この論文は、より少ない資金で送金する方法を示しています。これは、チームワークを活用して資金をより速く移動させるようなものです。Cardanoはこれを活用して、支払いをより安価にする可能性があります。
PEReDi: Privacy-Enhanced, Regulated and Distributed Central Bank Digital Currencies PEReDiは、マルチパーティ計算と選択的な情報開示を用いてプライバシーと規制のバランスをとるCBDC向けフレームワークです。コンプライアンスを維持しながら、許可された場合には匿名利用をサポートします。Cardanoは、プライバシーを尊重するステーブルコインやCBDCフレームワークの構築において、同様の手法を採用する可能性があります。 政府のデジタル通貨を非公開にしつつ、ルールを遵守するというものです。場合によっては匿名性を維持することも可能です。Cardanoはこれを、規制されたプライベートな決済に活用できる可能性があります。
Permissionless Clock Synchronization with Public Setup この論文はOuroboros Chronosを基盤とし、信頼できるセットアップや中央サーバーを必要としないクロック同期手法を提案しています。ノードは公開乱数とプルーフ・オブ・ステークを用いて時刻同期を行うことができます。これにより、Cardanoは分散性を維持しながら、コンセンサス時刻の正確性を維持することができます。 この研究は、ブロックチェーンが誰にも信頼されずに時間について合意できる仕組みを示しています。ランダム性とステークが活用されています。Cardanoはこれを活用して、正確性と公平性を維持できる可能性があります。
Policy-Compliant Signatures PCSスキームでは、受信者とポリシーに一致する属性を持つ署名者のみが有効な署名を作成できます。これにより、トランザクションルールを強制しながら、強力なプライバシーが確保されます。CardanoはPCSを適用することで、スマートコントラクトへのアクセスや規制されたトークンの転送を制御できます。 PCSは、ルールに基づいて誰がメッセージに署名できるかを制御するのに役立ちます。情報のプライバシーを維持しながら、不正使用を防止します。Cardanoはこれをルールベースのトランザクションに活用できる可能性があります。
Post-Quantum Security of the Bitcoin Backbone and Quantum Multi-Solution Bernoulli Search この論文は、量子攻撃者がビットコインのバックボーンプロトコルに与える影響を評価し、より正確なモデルとして量子MSBSを紹介しています。ナカモト合意はパラメータを調整することで安全性を維持できるものの、将来のシステムは量子探索能力を考慮する必要があることを示しています。Cardanoはこの分析を用いて、PoS合意の量子耐性向上に向けた将来のアップグレードを導くことができます。 この研究は、量子コンピュータが現実のものとなった場合にブロックチェーンに何が起こるかを検証しています。新たな数学的手法を用いてブロックチェーンを安全に保つ方法を示しています。Cardanoはこれを将来の備えとして活用するかもしれません。
Practical Settlement Bounds for Longest-Chain Consensus 著者らは、プルーフ・オブ・ワーク(PoW)およびプルーフ・オブ・ステーク(PoS)システムにおいて、トランザクションがどの程度の速さで不可逆になるかについて、精緻な分析を行っている。これらの限界値は、システム設計者がセキュリティのために必要な承認回数を見積もるのに役立つ。PoSモデルを採用するCardanoは、トランザクションのファイナリティに関するこれらの理論的な保証の恩恵を受けている。 これは、ブロックチェーンのトランザクションが真に安全になるまでにどれくらいの時間を待つ必要があるかを示します。Cardanoはこれを用いて、何ブロック待つべきかを決定します。より速く、より安全な承認を実現します。
Practical Settlement Bounds for Proof-of-Work Blockchains 本研究はビットコインのようなPoWシステムに特化しており、現実的な仮定の下で正確な決済境界を導出しています。CardanoはPoSベースですが、その数学と手法は独自のコンセンサスにおいても同様の分析に役立っています。これは、Cardanoが敵対的状況下におけるファイナリティに関する理解を深めるのに役立ちます。 この論文では、ビットコインのようなトランザクションが変更不能になるまでにどれくらいの時間を待つべきかを説明しています。Cardanoはビットコインとは異なりますが、この論文はCardanoにとっても安全性の学習に役立ちます。
Privacy Preserving Opinion Aggregation 本論文では、準同型暗号とゼロ知識証明を用いて、個々の回答を学習することなく統計情報(アンケート結果など)を収集・計算するプロトコルを設計しています。これにより、プライバシーを保ちつつ信頼性の高いデータ収集が可能になります。Cardanoは、これをCatalystのガバナンス投票やプライベートコミュニティの投票に活用できる可能性があります。 誰が何を言ったかは確認せずに、グループの回答を収集します。プライバシーは保護されつつ、結果は真実のままです。Cardanoはこれを投票に活用できるかもしれません!
Privacy-Preserving Blueprints 著者らは、機密性の高い状況(監視リストへの登録など)において、匿名の認証情報を検証し、必要な場合を除き個人情報を開示しないフレームワークを提示しています。著者らはこれを、ElGamal暗号化とブループリント型のゼロ知識プロトコルを用いて実装しています。Cardanoは、プライバシーに準拠した本人確認や、規制における選択的な情報開示にこれを活用できる可能性があります。 必要な場合を除き、身元を明かすことなく、リストに載っていないことを証明できます。これにより、あなたの情報を安全に保ちながら、悪質な人物の逮捕にも役立ちます。Cardanoは、これを信頼性の高いプライベートなIDチェックに活用できます。
Privacy-Preserving Decision-Making over Blockchain 本論文では、参加者の個々の入力を明らかにすることなく、ブロックチェーン上で意思決定(投票や選出など)を可能にするプロトコルを提案しています。このプロトコルは、準同型暗号やゼロ知識証明といった暗号ツールを用いて、プライバシーと検証可能性を両立させています。Cardanoは、このプロトコルをCatalyst投票などのガバナンスシステムに導入することで、投票者の匿名性を維持しながら結果の完全性を確保することができます。 これは、グループが秘密裏に意思決定を行いながらも、それが公平であることを証明できることを示しています。誰もあなたの投票を知りませんが、正しく集計することは可能です。Cardanoの投票には最適です。
Probability Models of Distributed Proof Generation for zk-SNARK-Based Blockchains 著者らは、zk-SNARKベースのブロックチェーンシステムが分散的に有効な証明をいつ、どのように生成するかを分析するための確率モデルを提案しています。このモデルは、証明の信頼性とレイテンシのバランスをとるためのシステムパラメータ設定に関するガイダンスを提供します。Cardanoは、このモデルをHydraやMidnightといったZKベースの拡張機能の調整に活用できる可能性があります。 この論文では、証明作成がいつ、どのように行われるかを管理する方法を解説しています。これは、速度と信頼性のバランスをとるのに役立ちます。Cardanoはこれを将来のZK技術に活用することができます。
Probability of Double Spend Attack for Network with Non-Zero Synchronization Time この研究は、PoWブロックチェーンにおける二重支払いリスクを、現実世界のメッセージ遅延を用いて数学的にモデル化したものです。ブロック配信時間が長く、ブロック生成頻度が高いほど、攻撃者のパワーが50%未満の場合でも、攻撃の成功率が高まることを示しています。Cardanoはこのモデルを用いることで、リスクシナリオをより適切にシミュレートし、PoSコンセンサスセキュリティを強化することができます。 ネットワーク遅延が長ければ、攻撃者はより容易に不正行為を行うことができます。小規模な攻撃者であっても、勝利する可能性があります。Cardanoはこの計算を利用して安全を確保しています。
Probability of Double Spend Attack for Network with Non-Zero Time Delay 上記と同様に、本論文ではモデル化を連続時間PoWブロックチェーンに拡張し、伝播遅延が二重支払い攻撃の成功に対するセキュリティ閾値を大幅に低下させることを再確認しています。また、様々な攻撃リスクに必要な確認ブロック数を定量化しています。Cardanoはこれらの式を適用して、遅延のあるネットワーク環境下における堅牢性を評価できます。 この研究は、遅延が攻撃の可能性をどのように高めるかを正確に示しています。また、安全を確保するために何ブロック待つ必要があるかも示しています。Cardanoの設計に役立ちます。
Probability of Double Spend Attack for PoS Consensus with Ouroboros Praos Slot Leader Election Procedure 著者らは、Ouroboros Praosを用いて、PoSブロックチェーンにおける二重支払い攻撃の確率を分析しました。これには、ゼロ遅延通信モデルと遅延通信モデルの両方が含まれます。また、攻撃リスクを推定するための正確な上限式も提供しています。Praosを採用しているCardanoは、これらの知見をスロットパラメータと確認ルールの微調整に直接適用できます。 これは、Cardanoが特定の攻撃に対してどれほど安全であるかを説明しています。実際のCardanoの計算と設定を使用しています。この結果は、どのくらいの確認を待つべきかを決定するのに役立ちます。
Program Logics for Ledgers この論文は、スマートコントラクトと分散台帳の挙動を推論するための形式論理フレームワークを提案しています。このフレームワークは、高信頼性アプリケーションにとって不可欠な、契約の正当性を機械検証によって証明することを可能にします。Cardanoは、これをPlutusコントラクトに適用することで、信頼性と正当性を確保し、メリットを得ることができます。 この論文では、スマートコントラクトが期待通りに動作するかどうかを確認する方法を示しています。これは、実行前に問題を発見するのに役立ちます。Cardanoはこれを活用して、より安全なコントラクトを構築できます。
Proof-of-Burn 本論文は、「プルーフ・オブ・バーン」の暗号学的基盤を分析します。これは、ユーザーがリソースのコミットメントを証明するためにコインを破棄するという概念です。この概念を形式化し、公正なトークン発行やブートストラッピングサイドチェーンといった安全な応用例を考察します。Cardanoは、トラストレスなトークン配布やレピュテーションメカニズムにプルーフ・オブ・バーンを実装できる可能性があります。 コインを燃やすことは、真剣さの証明になります。新しいプロジェクトを公平に立ち上げるのに役立ちます。Cardanoは、トークンを配布したり、信頼を築いたりするためにこれを利用するかもしれません。
Proof-of-Stake Blockchain Protocols with Near-Optimal Throughput 本論文では、セキュリティを維持しながら、ほぼ最適なトランザクションスループットを実現する形式モデルとPoSプロトコルを提案します。複数のチェーンを並列に実行し、正当なブロックを再統合することで、このプロトコルは堅牢性を犠牲にすることなく帯域幅を最大化します。Cardanoはこれらの知見を活用して、将来的にOuroborosのスケーラブルなバージョンを設計することができます。 これは、安全性を損なうことなく、Cardanoでより多くのトランザクションを処理できるようにする方法を示しています。秘訣は、複数のチェーンを同時に使用することです。これにより、ネットワークの高速性と公平性が維持されます。
Proof-of-Stake Sidechains 本論文では、PoSシステムにおけるサイドチェーンの構築方法を紹介し、信頼できる当事者を介さずにブロックチェーン間で双方向のトークン転送を可能にする。このサイドチェーンは、暗号学的証明と正直な多数決に基づく仮定に基づいてセキュリティを確保している。Cardanoはこれを用いることで、分散性を維持しながらクロスチェーンアプリケーションを実現できる。 異なるブロックチェーン間でトークンを安全に送る方法を解説しています。第三者を信頼する必要はありません。Cardanoはこれを利用して他のチェーンに接続できます。
Proof-of-Work Sidechains 本論文では、非対話型プルーフ・オブ・ワーク(NIPoPoW)を通じてPoWブロックチェーンを連携させる分散型手法を提示しています。この手法は、一方向および双方向のペグされた資産移転と、ブロックチェーン間での汎用イベントトリガーをサポートします。CardanoはPoSですが、チェーン間イベントとトークンペグモデルは相互運用性設計に活用できます。 これは、2つのブロックチェーンが相互に通信し、トークンをやり取りする方法を示しています。特別な短縮証明を使用しています。Cardanoはこのアイデアをクロスチェーンアプリに活用できます。
Proof-of-Work-based Consensus in Expected-Constant Time 本論文では、バイアスリーダー選出などの技術を活用し、セキュリティを犠牲にすることなく期待定数の確認時間を実現するPoWコンセンサスプロトコルを提案する。CardanoはPoSを採用しているが、高速なPoWファイナリティから得られる知見は、PoSフォーク選択ルールの最適化に活用できる。Cardanoは、このようなモデルを適用して、ユーザーにとっての承認遅延を削減する可能性がある。 これは、PoWシステムにおいてどのブロックが勝つかをより速く決定する方法です。ブロックチェーンの応答速度を向上させるのに役立ちます。Cardanoも同様のアイデアを活用して、より迅速な決定を下すことができます。
Proofs about Network Communication: For Humans and Machines この論文は、Coqや対話型証明支援ツールといったツールを用いて、人間と機械の両方が検証可能な方法でネットワーク通信プロトコルを形式化しています。この厳密なアプローチは、分散システムにおける信頼性を確保します。Cardanoは、これらの形式手法をP2P層やスマートコントラクト通信に適用することで、正確性を向上させることができます。 これは、ネットワーク内のメッセージが正しく動作することを確認する方法を示しています。人間とコンピューターの両方が理解できる証明です。Cardanoはこれをネットワークコードの二重チェックに活用する可能性があります。
Proportionality Guarantees in Elections with Interdependent Issues 本研究では、複数の争点にまたがる選択肢を持つ選挙において、有権者を公平に代表する方法を分析します。比例代表制の概念を、液体民主主義や政策バンドルといった状況に拡張します。Catalystや憲法制定プロセスなどのCardanoガバナンスツールは、この理論を複数の争点を扱う投票システムに活用できます。 関連する多くのトピックについて人々が投票する際に、公平な決定を下すのに役立ちます。たとえ問題が重複していても、誰もが発言権を持つことができます。Cardanoはこれを複雑なコミュニティ投票に活用できます。
Provably Secure Blockchain Protocols from Distributed Proof-of-Deep-Learning 本論文では、深層学習による学習をプルーフ・オブ・ワーク(PoW)として用いることで検証可能かつ安全な台帳特性を実現する、正式なブロックチェーンプロトコルを提案する。このモデルは分散型貢献と報酬分割をサポートする。Cardanoは現在PoSを採用しているが、このコンセプトは将来、環境に優しくAIを統合したコンセンサスメカニズムに応用される可能性がある。 マイナーはパズルを解く代わりにAIモデルを訓練します。これは安全かつ公平です。Cardanoはこれを活用してAIとブロックチェーンを融合させるかもしれません。
Reasonable Agda is Correct Haskell: Writing Verified Haskell using agda2hs 著者らは、形式検証済みのAgdaコードを読み取り可能なHaskellコードに変換するツール(agda2hs)を発表した。これにより、検証済みのソフトウェアを主流のHaskellプロジェクトで利用できるようになる。このツールは、IOGにおけるCardano開発において、信頼できるシステムコンポーネントの開発に活用されている。これにより、Cardanoインフラストラクチャとスマートコントラクトのための高信頼性ツールが実現される。 このツールは、安全性が実証されたプログラムをHaskellコードに変換するのに役立ちます。Cardanoは、重要な部分にバグがないことを確認するためにこれを使用しています。まるで数学を使ってコードを二重チェックするようなものです。
Reducing Latency of DAG-based Consensus in the Asynchronous Setting via the UTXO Model 本論文では、Cardanoと同様にUTXOモデルを用いることで、非同期環境におけるDAGベースのコンセンサスのパフォーマンスを向上させることを提案しています。UTXOはアカウントベースのモデルよりも高い並列性と低レイテンシを実現することを示しています。Cardanoはこれらの技術をDAG型またはレイヤー2の改善に統合することができます。 UTXOは、ネットワークが乱雑な状況でもトランザクション処理を高速化するのに役立ちます。これは、タスク同士が衝突しないように整理するようなものです。CardanoはすでにUTXOを使用しているため、UTXOによってさらに高速化される可能性があります。
Reputation at Stake! A Trust Layer over Decentralized Ledger for MPC and Reputation-Fair Lottery 本論文では、評判とブロックチェーンベースのマルチパーティ計算(MPC)を組み合わせた信頼層を提示し、分散型宝くじや協調プロトコルにおける公平性を向上させます。この層は、部分的な参加であってもセキュリティと検証可能性の両方を保証します。Cardanoはこれを、公平なオンチェーンランダム性やシビル耐性投票に適用できる可能性があります。 評判スコアを用いて、人々が安全かつ公平に協力できるようにします。たとえ一部の人が脱落しても、この仕組みは機能します。Cardanoは、信頼できる投票や抽選にこの仕組みを活用する可能性があります。
Reputation-Based Incentive Model for Decentralized Analysis of Development Proposals このモデルは、提案評価者(PA)とベテランPA(vPA)への報酬を評判スコアに結び付けることで、Project Catalystの性能を向上させます。評判は評価の質に基づいて時間の経過とともに構築されるため、不正操作が減り、経験豊富な参加者に報酬が与えられます。これはCardanoのCatalystガバナンスに既に実装されています。 優れたレビュアーはより高い信頼と報酬を得られます。一方、悪いレビュアーはポイントを失います。Cardano Catalystは、この仕組みを利用してレビューを公平かつ有用なものにしています。
Revisiting Key Decomposition Techniques for FHE: Simpler, Faster and More Generic この論文では、完全準同型暗号(FHE)で使用される鍵分解手法の改良を提案し、より効率的な演算を可能にします。これらの技術は、より柔軟でスケーラブルな暗号化計算をサポートします。Cardanoは、これらの改良点をプライバシー保護型スマートコントラクトやZKシステムに統合できる可能性があります。 暗号化されたデータ上でのプライベートな計算をより高速かつ容易に実行できるようになります。これにより、ブロックチェーンは秘密のタスクをより効率的に実行できるようになります。Cardanoはこれをプライバシーツールに活用する可能性があります。
Reward Schemes and Committee Sizes in Proof-of-Stake Governance 著者らは、CardanoのようなPoSシステムにおいて、予算制約下でDRepの報酬と委員会の規模を最適に設計する方法を分析しています。小規模で報酬の高い委員会は、大規模な委員会よりも優れたパフォーマンスを発揮することが多いことを発見し、高い努力を伴う参加を促すための閾値ベースの報酬モデルを提案しています。 少数の勤勉な有権者は、多くの怠惰な有権者よりも優秀です。優秀な候補者だけに報酬を支払うことで、良い選択が勝ちやすくなります。Cardanoはこれを活用して、DRepの選出と報酬の支払い方法を改善できます。
Reward Sharing Schemes for Stake Pools 本論文では、分散化を促進する飽和パラメータを用いた、シビル耐性のトレードオフを備えた報酬分配スキームを紹介しています。これは、Cardanoがステークプールの委任に用いる中核的なメカニズムであり、公平性とセキュリティの両方を確保します。プールの規模と報酬のバランスをとることで、独占を防ぎます。 Cardanoは、ステークプールに報酬を支払うことで、特定のステークプールが過大な規模化を阻止するスマートな方法を採用しています。公平性を保つために数学的な手法を用いています。この論文では、その仕組みを解説します。
Round-Robin Beyond Additive Agents: Existence and Fairness of Approximate Equilibria 著者らは、エージェントの効用が加法性を持たないラウンドロビン方式のスケジューリングにおける公平性を分析し、近似的に公平な結果を設計する方法を示している。これらの手法は、ガバナンスや投票時間枠のメカニズムに活用できる。Cardanoはこれを応用し、多様な利害関係者間で委員会やリソースへのアクセスを公平にローテーションさせる可能性がある。 これは、たとえ人々の価値観が異なっていても、公平にターンを分配することを意味します。この手法は、グループがバランスよくターンを回せるようにするのに役立ちます。Cardanoはこれを、公平な投票や決定スロットに活用できる可能性があります。
ROYALE: A Framework for Universally Composable Card Games with Financial Rewards and Penalties Enforcement ROYALEは、ゼロ知識証明と不正行為に対するペナルティを組み合わせることで、現実世界のインセンティブを備えた、証明可能公平で構成可能なカードゲームを可能にする暗号フレームワークです。同時セッションでもセキュリティを確保します。Cardanoはこれを応用することで、証明可能公平なブロックチェーンゲームや予測市場を構築できる可能性があります。 この論文は、金銭を使ったゲームが公正であり、不正行為者が処罰されることを保証するものです。プレイヤーがルールに従っていることを証明するために数学を用いています。Cardanoはこれを、チェーン上の公正なゲームに活用できる可能性があります。
タイトル 要約 高校生レベルの要約
Scalable and Lightweight State-Channel Audits 本論文は、検証可能な認証情報とゼロ知識セット(ZKS)を用いた正式な監査フレームワークをHydraに拡張し、AMLに準拠しプライバシーを保護しながらオフチェーンのレイヤー2トランザクションの監査を可能にします。また、効率性を犠牲にすることなく信頼性を確保するために、リアルワールドアイデンティティアンカリング(vLEI)を導入しています。Cardanoはこれを採用することで、ユーザーのプライバシーを保護しながら、Hydraステートチャネルを規制当局の規制に適合させることができます。 これにより、高速なオフチェーン決済に安全な監査機能が加わります。規制当局は、すべてを把握することなく、状況を把握できます。Cardanoはこれを活用して、プライバシーと合法性を同時に維持することができます。
SCRAPE: Scalable Randomness Attested by Public Entities SCRAPEは、検証可能な秘密分散を用いた、スケーラブルで公開検証可能な乱数ビーコンを提供します。これは、分散型抽選、委員会選挙、コンセンサス形成に有用です。この乱数は誰でも検証可能であり、信頼できるディーラーに依存しません。Cardanoは、将来のガバナンス強化において、SCRAPEを用いてDRepやバリデータを公平に選定できる可能性があります。 このシステムは誰もが信頼できる乱数を生成します。不正行為をすることなく公平に人を選ぶのに役立ちます。カルダノはこれを委員会の委員選びに活用するかもしれません。
Scripting Smart Contracts for Distributed Ledger Technology 本論文では、スマートコントラクトのスクリプトパラダイムを分析し、形式論理と関数型言語を用いたユーザビリティとセキュリティの向上を提案しています。表現力と安全性の保証のバランスを重視しています。Cardanoは、Haskellベースの関数型スクリプトをセキュアコントラクトに利用するPlutusを通じて、この理念に賛同しています。 安全なスマートコントラクトを書くためのより良い方法について述べています。論理と慎重な設計が用いられます。CardanoのPlutusスマートコントラクトはこの考え方に基づいています。
Secure and Practical Cold (and Hot) Staking この研究は、資金がオフライン(コールドステーキング)のままコンセンサスに参加できる安全なステーキングメカニズムを定式化します。鍵の漏洩や二重署名に耐性のあるモデルと構造を導入します。Cardanoは同様のコールドデリゲーション機能を実装しており、これはステーキングのセキュリティ強化に直接関連しています。 コインをオンラインに保管することなく、安全に報酬を獲得できます。これにより、ステーキングがより安全になります。Cardanoはすでにこの種のシステムを採用しています。
SecureCyclon: Dependable Peer Sampling SecureCyclonは、ビザンチン挙動に耐性を持つピアサンプリングプロトコルであり、敵対的な状況下でも安全な隣接ノード選択を保証します。ネットワーク層の信頼性と分散性を強化します。Cardanoのピアツーピアネットワークは、SecureCyclonを統合することで、シビル攻撃やエクリプス攻撃に対する耐性を強化できます。 ネットワーク内でランダムかつ安全に友達を選ぶのに役立ちます。たとえ一部のノードに問題があっても、この仕組みは機能します。Cardanoはこれを活用して、ネットワークをより安全にすることができます。
Securing Proof-of-Work Ledgers via Checkpointing 本論文では、PoW台帳を51%攻撃から保護するための、連合型と分散型の2つのチェックポイント機構を紹介し、生存性と永続性の両方を保証します。また、「ブロックリード」攻撃についても解説し、ランダム化チェックポイントとタイムスタンプによる防御策も示します。Cardanoは(PoSを通して)、サイドチェーンやクロスチェーンブリッジにおける生存性確保のために、タイムスタンプベースのアイデアを採用できる可能性があります。 スマートチェックポイントを用いて、ビットコインのようなブロックチェーンを大規模な攻撃者から保護します。たとえ悪者が最大の権力を握ったとしても、善良なユーザーは安全です。Cardanoはサイドチェーンの安全性に関して、この事例から学ぶことができます。
Security Analysis and Improvements for the IETF MLS Standard for Group Messaging 本論文は、MLSグループメッセージングプロトコルの脆弱性を特定し、前方秘匿性と内部者攻撃への耐性を高めるための暗号技術の改善を提案しています。Cardanoに特有のものではありませんが、安全なグループメッセージングは​​、機密性の高いガバナンスやDRep通信をサポートできます。また、ブロックチェーンエコシステムにおける安全なオフチェーン連携にも役立ちます。 グループチャットシステムに潜むセキュリティ上の問題をチェックし、修正します。Cardanoはこれを安全なチームメッセージングに活用する可能性があります。
Security Analysis of Slot Leaders Election Procedure for PoS-based Blockchains with On-Chain Randomness Generation この論文は、PoSスロットリーダー選挙におけるオンチェーンランダム性の操作を基盤としたグラインド攻撃を分析しています。攻撃者が有意な影響を与えるには少なくとも40%のステークが必要であり、完全な支配力を得るには44%のステークが必要であることを示しています。これはCardanoのOuroborosに直接当てはまり、公正なリーダー選挙における堅牢なランダム性の重要性を浮き彫りにしています。 誰かがステークの44%を保有している場合、ブロック生成順序を不正に操作する可能性があります。Cardanoも同様のシステムを採用しているため、安全性が保たれています。
Security Limitations of Classical-Client Delegated Quantum Computing この論文は、従来のクライアントが量子コンピュータの動作を非公開で検証したい場合、いくつかのコアとなるセキュリティ特性を犠牲にしなければならないことを証明しています。量子委任における完全なセキュリティには、クライアント側に量子機能が必要である可能性が高いことを示唆しています。Cardanoは現在量子コンピューティングを使用していませんが、将来を見据えたプロトコルでは、こうした限界を認識することが必要になる可能性があります。 量子ツールも持っていない限り、量子コンピューターの動作を秘密裏に確認することはできません。Cardanoは現在これを採用していませんが、将来的には採用する可能性があります。
Self-Reproducing Coins as Universal Turing Machine 本研究は、UTXOベースのシステムにおいて、ルール110を用いて、ネイティブループを介さずに再帰トランザクション連鎖によってチューリング完全なスマートコントラクトを実現できることを実証しています。また、計算が複数のトランザクションをまたがってブロックにまたがることが可能であることを示しています。CardanoのPlutusスクリプトも同様の設計を採用することで、安全性を維持しながらより幅広い表現力を実現できる可能性があります。 ループがなくても、スマートコントラクトは多くのステップを踏めばコンピューターが行うことすべてを実行できます。Cardanoのシステムもこれと同じことができるかもしれません。
Serial Monopoly on Blockchains with Quasi-patient Users 本論文では、ユーザーが待つ意思がある場合(「準忍耐強い」)、取引価格がどのように変化するかをモデル化し、減衰パラメータとしてδを導入する。独占的な価格設定とユーザーの忍耐のなさが、手数料の高騰または変動につながることを明らかにする。Cardanoの手数料とエポックベースの報酬モデルは、明確な対比として明示的に言及されており、これらの知見はCardanoの手数料市場を長期的な持続可能性に向けて改善する可能性がある。 これは、ユーザーが待つことに問題がない場合、手数料がどのように変化するかを示しています。ユーザーが待ちきれない場合は、手数料は高止まりします。Cardanoは異なる方法を採用していますが、この方法から学ぶことができます。
Smart Contract Derivatives 本論文では、「派生」スマートコントラクトがイーサリアム上の他のスマートコントラクトと連携・監視するための新たなメカニズムを紹介します。このメカニズムは、NIPoPoWを用いてイントロスペクトなSPVクライアントを実現します。この設計は、特にコントラクト間通信や分散型保険・先物取引の設計において、Cardanoスマートコントラクトの拡張に活用できます。 この論文は、スマートコントラクトが、特に設計されていなくても連携する方法を示しています。保険や先物取引などを可能にします。イベントが実際に発生したことを証明することで機能します。
SoK: A Stratified Approach to Blockchain Decentralization この研究では、ブロックチェーンの8つのレイヤー(ハードウェアからガバナンスまで)にわたる分散化を測定するための詳細なフレームワークが紹介されています。分散化は多次元的であることを強調し、最小分散化テスト(Minimum Decentralization Test)を提案しています。これは、特にIntersectとVoltaireのガバナンスにおいて、Cardanoの分散化戦略とポリシーの整合性を改善するのに役立ちます。 この論文は、ブロックチェーンが本当に分散化されているかどうかを確認する方法が複数あることを示しています。また、どの部分が少数の人々によって管理されているかを確認するためのチェックリストも提供しています。Cardanoはこれを活用して、ブロックチェーンの公平性と安全性を向上させることができます。
SNACKs: Leveraging Proofs of Sequential Work for Blockchain Light Clients SNACKは、軽量クライアント向けに効率的、安全、かつ簡潔に設計された、Proofs of Sequential Work(PoSW)を用いたブロックチェーンの状態変化検証手法を導入します。これにより、クライアントはチェーン全体を保存することなくチェーンの状態を検証できます。これは、モバイルおよび組み込み型の軽量ウォレットソリューションを実現するというCardanoの目標に関連します。 この論文は、スマートフォンなどの小型デバイスがブロックチェーンを安全かつ迅速に検証するのに役立つ。時間の経過が公正であることを証明するスマートなトリックが用いられている。Cardanoはこれを、より優れた軽量ウォレットの開発に活用できるだろう。
Single-token vs Two-token Blockchain Tokenomics この論文では、単一トークンと2トークンの経済設計を比較し、2トークンシステムの方が変動性の高い投資インセンティブと安定した取引ニーズをより適切に分離できることを明らかにしています。これは、Cardanoによるステーブルコイン(USDAなど)とガバナンストークン(DRepキーや$NIGHTなど)の検討に役立っています。 この論文では、システム内でコインを1枚使う場合と2枚使う場合を比較しています。コインを2枚使うことで、1枚は支出用、もう1枚は投資用として、より効率的に物事を機能させることができます。このアイデアは、Cardanoがより優れたマネーツールを開発するのに役立つでしょう。
Single-Sample Prophet Inequalities via Greedy-Ordered Selection この理論論文では、不確実な状況下で最小限の情報からほぼ最適な選択を行うための貪欲アルゴリズムを紹介しています。抽象的な内容ではありますが、その知見は、財務投票やDRep提案フィルタリングといった資源配分戦略に関するCardanoの研究に活かすことができます。 この数学論文は、たった一度の推測で賢明な選択をする方法を示しています。まるで最高の賞品を得るためにいつ止めるべきかを推測するようなものです。Cardanoはこれを利用して、どのアイデアに資金を提供するかを決定するかもしれません。
SoK: Communication Across Distributed Ledgers 本論文は、信頼できる第三者(TTP)または同期の仮定がなければ、トラストレスなクロスチェーン通信(CCC)は不可能であることを示しています。CCCプロトコルを評価するための設計フレームワークと分類法を提供します。Cardanoはこれを用いて、安全なクロスチェーンブリッジを設計し、Midnightやその他のサイドチェーン統合におけるトレードオフを評価することができます。 論文によると、ブロックチェーンは信頼できる人物や何かがなければ安全に相互通信できないとのことです。論文では様々な方法を示し、それぞれの問題点を説明しています。Cardanoはこれを、他のチェーンへのブリッジを構築する際に活用できます。
SoK: Blockchain Governance 本稿では、ガバナンスモデルをオフチェーン、オンチェーン、ハイブリッドの3タイプに分類し、セキュリティ、分散化、有効性におけるトレードオフを検証します。また、金権政治や有権者の無関心といった課題にも焦点を当てています。Cardanoはこれらの知見を活用し、VoltaireのDRep投票システムとコミュニティ参加メカニズムの改善に役立てることができます。 この論文では、ブロックチェーンがどのように運営され、誰が意思決定を行うのかを考察しています。様々なシステムを比較し、それぞれの長所と短所を考察しています。Cardanoは、この論文から学び、より公平なガバナンスを構築できるでしょう。
SoK: A Taxonomy for Layer-2 Scalability Related Protocols for Cryptocurrencies 本稿では、ペイメントチャネル、プラズマ、ロールアップ、ステートチャネルを含むレイヤー2プロトコルの包括的な分類を提示し、それぞれのセキュリティ、スループット、ユーザビリティの違いに焦点を当てています。スケーリングへのアプローチを比較する際に役立ちます。Cardanoはこの分類を用いて、Hydraやその他の拡張機能と互換性のあるスケーラブルなレイヤー2ソリューションを評価・統合することができます。 この論文では、追加レイヤーを用いてブロックチェーンを高速化する方法について解説しています。様々な手法を分類し、比較しています。Cardanoはこれを活用して、最適なスケーリング方法を選択できます。
SoK: A Taxonomy of Cryptocurrency Wallets 本稿では、ウォレットを保管、プライバシー、セキュリティ、機能性に基づいて分類し、ホットウォレット、コールドウォレット、スマートコントラクトウォレットの脆弱性について概説します。また、ユーザビリティと信頼モデルについても解説します。Cardano開発者は、本稿を活用して、Laceやその他のCardano対応アプリのウォレット設計を改善できます。 この論文では、様々な種類のウォレットとその安全性や使いやすさについて解説しています。また、問題点とその解決方法についても解説しています。Cardanoはこれを活用して、ユーザーにとってより優れたウォレットを開発することができます。
SoK: Algorithmic Incentive Manipulation Attacks on Permissionless PoW Cryptocurrencies この論文は、プルーフ・オブ・ワーク(Proof-of-Work)システムにおける様々なインセンティブ操作攻撃(例えばセルフィッシュマイニング)を分類し、それらがネットワークセキュリティにどのような悪影響を及ぼすかを示しています。また、リスクと防御策を評価するための体系的な手法も紹介しています。Cardanoはプルーフ・オブ・ステークを採用していますが、同様のロジックを適用して攻撃ベクトルとインセンティブを分析できます。 この論文では、利益を得るためにマイニングで不正行為をする人々がどのようにいるのかを解説しています。どのような攻撃が存在し、それをどのように阻止するかを示しています。Cardanoはマイニングを行わないとしても、これらのトリックから学ぶことができます。
SoK: Measuring Blockchain Decentralization 本論文は、コンセンサス、ガバナンス、データ伝播といったブロックチェーンの複数の側面において、分散化を評価するための定量化可能なフレームワークを提案しています。分散化が時間の経過とともにどのように損なわれるかを明らかにし、具体的な指標を提示しています。Cardanoはこのフレームワークを活用することで、ヴォルテール時代の分散化の進捗状況を計測し、実証データに基づいてプロトコルの決定を正当化することができます。 この論文は、ブロックチェーンが本当に多くの人々によって運営されているかどうかを測定する方法を示しています。数値を用いて公平性を追跡します。Cardanoはこれを用いて、ブロックチェーンが分散化されているかどうかを確認できます。
Sonic: Zero-Knowledge SNARKs from Linear-Size Universal and Updatable Structured Reference Strings Sonicは、入力サイズに応じて線形にスケーリングし、効率的な検証をサポートする、汎用的で更新可能なSNARKシステムを導入します。この構造は、透明性とパフォーマンスの両方を提供し、実世界のアプリケーションに実用的です。Cardanoは、高速かつプライバシー保護された証明を実現するために、スマートコントラクトやMidnightのようなサイドチェーンにSonicを適用する可能性があります。 Sonicは、データの正しさを証明しながらデータを秘匿するのに役立ち、しかも高速です。ブロックチェーンで秘密情報を安全に保管するために使用できます。Cardanoはこれをプライベートアプリに活用する可能性があります。
Stake Shift in Major Cryptocurrencies: An Empirical Study 本研究では、大規模PoWブロックチェーンにおけるステーク配分が時間の経過とともにどの程度変化するかを測定し、PoSセキュリティへの影響について考察します。PoSプロトコルにおいて古いステークデータを使用すると、測定可能なリスクが生じることが示されています。Cardanoはこれらの知見を応用し、Ouroborosベースのシステムにおけるステーク配分の遅延によるリスクを評価し、最小限に抑えることができます。 この論文は、暗号資産の保有量が日々どれだけ変動しているかを検証しています。システムが古いデータを使用すると、誤った選択をする可能性があります。カルダノは古い情報を信頼しないように注意する必要があります。
Stake-Bleeding Attacks on Proof-of-Stake Blockchains 本論文では、「ステークブリーディング」攻撃について紹介します。これは、鍵の破損がない場合でも、過去の正当なトランザクションを再現することで、攻撃者が時間の経過とともに報酬を蓄積していく攻撃です。この攻撃は鍵進化型暗号を回避し、コンテキストセンシティブトランザクションなどの緩和策が必要となることを示しています。CardanoのPoSプロトコルは、チェックポイントを削除する場合、このような保護機能を組み込む必要があります。 これは、攻撃者がPoSシステムにおいて、いかにしてゆっくりと不正行為を行い、権力を獲得できるかを示しています。鍵をハッキングしなくても、システムを欺くことは可能です。Cardanoは、このような不正行為を阻止する方法を必要としています。
Standardized Crypto-Loans on the Cardano Blockchain 本稿では、Marlowe DSLとACTUS金融標準を用いて、Cardano上で安全かつ標準化された暗号資産ローンを作成する方法について概説します。スマートコントラクトを安全に生成、テスト、トークン化する方法を示します。本研究は、監査可能で再利用可能な融資手段を備えたCardano上の分散型金融を直接的に実現します。 この論文では、Cardanoを用いて安全かつ自動的なローン取引を行う方法を説明します。契約の構築とテストにはツールを使用します。ローンの権利をトークンとして取引することも可能です。
State Machines across Isomorphic Layer 2 Ledgers 本論文は、Hydraのインターヘッドプロトコルを一般化します。これにより、ステートマシンは同型のレイヤー2台帳間で動作できるようになり、柔軟なUTxO転送、モジュール型セットアップ、そしてローカル紛争解決をサポートします。また、台帳レベルの表現力を維持しながら、仮想ステートチャネルのための安全なプロトコルを提示します。Cardanoはこれを活用して、HydraのスケーラビリティとHydra間通信を強化することができます。 この論文では、スマートコントラクトが複数のオフチェーンレイヤー間で安全に連携する方法を示しています。これにより、CardanoのHydraシステムはより柔軟で強力になります。Cardanoはこれを活用することになり、安全性を損なうことなく、より迅速に成長することができます。
Steel: Composable Hardware-based Stateful and Randomised Functional Encryption Steelは、信頼できるハードウェア(Intel SGXなど)を用いたステートフル演算とランダム演算の両方をサポートする、安全なハードウェアベースの関数型暗号化フレームワークを導入します。複雑なワークフローであってもプライバシーを保護しながら、安全なオフチェーン計算を可能にします。これにより、セキュアエンクレーブを介して、Cardano上で高度なプライベートスマートコントラクトの実行や信頼できるDeFiアプリケーションを実現できます。 この論文は、特別なコンピューターハードウェアを用いて個人データを安全に保つことを可能にしています。複雑でランダムな操作にも有効です。Cardanoはこれを利用して、プライベートアプリや金融ツールを開発できます。
Strategic Liquidity Provision in Uniswap v3 この実証研究では、Uniswap v3における流動性プロバイダー(LP)の行動を分析し、戦略的なLPは価格帯を動的に調整することで、単純なLPよりも優れたパフォーマンスを発揮できることを示しました。この知見は、AMMにおける高度な戦略ツールの必要性を浮き彫りにしています。Cardano DEXはこれを応用し、流動性インセンティブの設計を改善し、変動損失を削減することができます。 この論文は、価格を賢く判断することで暗号資産スワップでより多くの利益を得る方法を示しています。これは、より優れた取引システムの設計に役立ちます。Cardanoはこれを活用して、より優れた取引所を構築することができます。
Stretching the Glasgow Haskell Compiler 本研究では、GHCコンパイラのアーキテクチャ上の問題点を特定し、モジュール性、階層化、保守性を向上させるためのドメイン駆動設計を提案します。CardanoはHaskellとGHC(例えばPlutus)に大きく依存しているため、これらの推奨事項はCardanoのツールとスマートコントラクト基盤の開発を改善する可能性があります。 この論文では、Haskellツールは内部が乱雑なため修正が難しいと述べています。より整理するためのヒントも示されています。CardanoはHaskellを使用しているので、これも役立つでしょう。
Structured Contracts in the EUTxO Ledger Model 本稿では、EUTxO台帳上でステートフルなスマートコントラクトを記述・検証するための正式なフレームワークである構造化契約について紹介します。構造化契約は、スモールステップのセマンティクスと台帳の挙動を結び付け、正当性の証明と複数の実装スタイル(分散型や統合型など)を可能にします。Cardanoに直接適用可能で、形式的な保証によってスマートコントラクトの設計を強化します。 この論文は、スマートコントラクトの安全性と検証の容易化に貢献します。Cardano上のものが設計通りに機能することを証明し、開発者はコントラクトへの信頼を高めることができます。
System F in Agda, for fun and profit 本論文では、Agda内でSystem F型システムを機械化・形式化し、正確な推論と検証を実現する方法を示します。スマートコントラクト言語や形式証明といった、証明可能な正しさを持つコンポーネントを構築するための道筋を示します。Cardanoはこの方法論を用いて、PlutusおよびEUTxOスクリプトシステムの信頼性を向上させることができます。 この論文では、証明ツールを用いて強力な型システムを構築しています。これは、プログラムが期待通りに動作することを確認するのに役立ちます。Cardanoはこれをスマートコントラクトの安全性検証に活用できます。
The Architecture of Decentralised Finance Platforms: A New Open Finance Paradigm この調査では、DeFiアーキテクチャをレイヤー(決済、資産、プロトコル、アプリケーション)別に分類し、オラクルやガバナンスといったリスクを検証しています。将来のDeFiエコシステムにおける構成可能性とモジュール性を重視しています。CardanoのDeFiプロジェクトは、これらの原則に準拠することで、スケーラブルで相互運用性の高いプロトコルを実現できます。 この論文では、DeFiアプリがどのようにレイヤー構造で構築されているかを解説しています。また、不正なデータや不適切な投票といったリスクについても警告しています。Cardanoはこれを活用して、より安全な金融アプリを構築することができます。
The Bitcoin Backbone Protocol with Chains of Variable Difficulty Bitcoin Backboneプロトコルのこの拡張は、可変のマイニング難易度を組み込むことで、現実世界の行動をより適切にモデル化します。変化する状況や敵対的な戦略下におけるセキュリティを証明します。PoWに焦点を当てていますが、その技術はCardanoがPoS環境における適応的な敵対者をモデル化するのに役立ちます。 この論文は、難易度の変化をビットコインのモデルに追加することで改善しています。これは、状況の変化に対するセキュリティの理解に役立ちます。Cardanoはこのアイデアを活用して、ルールをより強固なものにすることができます。
The Brave New World of Global Generic Groups and UC-Secure Zero-Overhead SNARKs 本研究は、汎用グループモデルにおいて、オーバーヘッドゼロでUCセキュアなSNARKを構築し、ブロックチェーン環境における実用的な証明を可能にします。プライバシー保護技術のための強固な暗号基盤を提供します。Cardanoは、このようなSNARKをMidnightまたはzk対応のスマートコントラクトに統合する可能性があります。 この論文は、ブロックチェーンのための高速かつプライベートな証明を構築します。これらは安全かつ効率的であり、Cardanoはこれを秘密のスマートコントラクトに使用できます。
The Combinatorics of the Longest-Chain Rule: Linear Consistency for Proof-of-Stake Blockchains 本論文は、Cardanoのようなプルーフ・オブ・ステーク・ブロックチェーンが最長連鎖ルールの下で線形時間の一貫性保証を実現できることを証明し、主要な未解決問題を解決します。これにより、決済時間は証明可能な限界内で二次式から線形式へと短縮されます。これにより、Cardanoのウロボロス・プロトコルのセキュリティがより厳密に検証されます。 この論文は、PoSブロックチェーンがより迅速かつ安全に決済を行う方法を示しています。これにより、処理速度を低下させていた大きな問題が解決されます。Cardanoは、その設計が堅牢であることを実証しました。
The Extended UTXO Model 本稿では、ビットコインのUTXOモデルを拡張し、ユーザー定義のスクリプトとデータによるスマートコントラクトをサポートする拡張UTXO(EUTxO)モデルを紹介します。このモデルは、関数型スタイルでオンチェーン検証ロジックを適用することで、表現力、決定論性、そしてスケーラビリティを兼ね備えています。CardanoはPlutusベースのスマートコントラクトにEUTxOモデルを採用し、正確な状態制御と並列検証を可能にしています。 この論文は、ビットコイン型のトランザクションをよりスマートに実現する方法を示しています。スマートコントラクト用のカスタムロジックを追加します。Cardanoはこれを独自のコントラクトに活用することで、安全かつ強力なコントラクトを実現しています。
The Generals’ Scuttlebutt: Byzantine-Resilient Gossip Protocols 本論文では、暗号ダイジェストとローカル整合性チェックを組み合わせることで、ビザンチン障害に耐性のあるゴシッププロトコルを提示しています。このプロトコルは、敵対的な状況下でも、正しいノードが最終的に一貫性のあるメッセージセットに合意できることを保証します。Cardanoは、P2Pノード検出やHydraヘッド調整といった分散ネットワーク層における安全なピアツーピア通信にこれを活用できます。 この論文は、たとえ一部に嘘が含まれていても、コンピューターが安全にメッセージを共有することを可能にします。数学的なトリックを用いて、他のコンピューターが真実を伝えているかどうかを検証します。Cardanoはこれを活用して、ネットワークを強固かつ安全に保つことができます。
The Promise of Blockchain Technology for Global Securities and Derivatives Markets 本稿では、ブロックチェーンがグローバルデリバティブ市場におけるシステミックリスクと透明性の問題を解決できると主張しています。スマートコントラクト、透明性の高い決済レイヤー、そしてプログラム可能な流動性を活用し、CCPに代わる分散型台帳(DLT)ベースの代替手段を提案しています。Cardanoは、拡張UTXOモデルと正式なスマートコントラクトを備え、このビジョンに沿った、回復力と透明性に優れた金融プラットフォームを実現する上で有利な立場にあります。 この論文では、ブロックチェーンは金融をより安全かつ明確にすることができると述べています。ブロックチェーンは仲介業者やリスクの高いボトルネックを排除するのに役立ちます。Cardanoはこれを活用して、より優れた金融システムを構築することができます。
The Uber-Knowledge Assumption: A Bridge to the AGM この理論論文は、標準的な暗号学的仮定と代数群モデル(AGM)を橋渡しする「超知識仮定」を提案しています。これは、zkSNARKと構造化仮定におけるセキュリティ推論を強化します。Cardanoは、より強力な形式的仮定に基づく暗号証明システム(例えば、Midnightのプライバシーレイヤー)の設計において、これらの知見を適用する可能性があります。 この数学論文は、物事が安全であることを証明する新しい方法を構築しています。これは暗号学における2つの概念を結びつけるものです。Cardanoはこれを、秘密証明をより良くするために活用することができます。
The Velvet Path to Superlight Blockchain Clients 本論文では、NIPoPoWを用いた超軽量ブロックチェーンクライアントを構築するための、安全でベルベットフォーク対応の手法を紹介しています。アップグレードされたノードが検証可能なメタデータを追加できるようにすることでソフトフォークを回避しつつ、アップグレードされていないピアも許容します。Cardanoはこれを利用して、分散性を損なうことなく同期速度が速い軽量ウォレットやモバイルクライアントを開発できます。 この論文では、スマートフォンが大きなダウンロードなしでブロックチェーンに素早く参加する方法が示されています。従来のルールを破ることなく、新しい機能も追加されています。Cardanoはこれを活用して、ユーザー向けのより高速なウォレットを開発できる可能性があります。
Timed Signatures and Zero-Knowledge Proofs ブロックチェーンのエントロピーから構築された弱いビーコンを用いて、バックデートおよびポストデートに耐性を持つタイムスタンプ付き暗号プリミティブのための正式なフレームワークを導入します。このシステムは、ユニバーサルコンポジション(UC)モデルにおいて安全性が証明されており、ビットコインやウロボロスなどの台帳と互換性があります。これにより、Cardanoは台帳に関する前提条件を最小限に抑えながら、高度なタイムスタンプ付き認証、署名、そしてゼロキーポイント(ZKP)をサポートできます。 ブロックチェーンは、デジタル署名や証明がいつ作成されたかを証明するために使用できます。これにより、日付に関する虚偽の記載を防ぐことができます。この手法は、Cardanoの台帳と非常によく適合します。
Towards a Smart Contract-based, Decentralized, Public-Key Infrastructure コンパクトなRSAアキュムレータを用いたスマートコントラクトベースの分散型PKIを提案し、ブロックチェーンPKIのコストとスケーラビリティの障壁を克服します。この設計はUCセキュアであり、スマートコントラクト機能を備えたCardanoのようなプラットフォームに適しています。これにより、Cardanoはアイデンティティサービスにおいて、トラストレスで公平な認証レイヤーとして機能します。 この論文は、ブロックチェーン上でデジタルIDを公平に検証する方法を提示しています。これにより、データサイズが小さくなり、コストも抑えられます。このシステムは、Cardanoのようなスマートコントラクトプラットフォームに適しています。
Translation Certification for Smart Contracts 本稿では、Plutus Txコンパイラーの認証フレームワークを紹介します。このフレームワークは、Coqを用いてスマートコントラクトが高水準HaskellからPlutus Coreに正しくコンパイルされていることを検証します。このフレームワークは、オンチェーンコードがソースロジックを忠実に表現していることを保証し、ユーザーがコンパイルされたバイトコードを信頼できるようにします。この取り組みは、特に高価値または規制対象のスマートコントラクトのユースケースにおいて、Cardanoのコントラクト保証を直接的に強化します。 この論文は、スマートコントラクトが記述通りに機能することをCardanoが証明するのに役立ちます。数学的なツールを用いて、ブロックチェーン上のコードが元のコードと一致することを確認しています。これにより、人々が使用するものを信頼できるようになります。
Translation Certification for Smart Contracts (Extended Abstract) 同研究の要約。スマートコントラクトの重要な役割を踏まえ、コンパイラの認証の実際的な必要性を強調しています。Plutus Txのような進化するコンパイラのためのスケーラブルな方法として、完全な検証ではなく、翻訳検証を提案しています。これは、Cardanoの進化するスマートコントラクトスタックにおけるモジュール式の信頼をサポートします。 この短縮版では、安全なスマートコントラクトにとってコンパイラのチェックがなぜ重要なのかを説明します。コンパイラ全体をチェックするよりも簡単です。Cardanoはこれを活用して信頼できるコードを作成できます。
Towards Permissionless Consensus in the Standard Model via Fine-Grained Complexity 本論文では、ランダムオラクルのような理想化されたモデルではなく、細粒度の暗号学的仮定を用いた標準モデルにおけるパーミッションレスなコンセンサスプロトコルの構築について考察する。本論文では、局所的に一貫性のある証明を用いた、より弱い仮定の下でのコンセンサスが実現可能であることを示す。Cardanoは、将来のPoSプロトコル開発において、このような手法を適用することで、理想化された仮定への依存を低減する可能性がある。 この論文は、非現実的なモデルのトリックを必要とせずにブロックチェーンのルールを構築しています。慎重な数学的手法を用いることで安全性を確保しています。Cardanoはこれを活用して、より強力なルールを構築できる可能性があります。
Turn-Based Communication Channels 本論文では、タイムロックパズルを用いて同期と一貫性を保ちながら、固定された「順番」でメッセージを交換できる通信プロトコルを提案する。このプロトコルは、両当事者が同じメッセージ履歴を参照できることを保証するため、HydraのようなオフチェーンのCardanoプロトコルやセキュア投票に有用となる可能性がある。ハッシュと遅延のみを用いて、ブロックチェーンに代わる一貫性を実現する。 この論文では、人々が順番にメッセージを送信しながら、変更がないことを確認する方法を示しています。これは、解くのに時間のかかるパズルを用いています。Cardanoは、これを安全なチャットやサイドアプリに活用できます。
Tweakable Sleeve: A Novel Sleeve Construction based on Tweakable Hash Functions 本論文では、調整可能なハッシュ関数に基づく「調整可能スリーブ」構造を紹介し、補助データ(調整値)を用いて入力をハッシュする安全かつ効率的な手法を提供します。このスリーブは、標準的な仮定の下で、衝突耐性とランダムオラクルとの非差別性を保証します。Cardanoは、これをスマートコントラクトのハッシュスキームや、Midnightのようなプライバシーレイヤー向けのSNARK対応の原像耐性ハッシュに活用できる可能性があります。 この論文は、秘密データと追加情報をより安全に混合する方法を提示しています。これにより、攻撃者による推測や誤った混合を阻止できます。Cardanoはこれを安全な契約データに活用できる可能性があります。
TwinsCoin: A Cryptocurrency via Proof-of-Work and Proof-of-Stake TwinsCoinは、PoWとPoSを組み合わせたハイブリッドなコンセンサスメカニズムであり、最大50%の敵対的ステークまたはマイニングパワーを許容します。強力な敵対者下でも、証明可能な一貫性と生存性を示します。CardanoはPoSベースですが、このハイブリッドモデルから得られる知見を活用して、敵対的環境やブリッジプロトコルにおける耐性を評価できます。 このコインは、安全性を確保するためにマイニングとステーキングの両方を利用しています。たとえ悪意のある人物が半分の力を持っていたとしても、このコインは機能します。Cardanoはこの経験から、より強力になる方法を学ぶことができます。
Uncontrolled Randomness in Blockchains: Covert Bulletin Board for Illicit Activity 本論文は、ブロックチェーンプロトコルにおける公開観測可能なランダム性が、秘密通信や犯罪的シグナル伝達に悪用される可能性があることを示している。本論文ではリスクを分類し、ランダム性ビーコンやフィルターによるリスク軽減策を検討している。Cardanoは、エントロピー源(VRFなど)が不正通信に悪用されないよう、それらを見直す必要がある。 この論文は、ブロックチェーン内の乱数が秘密メッセージの送信に利用される可能性があると警告しています。これは悪意のある人物にとって有利に働く可能性があります。Cardanoは、その乱数の安全性を確保する必要があります。
Universal Composable Transaction Serialization with Order Fairness 本研究では、公平な順序付けを保証し、フロントランニングに耐性のある、UCセキュアなトランザクションシリアル化手法を提案しています。これは、ブロックチェーンの実行順序に理想的な機能をもたらします。Cardanoはこれを適用することで、ユーザーをMEVから保護し、より公平なDeFiシステムを実現できます。 この論文は、ブロックチェーンのアクションが公正な順序で実行されることを保証します。これにより、不正行為による先走りを防ぐことができます。Cardanoはこれを活用して、より公平なアプリを開発できます。
Universal Composition with Global Subroutines 本論文では、標準的なUC証明において、時計、台帳、PKIといった共有グローバルコンポーネントを扱うことを可能にするUCGS定理を紹介します。UCGSは、これらのサブルーチンを共有するプロトコルを安全に構成する方法を定式化します。Cardanoは、VoltaireガバナンスやOuroborosにおけるグローバル時間といった、共有設定を伴う厳密なセキュリティ証明にUCGSを使用できます。 この論文は、部品を共有する小規模なシステムから、安全に大規模システムを構築する方法を示しています。すべてが安全であることを証明しています。Cardanoはこれを複雑なシステムルールの検証に活用できます。
Unlinkable Policy-Compliant Signatures for Compliant and Decentralized Anonymous Payments 本論文では、ユーザーが特定のコンプライアンスポリシーを遵守していることを証明しながら匿名性を維持できる新しいタイプのデジタル署名を紹介しています。この署名はゼロ知識証明を用いてプライバシーと規制のバランスを取ります。Cardanoは、プライバシー保護型のDeFiやMidnightのようなIDシステムにこれを導入することで、ユーザーの匿名性を維持しながら法律を遵守できる可能性があります。 この論文は、プライバシーを維持しながらルールを遵守していることを証明する方法を紹介しています。これは、身元を明かさずに許可されていることを示すようなものです。Cardanoはこれを、プライベートかつ合法的な決済に活用できる可能性があります。
Unraveling Recursion: Compiling an IR with Recursion to System F 本論文では、Plutusコンパイラスタックで再帰と相互再帰を効率的にサポートするために用いられる中間表現であるFIRについて解説します。FIRは、構造化されたコンパイルパスを可能にすることで、高水準Haskell機能と低水準System Fωμの橋渡しをします。これは、Cardanoがスマートコントラクトを安全かつ効率的にコンパイルする方法に直接関係しています。 この論文は、スマートコントラクトをより適切にコンパイルするための中間ステップを構築します。これは、繰り返しコードを安全に処理するのに役立ちます。Cardanoは、Plutusでスマートコントラクトを実行するためにこれを使用しています。
Updatable Blockchains? この基礎論文は、「更新可能なブロックチェーン」を正式に定義・構築し、信頼できる第三者を介さずに安全なプロトコルアップグレードを可能にする。ブロックチェーンのアップグレードには2つのコンパイラーが提案されている。1つは効率的だが限定的なもの、もう1つは汎用的だが複雑なものである。Cardanoのハードフォークコンビネーターメカニズムはこれらの原則に沿っており、将来を見据えたガバナンスアップグレードにこうした形式モデルを統合することができる。 この論文では、ブロックチェーンを安全にアップグレードする方法について説明します。信頼できる管理者を必要としません。Cardano独自のアップグレード方法は、これらの考え方に基づいています。
Updatable Policy-Compliant Signatures 本論文は、ポリシー準拠の署名スキームを拡張してアップデートに対応させることで、ユーザーが鍵を変更することなく新しいポリシーに適応できるようにします。これにより、プライバシーと規制上のニーズを長期的にバランスさせることができます。Cardanoは、ポリシーが進化する状況(例えば、dAppのKYCルールの変更など)において、これをID管理ツールや投票ツールに統合することができます。 全てをやり直すことなく、変化するルールに従っていることを証明できます。プライバシーと柔軟性に優れています。Cardanoは、新しい規制のあるアプリにこれを活用できるでしょう。
Upper Bound Probability of Double Spend Attack on SPECTRE 著者らは、SPECTREのようなDAGベースのプロトコルにおける二重支払い攻撃の成功確率の正式な上限を導出しています。また、分析条件と、検閲と二重支払いを組み合わせたハイブリッド攻撃モデルを提示しています。CardanoはSPECTREを使用していませんが、この種の分析は、プロトコルの堅牢性とレイヤー2のスケーリング設計に対するCardanoのアプローチに情報を提供することができます。 この論文は、DAGベースのブロックチェーンにおける不正行為の容易さを研究しています。具体的な数値とアドバイスが示されています。Cardanoはこうした問題を回避する方法を学ぶことができます。
UTxO- vs account-based smart contract blockchain programming paradigms 本稿では、スマートコントラクトプログラミングにおけるUTxOとアカウントベースモデルを比較し、特に形式分析と並行性制御に重点を置きます。UTxOは優れた並列性とよりシンプルな形式推論を提供する一方、アカウントモデルは共有状態によるインタラクションを容易にサポートします。CardanoのEUTxOモデルは、UTxOの安全性と複雑なスマートコントラクトに必要な表現力を組み合わせることを目指しています。 この論文では、ブロックチェーンにおける契約実行の2つの方法を比較しています。UTxOはより安全で分析が容易です。Cardanoは、安全性とスマートさを維持するために、このモデルのバージョンを使用しています。
UTXOma: UTXO with Multi-Asset Support UTxOmaは、スマートコントラクトを必要とせずにユーザー定義トークンをネイティブサポートすることでEUTxOモデルを拡張します。トークンバンドルと、発行とバーンを制御するフォージングポリシーを導入しています。このモデルはCardanoに実装されており、堅牢でスケーラブルなマルチアセットシステムを実現します。 Cardanoでは、コードを書かずに独自のトークンを作成できます。この論文ではその仕組みを説明します。Cardanoにより、様々な種類のコインを安全に簡単に利用できるようになります。
Validity, Liquidity, and Fidelity: Formal Verification for Smart Contracts in Cardano 本論文では、スマートコントラクトの3つの特性、すなわち有効性(実行可能性)、流動性(資金へのアクセス)、そして忠実性(正確な支払い)に基づく正式な定義と検証を提案しています。これはCardanoのMarlowe言語に適用され、契約の正しい動作を静的に保証する手法を提供します。これにより、金融スマートコントラクトが期待通りに動作することを証明することで、その信頼性が向上します。 この論文では、スマートコントラクトがスタックしたり、金銭を盗んだりしないことを確認しています。また、使用前にテストする方法も示しています。Cardanoはこれらのテストを使用してユーザーを保護しています。
Verifying Smart Contract Transformations Using Bisimulations この論文では、プロセス代数(CCS)とバイシミュレーション技術を用いて、Faustusスマートコントラクトとその最適化版が同様に動作することを証明しています。ソースコード上で直接検証することで、コントラクトを個別にモデル化する必要性を回避しています。これにより、コンパイラによる変換が意図されたコントラクトロジックを変更しないことが保証され、CardanoのMarloweスタックの安全性が向上します【170†バイシミュレーションを用いたスマートコントラクト変換の検証】。 この論文は、コントラクトコードを変更してもその意味は変わらないことを証明しています。両方のバージョンが同じように動作することを確認しています。Cardanoはこれを利用して、コントラクトの更新が安全であることを確認しています。
W-OTS+ up my Sleeve! A Hidden Secure Fallback for Cryptocurrency Wallets 本論文では、ECDSAウォレットに耐量子フォールバック署名(W-OTS+)を埋め込む手法「Sleeve」を紹介します。これにより、ユーザーは漏洩した鍵の所有権を証明し、壊滅的な事象発生後の安全な移行が可能になります。Cardanoウォレットは、この手法を採用することで、量子脅威への将来的な耐性を高め、ウォレットの復旧プロトコルを強化することができます【171†W-OTS+ up my Sleeve】。 この論文では、暗号資産ウォレット内に秘密のバックアップキーを追加することを提案しています。メインキーが盗まれた場合でも、それが自分のものであることを証明できます。Cardanoはこれを将来の攻撃から守るために活用できる可能性があります。
WOTSwana: A Generalized Sleeve Construction for Multiple Proofs of Ownership WOTSwanaは、線形木構造またはマークル木構造で構成されたWOTS+署名を用いた、複数のポスト量子フォールバック所有権証明を可能にすることで、スリーブ構造を一般化します。ウォレットの鍵復元、フロントランニング耐性、そして形式的証明による機密性を強化します。Cardanoはこれを採用することで、ウォレットやオフチェーンIDユースケースにおける長期的な鍵管理と量子対応性を向上させることができます【187†WOTSwana】。 この論文は、ウォレットが秘密情報が漏洩した場合でも所有者を証明できるようにするためのものです。隠し鍵を用いることで、これを何度も実行できます。Cardanoはこれを活用して、量子コンピューターのような将来の技術においても安全性を維持できる可能性があります。
Would Friedman burn your tokens? この経済論文は、ブロックチェーンにおける最適なトークン供給ポリシーはフリードマンルールに従い、インフレと実世界の成長のバランスをとるべきだと示しています。特に混雑と不確実性の中で、トークンのバーン(Ethereum EIP-1559など)がどのような場合に福祉を向上させるかを分析しています。Cardanoはこのフレームワークを用いて、ユーザーの効用を最大化するためのトレジャリーと手数料バーンの設計を評価することができます【188†フリードマンはあなたのトークンをバーンするでしょうか?】。 この論文は、コインを燃やすことでシステムがどのように機能するかを示しています。それは、状況の混雑度や不確実性によって異なります。Cardanoはこれを活用して、適切なコインルールを策定することができます。
Watermarkable Public Key Encryption With Efficient Extraction Under Standard Assumptions 本論文では、隠蔽された抽出可能な透かしを通してデータ漏洩を検出できる、透かし入り公開鍵暗号方式を提案する。この方式は、ランダムオラクルに依存せずに、標準的な仮定の下で証明可能なセキュリティを実現する。Cardanoは、オフチェーンやエンタープライズサービスにおける説明責任を維持しながら、機密データ共有にこの暗号化を採用することができる。 この論文は暗号化されたデータに秘密のマークを隠しています。誰かが漏洩した場合、誰が漏洩したかが分かります。Cardanoはこれを、プライベートでありながら追跡可能な共有に活用できます。
What Did Come Out of It? Analysis and Improvements of DIDComm Messaging 本稿では、DIDCommメッセージングプロトコルを分析し、鍵ローテーション、エラー処理、セッションサポートの改善を提案します。これにより、分散型アイデンティティシステムにおけるプライバシー保護通信が向上します。CardanoのAtala PRISMや同様のSSIプラットフォームは、これらのアップグレードによってエージェント間通信プロトコルを強化することができます。 この論文は、デジタルIDチャットをより安全かつ明確にします。メッセージの処理方法に関する問題を修正します。Cardanoはこれを、より優れたIDツールの開発に活用できます。
What Makes Fiat–Shamir zkSNARKs (Updatable SRS) Simulation Extractable? 本論文は、更新可能な構造化参照文字列(SRS)下におけるFiat-Shamir zkSNARKのシミュレーション抽出可能性を研究しています。本論文では、シミュレーション抽出可能性が維持される形式的な条件を提示しており、これは現実世界のゼロ知識プロトコルにおける健全性証明に不可欠です。Cardanoのプライバシーシステム(Midnightなど)は、これらの知見を活用することで、進化する信頼された環境下でもzkSNARKの安全性を確保できます。 この論文は、後から設定を変更した場合でも、秘密の数学証明が依然として機能するかどうかを検証しています。これは、秘密の証明を長期にわたって安全に保つのに役立ちます。Cardanoはこれを活用して、安全なプライバシーツールを構築できる可能性があります。
XorSHAP: Privacy-Preserving Explainable AI for Decision Tree Models XorSHAPは、決定木モデルにおいてSHAP値(AIの意思決定を説明するために使用される)を計算するための、スケーラブルでプライバシー保護された手法を導入します。セキュア・マルチパーティ・コンピューティング(SMPC)、完全準同型暗号化(FHE)、差分プライバシー(DP)などの技術と連携します。これらの手法は、プライバシーに配慮したCardanoスマートコントラクトシステムやガバナンスに直接適用でき、投票や信頼フレームワークにおいて説明可能なAIが活用される可能性があります。 この論文は、AIによる説明をより安全かつ迅速にします。個人情報を開示することなく、AIがどのように意思決定を行うかを理解するのに役立ちます。これは、プライバシーと信頼性の両方が求められるブロックチェーンシステムで活用できる可能性があります。
Zendoo: a zk‑SNARK Verifiable Cross‑Chain Transfer Protocol Enabling Decoupled and Decentralized Sidechains Zendooは、メインブロックチェーン(Cardanoなど)と複数のサイドチェーン間の安全で分散的な通信を可能にするプロトコルを導入します。zk-SNARKを用いて、サイドチェーン内部の情報を公開することなく、チェーン間の転送を検証します。再帰的なzk-SNARKのセットアップにより、メインチェーンはサイドチェーンの仕組みを知らなくても、その有効性を信頼することができます。Cardanoはこのモデルを採用することで、セキュリティを損なうことなく、プライバシーサイドチェーンや機能固有のサイドチェーンに接続できます。 この論文では、詳細を全て明らかにすることなく、異なるブロックチェーン間でコインを移動させる方法を示しています。数学を用いて、正しく行われたことを証明しています。これは、Cardanoがより小規模で特殊な用途のチェーンを扱うのに役立つでしょう。
Zswap: zk‑SNARK Based Non‑Interactive Multi‑Asset Swaps Zswapは、zk-SNARKとバインディング/コミットメント方式を用いて、当事者間のやり取りなしに複数のデジタル資産を交換できるプライバシー保護型スワッププロトコルを提案しています。Zcash Saplingプロトコルをベースとし、ユーザーのプライバシーを完全に維持しながら、DeFiスタイルのトークンスワップを提供します。Cardanoは、拡張UTXOモデルにおけるプライベートなマルチアセットスワップにおいて、この設計の恩恵を受けることができます。 この論文は、異なるトークンを安全かつ秘密裏に交換する方法を示しています。誰が何を取引しているかは誰にもわかりませんが、それでも公平性が証明されています。これは、Cardano上のプライベートDeFiに役立つ可能性があります。
Consistency for Functional Encryption 本論文では、関数型暗号(FE)における一貫性の様々な概念、特に不正な鍵生成者のような敵対的状況下における一貫性について考察する。一貫性(複数回の復号における出力の正確性)と機密性(データのプライバシー)は別個のものであり、独立して検証する必要があることを強調する。Cardanoにとって、これらの知見は、FEを用いた安全なスマートコントラクトや機密計算機能にとって重要である。 関数型暗号化は、暗号化されたデータから何が読み取れるかを制御できます。この論文では、誰かが不正行為を試みても結果が信頼できるかどうかを検証しています。Cardanoはこれをスマートコントラクトの改善に活用できる可能性があります。
Consistency of Proof-of-Stake Blockchains with Concurrent Honest Slot Leaders 本論文は、CardanoのようなPoSブロックチェーンが、カタランスロットやUVP(Unique Vertex Property)といった組み合わせモデルを用いることで、同一スロットに複数の誠実なリーダーが存在する場合でも最適な一貫性を実現できることを証明しています。また、GenesisやPraosといった先行研究よりも弱い仮定の下で、誤差限界が改善されていることを示しています。これは、CardanoのOuroborosプロトコルの進化とネットワークのレジリエンスを直接的に裏付けています。 複数の誠実な人が同時にチェーンに追加した場合でも、システムは正しい状態を維持できます。これにより、Cardanoはより安全かつ高速になります。この研究は、Cardanoで使用されている古い数学モデルを改良するものです。
Continuous Group Key Agreement with Active Security 本論文では、内部者が悪意を持って行動した場合でも機能するグループ鍵合意(CGKA)のための3つのセキュリティモデルと構成を紹介する。これは、リアルタイムのグループ通信のためのスケーラブルで証明可能な安全性を備えた手法を提供する。Cardanoの文脈では、このような暗号プロトコルは、マルチパーティ計算や分散型ガバナンスメッセージングを強化する可能性がある。 この論文は、たとえ誰かが不正行為を行ったとしても、多くの人が安全に共有秘密に合意できる方法を構築しています。これらの方法は安全かつ効率的です。これは、Cardanoのような多くのユーザーが利用するシステムで有用です。
Correctness of Broadcast via Multicast: Graphically and Formally 本論文は、現実世界のデータブロードキャスト手法(マルチキャストなど)が、理論上用いられる理想的な直接ブロードキャストモデルと同様に動作することを示しています。形式モデルとグラフィカルな証明を用いることで、ウロボロスのような理想的なブロックチェーンプロトコルの想定と実際のネットワーク動作との間のギャップを埋めています。これにより、Cardanoにおけるマルチキャストベースのピアツーピアブロック伝播の有効性が実証されています。 ブロックチェーンはネットワーク全体でデータを共有します。本論文は、現実の共有方法が、私たちが想像する完璧な方法と同じくらい安全であることを証明しています。これは、Cardanoのネットワークを安全かつ現実的なものにするのに役立ちます。
CougaR: Fast and Eclipse-Resilient Dissemination for Blockchain Networks CougaRは、近傍ブロックとランダムブロックの両方を利用することでレイテンシとセキュリティを向上させる、高速かつ耐食性のあるブロック伝播プロトコルを提案しています。ブロック配信速度と攻撃耐性において、既存のプロトコルを凌駕しています。Cardanoは、Ouroborosや将来のアップグレードにおいて、このような技術を採用することで、伝播性能を向上させることができます。 この論文では、ブロックチェーン上でブロックを迅速かつ安全に共有する方法を示しています。CougaRは攻撃から保護し、従来の方法よりも優れた性能を発揮します。CardanoはCougaRを活用することで、ネットワークの高速化と安全性向上を図ることができます。
Embedded Pattern Matching 本論文では、Haskellにドメイン固有言語(DSL)を埋め込むことでスマートコントラクトの記述を簡素化する関数型プログラミング手法を紹介します。これはCardano上のPlutusの基盤となり、安全なオンチェーン/オフチェーンのインタラクションを実現します。Cardanoはこれらのアイデアを活用し、PlutusとTemplate Haskellを介して、安全で再利用性が高く検証可能なコントラクトをサポートしています。 CardanoはHaskellを使用してスマートコントラクトを安全に記述します。これにより、開発者はコードを再利用し、バグを回避できます。このシステムは、ブロックチェーンとローカルユーザープログラムの両方をサポートします。
Marlowe: Financial Contracts on Blockchain? 本論文では、Cardanoブロックチェーン上の金融契約向けにカスタマイズされたドメイン固有言語(DSL)であるMarloweを紹介します。Marloweは、有限実行パスと強力な静的解析による信頼性を重視しています。Marloweは、Solidityのような汎用言語のリスクを伴わずに、オンチェーンにおける安全で予測可能な金融行動を保証します。 Marloweは、Cardano上で安全な金融取引の構築を支援します。契約は適切なタイミングで終了し、安全に資金が返還されます。通常のプログラミングよりも簡単で安全です。
MARS: Monetized Ad-hoc Routing System (A Position Paper) MARSは、ブロックチェーンベースの決済を用いてモバイルデバイスが接続を共有するための、分散型でインセンティブ主導型のネットワークを提案しています。メッシュネットワークにおけるルーティングと帯域幅の共有にインセンティブを与える方法を示しています。このコンセプトは、Cardanoが目指す分散型インフラストラクチャとピアツーピア経済の実現と合致しています。 スマートフォンでインターネットを共有し、トークンを獲得できる。ブロックチェーンは公平な支払いを可能にする。Cardanoはこれをスマートシティやオフグリッド地域で活用できるだろう。
Number of Confirmation Blocks for Bitcoin and GHOST Consensus Protocols on Networks with Delayed Message Delivery 本論文では、ブロック伝播遅延が、ビットコインとGHOSTが二重支払いに対するセキュリティを実現するために必要な確認ブロック数にどのように影響するかを分析します。厳密な数学モデルを提示し、遅延ネットワークではセキュリティ閾値が大幅に高くなることを示しています。Cardanoは、PoSプロトコルにおける確認ポリシーの最適化方法を学ぶことで利益を得ています。 インターネットが遅い場合、ビットコインの安全性を保つにはより多くのブロックが必要になります。この論文では、その計算方法が示されています。Cardanoはこれらのアイデアを活用して、ネットワークをより安全にすることができます。
Parallel Chains: Improving Throughput and Latency of Blockchain Protocols via Parallel Composition 本論文では、並列チェーンと期待定数ラウンド終了を用いて高速なコンセンサスを実現する、PoWベースの新しいプロトコルであるChain-Kingコンセンサスについて紹介します。このプロトコルは、競合するトランザクションを効率的に解決し、トランザクションのファイナリティを向上させる方法を示しています。CardanoはPoSを採用していますが、このプロトコルの並列処理とコンセンサス階層化技術は概念的に価値があります。 この研究は、一度に複数のチェーンを使用することでブロックチェーンを高速化できることを示しています。たとえ不正行為者がいたとしても、この手法は機能します。Cardanoはこの研究から学び、より速く成長できるでしょう。
Proof-of-Burn 本論文では、Proof-of-Burn(PoB)を、コミットメントの証明や新しいシステムのブートストラップのためにコインを不可逆的に破壊する暗号プリミティブと定義しています。著者らは、様々な暗号通貨で利用可能な、安全で柔軟なPoB構造を提案しています。Cardanoにとって、PoBはオラクルやKYCなしで分散型のトークンアップグレードやアセットブリッジングを可能にする可能性があります。 コインをバーンすることはコミットメントの証明となります。これは、公平な方法で新しいトークンを取得するために使用できます。Cardanoはこれを利用して、コインを安全にアップグレードまたはリンクすることができます。
Tiered Mechanisms for Blockchain Transaction Fees 本稿では、ブロックチェーン取引手数料の新たな段階的価格設定モデルを紹介します。このモデルは、緊急性に基づいて動的に調整されます。このモデルは、緊急性のない取引の手数料を低く抑えつつ、緊急性の高い取引には高い手数料を課すことで収益を高く維持することを目指しています。Cardanoにとって、このモデルはEIP-1559に代わる選択肢を提示し、多様なDAppのユースケースにおいて公平な手数料処理を提供することが可能になります。 高速道路の高速レーンのように、このモデルはブロックチェーンユーザーに高速化または低コスト化の選択肢を提供します。Cardanoはこれを活用して、あらゆる種類のアプリの手数料をより公平にすることができます。
Tight Consistency Bounds for Bitcoin 本論文は、Δ同期ネットワーク遅延下におけるビットコインのセキュリティ分析を精緻化し、ブロック伝播の遅延によって攻撃者がいかに優位に立つかを明らかにしています。より厳格な境界と新たな分析ツールも導入されています。Cardanoとは直接関連していませんが、コンセンサスプロトコルの形式的な理解を深め、Cardano独自のPoSセキュリティモデリングに役立てています。 この研究は、ビットコインネットワークにおける遅延が公平性にどのような影響を与えるかを示しています。これは、Cardanoのようなブロックチェーンがすべての人が公平にプレイできるようにする仕組みの改善に役立ちます。
Translation Certification for Smart Contracts 本論文では、Coqを用いて形式検証を行い、コンパイルされたスマートコントラクトコードが元のソースコードと一致することを証明するためのフレームワークを提案します。このフレームワークは、Plutus Tx(ソースコード)とPlutus Core(コンパイル済み)をCardano上で連携させることで、デプロイされたコントラクトの信頼性を高めます。これにより、Cardanoの開発者とユーザーにとって、オンチェーンコードのセキュリティと監査可能性が向上します。 ブロックチェーンに表示されるコードが実際にソースコードから生成されたものであるかどうかを確認します。Cardanoはこれを利用して、スマートコントラクトの安全性と信頼性を高めています。
Threshold Structure-Preserving Signatures 本論文では、複数の当事者が当事者間通信なしに単一のコンパクトな署名を生成できる、初めての閾値構造保存署名方式(TSPS)を紹介します。この構成は、ポインシュヴァル=サンダース仮定の変形の下で、完全に非対話型で効率的かつ安全です。この方式は、Coconutのような既存の匿名認証システムに取って代わることができ、分散型アイデンティティフレームワークやCardanoのようなブロックチェーンプラットフォームにメリットをもたらします。Cardanoは、Input Output Global(IOG)を通じて著者らに資金提供と支援を行っています。 この研究により、複数の人が互いに話すことなく、一つの小さな安全な署名を生成しながら、メッセージに署名できる方法が生まれました。これはデジタルIDカードなどのプライバシーツールに役立ちます。Cardanoは、ブロックチェーン上で安全でプライベートなシステムを構築するのに役立つため、この研究をサポートしています。