ざっくりとですが作りました、荒削りなので、後ほど改良していきます😁
No | Title | 内容 | Cardanoとの関係上影響度 | Name | Date | Conference | URL |
---|---|---|---|---|---|---|---|
1 | Securing Proof-of-Work Ledgers via Checkpointing | POWのETCという通貨に攻撃が起きたため、その対策としてIOGはチェックポイントを提案してました、それを正式に調査した論文になります!メイン開発しているCardanoはPOSですが、POSを開発したいからPOSを実装しているのではなく、POSが研究上現状最高のソリューションだからPOSの実装を行っているだけで、もちろん、POW側の攻撃や解決策の分析も怠りません。 | 低 | Dimitris Karakostas,Aggelos Kiayias | May 2021, To appear at: ICBC '21 | PROOF-OF-WORKTIMESTAMPING | Securing Proof-of-Work Ledgers via Checkpointing - IOHK Research |
2 | RPPLNS: Pay-per-last-N-shares with a Randomised Twist | POWマイニングプールの支払いの進化版「Randomised pay-per-last-N-shares” (RPPLNS)」でPOWをより強化します。POSをただ開発するだけでなくPOWの最適化も研究をしています。 | 低 | Philip Lazos,Francisco Marmolejo-Cossio,Xinyu Zhou,Jonathan Katz | May 2021, To appear at AAMAS 2021 | INCENTIVESPROOF-OF-WORK | RPPLNS: Pay-per-last-N-shares with a Randomised Twist - IOHK Research |
3 | How to Prove Work: With Time or Memory (Extended Abstract) | POWを一定の条件で、より効率的に、一般人でも参加可能とする方法を研究! | 低 | Xiangyu Su,Mario Larangeira,Keisuke Tanaka | May 2021, To appear at: ICBC '21 | PROOF-OF-WORK | How to Prove Work: With Time or Memory (Extended Abstract) - IOHK Research |
4 | Standardized crypto-loans on the Cardano blockchain | Cardanoブロックチェーンで分散型貸付をする方法!Cardanoブロックチェーンにおけるクリプトローン標準:信頼が不要なピアツーピア貸付:ACTUS標準、Marloweを利用したスマートコントラクトで実現する方法を解説! | 最高 | Dmytro Kondratiuk,Pablo Lamela Seijas,Alexander Nemish,Simon Thompson | March 2021, Workshop on Trusted Smart Contracts (Financial Cryptography 2021) | HASKELLMARLOWESMARTCONTRACT | Standardized crypto-loans on the Cardano blockchain - IOHK Research |
5 | SoK: Communication Across Distributed Ledgers | 異なるブロックチェーンでは残念ながら信頼できる第三者を想定しないと安全に通信できないため限界があること、いままでのやり方の見直しと今後の研究の方向性の探究をしています! | 中 | Alexei Zamyatin,Mustafa Al-Bassam,Dionysis Zindros,Eleftherios Kokoris-Kogias,Pedro Moreno-Sanchez,Aggelos Kiayias,William J. Knottenbelt | March 2021, Financial Cryptography 2021 | SoK: Communication Across Distributed Ledgers - IOHK Research | |
6 | SoK: Algorithmic Incentive Manipulation Attacks on Permissionless PoW Cryptocurrencies | POWブロックチェーンの「インセンティブ」の側面から研究不十分であったり過小評価されている部分を示しています!:POWのインセンティブ操作による攻撃(フロントランニング・ゴールドフィンガー・ノーフォークおよびニアフォーク攻撃、賄賂…)について、過小評価研究不十分になっている点を示す論文 | 低 | Aljosha Judmayer,Nicholas Stifter,Alexei Zamyatin,Itay Tsabary,Ittay Eyal,Peter Gaži,Sarah Meiklejohn,Edgar Weippl | March 2021, Workshop on Trusted Smart Contracts (Financial Cryptography 2021) | BRIBINGCRYPTOCURRENCY | SoK: Algorithmic Incentive Manipulation Attacks on Permissionless PoW Cryptocurrencies - IOHK Research |
7 | Payment Trees: Low Collateral Payments for Payment Channel Networks | たくさんロックされず、スマコンが不要な即時支払ができる手法(Payment Trees)を提案!:Payment Trees:オフチェーンで即時に支払いができるペイメントチャネル技術について今まで提案されてきた方法の改善版:HTLCはロック資金が多い、Spritesは改良されたがスマコンが必要、AMCUはスマコン不要だが当論文でChannel Closure攻撃があることを示される。Payment Treesはこれらを克服 | 中 | Maxim Jourenko,Mario Larangeira,Keisuke Tanaka | March 2021, Financial Cryptography 2021 | ATTACKBITCOINLIGHTNING-NETWORKMICROPAYMENTPAYMENT-CHANNELS | Payment Trees: Low Collateral Payments for Payment Channel Networks - IOHK Research |
8 | Pay To Win: Cheap, Crowdfundable, Cross-chain Algorithmic Incentive Manipulation Attacks on PoW Cryptocurrencies | POW通貨のインセンティブ側面で相対的に安価で新たな攻撃手段となりうるP2W攻撃を検証しています!:Pay-To-Win(P2W):POW通貨について、異なるチェーンで共謀し攻撃を行うことで従来より安価にP2W攻撃が可能になる点を検証。具体例としてETHチェーンで資金調達操作し、BTCチェーンを従来より安価に攻撃するスキームを考案。 | 低 | Aljosha Judmayer,Nicholas Stifter,Alexei Zamyatin,Itay Tsabary,Peter Gaži,Sarah Meiklejohn,Edgar Weippl | March 2021, Workshop on Trusted Smart Contracts (Financial Cryptography 2021) | BRIBINGSMARTCONTRACT | Pay To Win: Cheap, Crowdfundable, Cross-chain Algorithmic Incentive Manipulation Attacks on PoW Cryptocurrencies - IOHK Research |
9 | Multi-instance Publicly Verifiable Time-lock Puzzle and its Applications | 軽量なロックシステム「マルチインスタンス型タイムロックパズル」を提案!:マルチインスタンス型タイムロックパズル(連鎖型タイムロックパズル」(C-TLP):今までのタイムロックパズル(一定の時間までロックされる仕組み)は複数のものを同時に解く必要が出てくる場合などに重くなりがちだったが、合成可能にすることで1つだけ解けばよくすることで効率化させる。リアルタイム支払いなどがこれにより可能になる。 | 中 | Aydin Abadi,Aggelos Kiayias | March 2021, Financial Cryptography 2021 | Pay To Win: Cheap, Crowdfundable, Cross-chain Algorithmic Incentive Manipulation Attacks on PoW Cryptocurrencies - IOHK Research | |
10 | Mining for Privacy: How to Bootstrap a Snarky Blockchain | プライバシー、相互運用性、スケーラビリティを強化できるがデメリットがあった、ゼロ知識証明技術を強化する技術を考案!:プライバシー、相互運用性、スケーラビリティを強化できるzk-SNARKSのデメリット、構造化参照文字列の生成中のものが知られると危険となる点について、「更新可能構造化参照文字列」とそのインセンティブシステムにより安全かつ効率的に安全に起動させる方法を考案! | 中 | Thomas Kerber,Aggelos Kiayias,Markulf Kohlweiss | March 2021, Financial Cryptography 2021 | ZERO-KNOWLEDGE | Mining for Privacy: How to Bootstrap a Snarky Blockchain - IOHK Research |
11 | Hydra: Fast Isomorphic State Channels | 同じコードを使えるという拡張UTXO(Plutus)の強みを生かした進化版ステートチャネルHydraにより、安全かつ高速かつシンプルにCardanoチェーンを強化できます…目指せ10億TPS!:Hydra-安全に大規模なトランザクションの迅速処理に耐えうるレイヤー2ステートチャネルプロトコルの進化版:「高速同型ステートチャネルーHydra」を考案。いままで異型だったためコードの変更が必要で、効率が悪く安全性が低く、速度も限定的であったが、拡張UTxOモデル(Plutus)が「同型」でコード変更不要とすることで、それらを改善。 | 最高 | Manuel Chakravarty,Sandro Coretti,Matthias Fitzi,Peter Gaži,Philipp Kant,Aggelos Kiayias,Alexander Russell | March 2021, Financial Cryptography 2021 | Hydra: Fast Isomorphic State Channels - IOHK Research | |
12 | Efficient State Management in Distributed Ledgers | ストレージに優しい方法、優しいトランザクションへの手数料優遇により、効率化させる:分散型台帳の効率的ストレージ管理方法ーストレージを使いづらい処理方法と、ストレージに優しい処理が行われた際のインセンティブの付与を行うことでストレージを節約する! | 中 | Dimitris Karakostas,Nikos Karayannidis,Aggelos Kiayias | March 2021, Financial Cryptography 2021 | UTXO | Efficient State Management in Distributed Ledgers - IOHK Research |
13 | BRICK: Asynchronous Payment Channels | いままで同期があり攻撃しやすかった支払技術を非同期で攻撃しづらいBRICKへ改良!:BRICK:非同期(つまり攻撃するための時間がわからないため安全性の高い)の高速オフチェーンチャネルのインセンティブ含めた技術を考案!いままでの同期型の安全性の低いモデルの欠点を克服 | 中 | Zeta Avarikioti,Eleftherios Kokoris-Kogias,Roger Wattenhofer,Dionysis Zindros | March 2021, Financial Cryptography 2021 | PAYMENT-CHANNELS | BRICK: Asynchronous Payment Channels - IOHK Research |
14 | Another Look at Extraction and Randomization of Groth’s zk-SNARK | 「シミュレーション抽出可能性」に注目して、ゼロ知識証明技術で現在よく使われるGrothを分析した論文!:Grothという現在最も一般的に実装されているzk-SNARK技術について、安全性の1つであるシミュレーション抽出可能性がある点とそのランダム化検証ができる発展版にも弱いシミュレーション抽出可能性があることを示す | 低 | Karim Baghery,Markulf Kohlweiss,Janno Siim,Mikhail Volkhov | March 2021, Financial Cryptography 2021 | UNIVERSAL COMPOSITIONZKSNARKS | Another Look at Extraction and Randomization of Groth's zk-SNARK - IOHK Research |
15 | Security Limitations of Classical-Client Delegated Quantum Computing | 量子コンピュータをプライバシーを守りながら委任の形で利用するには限界がある点などを示しました!:量子コンピュータに計算力を委任する方法で委任内容のプライバシーを守るには限界がある点、限界があるものの、なるべく保護する方法を考案! | 低 | Christian Badertscher,Alexandru Cojocaru,Leo Colisson,Elham Kashefi,Dominik Leichtle,Atul Mantri,Petros Wallden | December 2020, Asiacrypt 2020 | QUANTUM | Security Limitations of Classical-Client Delegated Quantum Computing - IOHK Research |
16 | Lightweight Virtual Payment Channels | スマコンもオンライン要件もいらない進化型の大規模処理可能で軽量な”軽量型仮想ペイメントチャネル”!:軽量型仮想ペイメントチャネル:スケーラビリティ解消のためのレイヤー2プロトコルについて、ライトニングネットワーク(中継ノードがすべてオンラインである必要あり)、仮想チャネル(スマートコントラクトがある必要あり)を克服した、すべてオンラインである必要がなくスマートコントラクト不要でタイムロックとマルチシグのみあればよい”軽量型仮想ペイメントチャネル”とその本格形式かセキュリティ証明の提案! | 低 | Maxim Jourenko,Mario Larangeira,Keisuke Tanaka | December 2020, CANS '20 | PAYMENT-CHANNELS | Lightweight Virtual Payment Channels - IOHK Research |
17 | Zendoo: a zk-SNARK Verifiable Cross-Chain Transfer Protocol Enabling Decoupled and Decentralized Sidechains | Zendooの仕組みにより、メインチェーンを変更せず、サイドチェーンを安全に利用できます: | 中 | Alberto Garoffolo,Dmytro Kaidalov,Roman Oliynykov | November 2020, BlockApp 2020 | BLOCKCHAINSIDECHAINSZERO-KNOWLEDGE | Zendoo: a zk-SNARK Verifiable Cross-Chain Transfer Protocol Enabling Decoupled and Decentralized Sidechains - IOHK Research |
18 | Universal Composition with Global Subroutines: Capturing Global Setup within plain UC | Zendoo:親子型サイドチェーン(親は子から送られてきたトランザクションのみを検証、子は親そのものを直接検証)の安全性証明:UCフレームワークというセキュリティ分析手法について、「グローバルセットアップ」を使うとより広く拡張できますが、単純にそのままだと複雑になります。これらを簡素化する手法を考案します。 | 中 | Christian Badertscher,Ran Canetti,Julia Hesse,Björn Tackmann,Vassilis Zikas | November 2020, TCC '20 | UNIVERSAL COMPOSITION | Universal Composition with Global Subroutines: Capturing Global Setup within plain UC - IOHK Research |
19 | Tight Consistency Bounds for Bitcoin | 一定の条件下で、ビットコインの安全性がどのレベルとなるか、数式で示します!:ビットコインの安全性が正直勢力、敵対勢力、遅延時間の観点でそのように数式化されるか示します! | 低 | Peter Gaži,Aggelos Kiayias,Alexander Russell | November 2020, ACM CCS '20 | BITCOINPROOF-OF-STAKEPROOF-OF-WORK | Tight Consistency Bounds for Bitcoin - IOHK Research |
20 | Ledger Combiners for Fast Settlement | 並列処理で決済高速化をします!:ブロックチェーンを並列処理させ、セキュリティを強化し決済時間を短縮するレジャーコンバイナーの提案! | 中 | Matthias Fitzi,Peter Gaži,Aggelos Kiayias,Alexander Russell | November 2020, TCC '20 | LEDGER | Ledger Combiners for Fast Settlement - IOHK Research |
21 | Consistency of Proof-of-Stake Blockchains with Concurrent Honest Slot Leaders | POSのセキュリティが、従来の分析よりもセキュリティが強力であることを示せた。:いままでは複数な正直なリーダーがいる状況を否定的に扱って分析されていたが、POSで、複数の正直なリーダーがスロットにいる状況が多くなっても問題ないことを示した初の論文。 | 高 | Aggelos Kiayias,Saad Quader,Alexander Russell | November 2020, ICDCS '20 | BLOCKCHAINPROOF-OF-STAKE | Consistency of Proof-of-Stake Blockchains with Concurrent Honest Slot Leaders - IOHK Research |
22 | Blockchains from Non-Idealized Hash Functions | 現実的なハッシュ関数を前提にしてよりブロックチェーンの安全性を厳格に分析できるようにしています!:ブロックチェーンのより現実的な設定のハッシュ関数のセキュリティ分析について、衝突耐性、ランダム性抽出に加えて反復硬度も数式化して検証可能に! | 中 | Juan A. Garay,Aggelos Kiayias,Giorgos Panagiotakos | November 2020, TCC '20 | BLOCKCHAIN | Blockchains from Non-Idealized Hash Functions - IOHK Research |
23 | UTXOma:UTXO with Multi-Asset Support | 効率的/安価/シンプル/高安全性のマルチアセットシステム!:ETHのマルチアセット(非ネイティブのため、非効率的/高価/複雑/低安全性)の欠点克服したUTXOベースの、マルチアセットの一覧表などのデータを持たない形でのマルチアセットシステムを考案! | 高 | Manuel Chakravarty,James Chapman,Kenneth MacKenzie,Orestis Melkonian,Jann Müller,Michael Peyton Jones,Polina Vinogradova,Philip Wadler,Joachim Zahnentferner | October 2020, ISoLA 2020 | AGDAHASKELLPLUTUS | UTXOma:UTXO with Multi-Asset Support - IOHK Research |
24 | UTxO- vs account-based smart contract blockchain programming paradigms | Cardanoの拡張UTXOベースPlutusがETHのアカウントベースSolidityとより数学的によい理由を分析:ETHのアカウントベースSolidityとCardanoの拡張UTXOベースPlutusを比較、数学的分析をし、後者のほうが優れる理由を分析 | 高 | Lars Brünjes,Murdoch, J. Gabbay | October 2020, ISoLA 2020 | UTXOSMARTCONTRACT | UTxO- vs account-based smart contract blockchain programming paradigms - IOHK Research |
25 | Timed Signatures and Zero-Knowledge Proofs –Timestamping in the Blockchain Era– | 「確かにその時刻に行われた」ことを証明認証する仕組みを安全にブロックチェーンで実現する方法:UC設定で正式に証明されたブロックチェーンベースのタイムスタンプサービス | 低 | Aydin Abadi,Michele Ciampi,Aggelos Kiayias,Vassilis Zikas | October 2020, ACNS '20 | TIMESTAMPING | Timed Signatures and Zero-Knowledge Proofs –Timestamping in the Blockchain Era– - IOHK Research |
26 | Native Custom Tokens in the Extended UTXO Model | 効率的/安価/シンプル/高安全性の拡張UTXOでのマルチアセットシステム!ETHのマルチアセット(非ネイティブのため、非効率的/高価/複雑/低安全性)の欠点克服したUTXOベースの、マルチアセットの一覧表などのデータを持たない形でのマルチアセットシステムを考案!これを拡張UTXOにて適用 | 最高 | Manuel Chakravarty,James Chapman,Kenneth MacKenzie,Orestis Melkonian,Jann Müller,Michael Peyton Jones,Polina Vinogradova,Philip Wadler | October 2020, ISoLA 2020 | AGDAPLUTUS | Native Custom Tokens in the Extended UTXO Model - IOHK Research |
27 | Models of distributed proof generation for ZK-SNARK-based blockchains | ゼロ知識証明ベースチェーンで、複数の分散型のプルーフを作成するモデルを提示 | 低 | Yuri Bespalov,Alberto Garoffolo,Lyudmila Kovalchuk,Hanna Nelasa,Roman Oliynykov | October 2020, Theoretical and Applied Cryptography 2020, Minsk, Belarus | BLOCKCHAINZKSNARKS | Models of distributed proof generation for ZK-SNARK-based blockchains - IOHK Research |
28 | Efficient static analysis of Marlowe contracts | コードが非プログラマでもエラーなく書けるように設計されるMarloweの「エラーが本当にないか」の内部検証分析ツールの動作についての解説!:Marloweで行われる静的分析の解説 | 最高 | Pablo Lamela Seijas,David Smith,Simon Thompson | October 2020, ISoLA 2020 | MARLOWESMARTCONTRACT | Efficient static analysis of Marlowe contracts - IOHK Research |
29 | A Gas-Efficient Superlight Bitcoin Client in Solidity | Solidityを使って効率よくNIPOPOW技術でビットコインの送金を最適化する方法 | 低 | Stelios Daveas,Kostis Karantias,Aggelos Kiayias,Dionysis Zindros | October 2020, AFT 2020 | NIPOPOWS | A Gas-Efficient Superlight Bitcoin Client in Solidity - IOHK Research |
30 | Upper Bound Probability of Double Spend Attack on SPECTRE | DAGベースのコンセンサスプロトコルSPECTREのセキュリティを分析する計算式を研究 | 低 | Lyudmila Kovalchuk,Mariia Rodinko,Roman Oliynykov | September 2020, CryBlock '20 | PROOF-OF-WORK | Upper Bound Probability of Double Spend Attack on SPECTRE - IOHK Research |
31 | Updatable Blockchains | ブロックチェーンの安全なソフトウェア分散型アップデートの2つの方法①ほぼ同じチェーンへのアップデートを前提とした方法②まったく違っても良いが一定の攻撃に耐性があることなどを前提としているもの | 最高 | Michele Ciampi,Nikos Karayannidis,Aggelos Kiayias,Dionysis Zindros | September 2020, ESORICS '20 | BLOCKCHAINLEDGER | Updatable Blockchains - IOHK Research |
32 | Reward Sharing Schemes for Stake Pools | 一定のパラメータで、意図したように自然と分散化が行われナッシュ均衡となる報酬分配の仕組みを考案! | 最高 | Lars Brünjes,Aggelos Kiayias,Elias Koutsoupias,Aikaterini-Panagiota Stouka | September 2020, Euro S&P 2020 | GAME-THEORYINCENTIVESPROOF-OF-STAKESTAKE-POOL | Reward Sharing Schemes for Stake Pools - IOHK Research |
33 | Account Management in Proof of Stake Ledgers | 委任とステークプールの形成を可能にする正式なPoSウォレット構造とPOSセキュリティの影響分析 | 最高 | Dimitris Karakostas,Aggelos Kiayias,Mario Larangeira | September 2020, SCN '20 | IMPLEMENTATIONPROOF-OF-STAKESTAKE-POOL | Account Management in Proof of Stake Ledgers - IOHK Research |
34 | The Architecture of Decentralised Finance Platforms: A New Open Finance Paradigm | 自動化統合で技術/規制面で課題を解決する分散型金融のモデルで(a)超巨大企業の独占対抗(b)コロナで弱みが明らかになった投資業界の狭い資産配分慣行を改革©金融発展配当を平等分配 | 中 | Emilios Avgouleas,Aggelos Kiayias | August 2020 | The Architecture of Decentralised Finance Platforms: A New Open Finance Paradigm - IOHK Research | |
35 | Smart Contract Derivatives | 今までできなかった「スマートコントラクトを参照するスマートコントラクト」を作成する仕組みを考案、イーサリアムで実装可能なことも示す! | 低 | Kostis Karantias,Aggelos Kiayias,Dionysis Zindros | August 2020, Marble 2020 | SMARTCONTRACT | Smart Contract Derivatives - IOHK Research |
36 | Introduction to the design of the Data Diffusion and Networking for Cardano Shelley* | Shelleyでのネットワーキングのデザインについて文書化! | 最高 | Duncan Coutts,Neil Davies,Marcin Szamotulski,Peter Thompson | August 2020, IOHK | Introduction to the design of the Data Diffusion and Networking for Cardano Shelley* - IOHK Research | |
37 | Flexible Formality: Practical Experience with Agile Formal Methods | Cardanoの実際の開発手法ーアジャイル手法(速度)と形式手法(正確さ)の融合を文書化 | 高 | Philipp Kant,Kevin Hammond,Duncan Coutts,James Chapman,Nicholas Clarke,Jared Corduan,Neil Davies,Javier Díaz,Matthias Güdemann,Wolfgang Jeltsh,Marcin Szamotulski,Polina Vinogradova | August 2020, TFP '20 (LNCS) | Flexible Formality: Practical Experience with Agile Formal Methods - IOHK Research | |
38 | Consensus Redux: Distributed Ledgers in the Face of Adversarial Supremacy | 大きな攻撃を受けた時のiBFT、POW、POS各々の自己回復力の調査 | 中 | Christian Badertscher,Peter Gaži,Aggelos Kiayias,Alexander Russell,Vassilis Zikas | August 2020, ePrint Archive | PROOF-OF-STAKEPROOF-OF-WORK | Consensus Redux: Distributed Ledgers in the Face of Adversarial Supremacy - IOHK Research |
39 | Bitcoin Crypto–Bounties for Quantum Capable Adversaries | 量子コンピュータがBTC/BCHの特定の公開鍵を破壊しその間資金にアクセスできなくなる影響を調査! | 低 | Dragos I. Ilie,Kostis Karantias,William J. Knottenbelt | August 2020, Marble 2020 | BITCOINQUANTUM | Bitcoin Crypto–Bounties for Quantum Capable Adversaries - IOHK Research |
40 | SoK: A Taxonomy of Cryptocurrency Wallets | ウォレットの体型的分類と分析ー各々のセキュリティやパフォーマンスや何への信頼を前提としているか等について調査! | 中 | Kostis Karantias | July 2020, ePrint Archive | SoK: A Taxonomy of Cryptocurrency Wallets - IOHK Research | |
41 | Uncontrolled Randomness in Blockchains: Covert Bulletin Board for Illicit Activity | 違法コンテンツをブロックチェーンに隠れて埋め込み規制上の問題を起こす考えられる手法の研究と、それへの免疫フレームワークの研究 | 低 | Nasser Alsalami,Bingsheng Zhang | June 2020, IWQoS 2020 | Uncontrolled Randomness in Blockchains: Covert Bulletin Board for Illicit Activity - IOHK Research | |
42 | Full Analysis of Nakamoto Consensus in Bounded-Delay Networks | 今までされてなかったビットコインの「動的参加(マイナーなどが事後的に参入していく仮定)」・「制限付き遅延ありネットワーク」を前提とした安全性分析行った論文 | 低 | Juan Garay,Aggelos Kiayias,Nikos Leonardos | March 2020, ePrint Archive | BLOCKCHAINPROOF-OF-WORK | Full Analysis of Nakamoto Consensus in Bounded-Delay Networks - IOHK Research |
43 | The Extended UTXO Model | BTC採用の安全性シンプルだがスマコンが制限されてたUTXOモデルと、ETH採用のスマコンできるが安全性シンプルさに欠けるアカウントモデルの、両者の進化版拡張UTXOモデルの解説! | 最高 | Manuel Chakravarty,James Chapman,Kenneth MacKenzie,Orestis Melkonian,Michael Peyton Jones,Philip Wadler | February 2020, Workshop on Trusted Smart Contracts (Financial Cryptography 2020) | BLOCKCHAINCRYPTOCURRENCYSMARTCONTRACT | The Extended UTXO Model - IOHK Research |
44 | Stake Shift in Major Cryptocurrencies: An Empirical Study | POSで重要なステークの移動のタイムラグの分析のため、BTC・LTC・BCH・Zcashについてその重要な過去の移動を分析し、基本的にハードフォークが原因で、移動する者が取引所であることを確認 | 低 | Rainer Stütz,Peter Gaži,Bernhard Haslhofer,Jacob Illum | February 2020, Financial Cryptography 2020 | CRYPTOCURRENCYPROOF-OF-STAKE | Stake Shift in Major Cryptocurrencies: An Empirical Study - IOHK Research |
45 | Proof-of-Burn | 誰も暗号資産を取り出せず、かつ、取り出せないことを証明できるアドレスを生成する安全な方法の検証をしています! | 低 | Kostis Karantias,Aggelos Kiayias,Dionysis Zindros | February 2020, Financial Cryptography 2020 | CRYPTOCURRENCY | Proof-of-Burn - IOHK Research |
46 | One-shot Signatures and Applications to Hybrid Quantum/Classical Authentication | 量子学を利用して1度しか署名できない鍵を生み出しそれを応用してセキュリティを高める方法について解説 | 中 | Ryan Amos,Marios Georgiou,Aggelos Kiayias,Mark Zhandry | February 2020, ePrint Archive | CRYPTOGRAPHYQUANTUM | One-shot Signatures and Applications to Hybrid Quantum/Classical Authentication - IOHK Research |
47 | Non-Interactive Proofs of Proof-of-Work | NIPOPOWという、POWについてパフォーマンスを向上させつつ相互運用などの機能拡張ができる仕組みを提案! | 高 | Aggelos Kiayias,Andrew Miller,Dionysis Zindros | February 2020, Financial Cryptography 2020 | BLOCKCHAINCRYPTOCURRENCYSCALABILITY | Non-Interactive Proofs of Proof-of-Work - IOHK Research |
48 | Marlowe: implementing and analysing financial contracts on blockchain | 金融スマートコントラクトに特化され、事前に徹底的に静的分析され安全性の高いMarloweについての論文 | 最高 | Pablo Lamela Seijas,Alexander Nemish,David Smith,Simon Thompson | February 2020, Workshop on Trusted Smart Contracts (Financial Cryptography 2020) | HASKELLMARLOWESMARTCONTRACT | Marlowe: implementing and analysing financial contracts on blockchain - IOHK Research |
49 | Consistency for Functional Encryption | AはBが受け取る分を暗号化し、Cがその鍵の初期化と復号化鍵発行。従来分析はBが悪の設定分析だが、AやCが悪の場合も含めて分析。機能的暗号化(FE)の完全分析を行う。 | 低 | Christian Badertscher,Aggelos Kiayias,Markulf Kohlweiss,Hendrik Waldner | February 2020, ePrint Archive | Consistency for Functional Encryption - IOHK Research | |
50 | Bypassing Non-Outsourceable Proof-of-Work Schemes Using Collateralized Smart Contracts | 分散化のためマイニングパワーレンタルを制限するためアウトソーシング不可能POWのエクスクローメカニズムの解決策について、担保付きスマートコントラクトを利用すれば回避できてしまう点を証明! | 低 | Alexander Chepurnoy,Amitabh Saxena | February 2020, Workshop on Trusted Smart Contracts (Financial Cryptography 2020) | BLOCKCHAINCRYPTOCURRENCYSMARTCONTRACT | Bypassing Non-Outsourceable Proof-of-Work Schemes Using Collateralized Smart Contracts - IOHK Research |
51 | The Combinatorics of the Longest-Chain Rule: Linear Consistency for Proof-of-Stake Blockchains | POSチェーンの最長チェーンルールでのセキュリティ議論にPOWには届かない限界があったが、当組み合わせ論でPOW同等のレベルに論証可能となった。 | 中 | Erica Blum,Aggelos Kiayias,Cristopher Moore,Saad Quader,Alexander Russell | January 2020, SODA20 | BLOCKCHAINPROOF-OF-STAKE | https://iohk.io/en/research/library/papers/the-combinatorics-of-the-longest-chain-rulelinear-consistency-for-proof-of-stake-blockchains/ |
52 | Proof-of-Stake Blockchain Protocols with Near-Optimal Throughput | POSのトランザクションスループット導出の数式をセキュリティの数式から導出する正式なモデルを定義! | 中 | Matthias Fitzi,Peter Gaži,Aggelos Kiayias,Alexander Russell | January 2020, ePrint Archive | PROOF-OF-STAKE | https://iohk.io/en/research/library/papers/proof-of-stake-blockchain-protocols-with-near-optimal-throughput/ |
53 | Coalition-Safe Equilibria with Virtual Payoffs | 仮想ペイオフを持つ連合安全均衡(EVP)=複数の人たちが参加しており報酬が公平に分配されている状態、となるような仕組みの考察 | 中 | Aggelos Kiayias,Aikaterini-Panagiota Stouka | January 2020, ArXiv e-print | GAME-THEORY | https://iohk.io/en/research/library/papers/coalition-safe-equilibria-with-virtual-payoffs/ |
54 | A Type and Scope Safe Universe of Syntaxes with Binding: Their Semantics and Proofs | UTXOを利用したスマートコントラクト言語のチューリング完全性(どんなプログラムもできる)を証明する論文 | 中 | Guillame Allais,Robert Atkey,James Chapman,Conor McBride,James McKinna | January 2020, Journal of Functional Programming | AGDA | https://iohk.io/en/research/library/papers/self-reproducing-coins-as-universal-turing-machine/ |
55 | Sonic: Zero-Knowledge SNARKs from Linear-Size Universal and Updateable Structured Reference Strings | SONICというゼロ知識証明:サイズが線形にスケーリングする、ユニバーサルで継続的に更新可能な構造化参照文字列をサポート。バッチ検証では最も効率がよいゼロ知識証明になる。様々なものがあるが、他はサイズが重い、つまり高価で効率が悪い。 | 高 | Mary Maller,Sean Bowe,Markulf Kohlweiss,Sarah Meiklejohn | November 2019, ACM Conference on Computer and Communications Security ACM CCS 2019. | CRYPTOPRIVACYPROTOCOLZERO-KNOWLEDGE | https://iohk.io/en/research/library/papers/soniczero-knowledge-snarks-from-linear-size-universal-and-updateable-structured-reference-strings/ |
56 | Unraveling recursion: compiling an IR with recursion to System F | システムF(λ計算(計算の実行を関数への引数の評価と適用としてモデル化・抽象化した計算体系)の型付バージョン)再帰を使い、中間表現をコンピュータが実行可能な表現に変える方法 | 中 | Roman Kireev,Chad Nester,Michael Peyton Jones,Philip Wadler,Vasilis Gkoumas,Kenneth MacKenzie | October 2019, MPC’19 | BLOCKCHAINPLUTUSSMARTCONTRACTSYSTEMF | https://iohk.io/en/research/library/papers/unraveling-recursioncompiling-an-ir-with-recursion-to-system-f/ |
57 | The Bitcoin Backbone Protocol Against Quantum Adversaries | 攻撃者がスケーラブルな量子コンピューターにアクセスできることを前提として、ビットコインプロトコルのコアの正式なセキュリティを再検討する論文 | 低 | Alexandru Cojocaru,Juan Garay,Aggelos Kiayias,Fang Song,Petros Wallden | October 2019, EPrint Archive | BITCOINBLOCKCHAINQUANTUM | https://iohk.io/en/research/library/papers/the-bitcoin-backbone-protocol-against-quantum-adversaries/ |
58 | System F in Agda, for fun and profit | Agda(数学的な証明を検証するコンピュータプログラム)スクリプトで書かれたシステムF(λ計算(計算の実行を関数への引数の評価と適用としてモデル化・抽象化した計算体系)の型付バージョン) | 中 | James Chapman,Roman Kireev,Chad Nester,Philip Wadler | October 2019, MPC’19 | BLOCKCHAINPLUTUSSMARTCONTRACTSYSTEMF | https://iohk.io/en/research/library/papers/system-f-in-agdafor-fun-and-profit/ |
59 | Kachina - Foundations of Private Smart Contracts | 正式に証明可能なプライベートスマートコントラクトの統合セキュリティモデルKachina | 高 | Thomas Kerber,Aggelos Kiayias,Markulf Kohlweiss | October 2019, To appear at: CSF '21 | PRIVACYSMARTCONTRACT | https://iohk.io/en/research/library/papers/kachinafoundations-of-private-smart-contracts/ |
60 | Ouroboros Chronos: Permissionless Clock Synchronization via Proof-of-Stake | POSの動的に参加者が変わる設定で、クロック同期が分散型でされ、単一のグローバルクロックに頼らず、参加者のクロックのズレを調整できる”OurorborosChronos” | 最高 | Christian Badertscher,Peter Gaži,Aggelos Kiayias,Alexander Russell,Vassilis Zikas | July 2019, EPrint Archive | BLOCKCHAINPROOF-OF-STAKE | https://iohk.io/en/research/library/papers/ouroboros-chronospermissionless-clock-synchronization-via-proof-of-stake/ |
61 | A Composable Security Treatment of the Lightning Network | ライトニングネットワークのセキュリティの完全な形式かとセキュリティ分析 | 低 | Aggelos Kiayias,Orfeas Stefanos Thyfronitis Litos | July 2019, EPrint Archive | BLOCKCHAINLIGHTNING-NETWORK | https://iohk.io/en/research/library/papers/a-composable-security-treatment-of-the-lightning-network/ |
62 | Proof-of-Stake Sidechains | サイドチェーンシステムとは何か、およびサイドチェーン間でアセットを安全に移動する方法の最初の正式な定義・(PoS)サイドチェーンシステムに適したサイドチェーン構造・「ゴールドフィンガー」攻撃を防ぐ合併ステーキング | 最高 | Peter Gaži,Aggelos Kiayias,Dionysis Zindros | May 2019, IEEE Symposium on Security and Privacy | BLOCKCHAINPROOF-OF-STAKESIDECHAINS | https://iohk.io/en/research/library/papers/proof-of-stake-sidechains/ |
63 | Ouroboros Crypsinous: Privacy-Preserving Proof-of-Stake | SNARKより正式に分析された最初のプライバシー保護POSプロトコルであるOuroborosCrypsinous | 最高 | Thomas Kerber,Markulf Kohlweiss,Aggelos Kiayias,Vassilis Zikas | May 2019, IEEE Symposium on Security and Privacy | PROOF-OF-STAKEPROTOCOL | https://iohk.io/en/research/library/papers/ouroboros-crypsinousprivacy-preserving-proof-of-stake/ |
64 | Functional Blockchain Contracts | PLUTUSの論文:BTCでは限定的、ETHではオフチェーンオンチェーンで2つの言語が必要で複雑、これをCardanoでは豊富な機能をPlutusでオンチェーンオフチェーン(Haskell)両方で使えるものとなります! | 最高 | Manuel Chakravarty,Roman Kireev,Kenneth MacKenzie,Vanessa McHale,Jann Müller,Alexander Nemish,Chad Nester,Michael Peyton Jones,Simon Thompson,Rebecca Valentine,Philip Wadler | May 2019, Draft | BLOCKCHAINHASKELLPLUTUSSMARTCONTRACTSYSTEMF | https://iohk.io/en/research/library/papers/functional-blockchain-contracts/ |
65 | Cryptocurrency Egalitarianism: A Quantitative Approach | 暗号通貨の平等主義を初めて定量的に定義。Ouroboros等POSは一定パラメータの元で完全に平等主義に適合することを数学的に証明。 | 高 | Dimitris Karakostas,Aggelos Kiayias,Christos Nasikas,Dionysis Zindros | May 2019, Tokenomics 2019 | CRYPTOCURRENCY | https://iohk.io/en/research/library/papers/cryptocurrency-egalitarianisma-quantitative-approach/ |
66 | Compact Storage of Superblocks for NIPoPoW Applications | NIPOPOWSというPOWをさらに高速化、ストレージ効率化し相互運用などの機能を強化する技術を紹介 | 高 | Kostis Karantias,Aggelos Kiayias,Nikos Leonardos,Dionysis Zindros | May 2019, Marble 2019 | NIPOPOWS | https://iohk.io/en/research/library/papers/compact-storage-of-superblocks-for-nipopow-applications/ |
67 | SoK: A Taxonomy for Layer-2 Scalability Related Protocols for Cryptocurrencies | レイヤー2のあらゆるすべてのコンポーネントの分類し、それぞれの長所と短所について説明 | 中 | Maxim Jourenko,Kanta Kurazumi,Mario Larangeira,Keisuke Tanaka | April 2019, ePrint Archive | BITCOINBLOCKCHAINCRYPTOCURRENCYMICROPAYMENTPROTOCOL | https://iohk.io/en/research/library/papers/soka-taxonomy-for-layer-2-scalability-related-protocols-for-cryptocurrencies/ |
68 | Decreasing Security Threshold Against Double Spend Attack in Networks with Slow Synchronization | 同期が遅くなるにつれPOWチェーンのセキュリティパラメータがどう変動するかを分析 | 低 | Lyudmila Kovalchuk,Dmytro Kaidalov,Andrii Nastenko,Mariia Rodinko,Oleksiy Shevtsov,Roman Oliynykov | April 2019, CryBlock’19 | BITCOINBLOCKCHAINCONSENSUS | https://iohk.io/en/research/library/papers/decreasing-security-threshold-against-double-spend-attack-in-networks-with-slow-synchronization/ |
69 | The Promise of Blockchain Technology for Global Securities and Derivatives Markets: The New Financial Ecosystem and the ‘Holy Grail’ of Systemic Risk Containment | 金融市場インフラストラクチャ(FMI)には現在「システミックリスク」がある。ブロックチェーン技術は、エンド投資家と金融のエンドユーザー(起業家と企業)の利益のために業界の賃料の引き下げにつながり、市場の福祉を向上、金融サービス業界全体の構造と将来の方向性を変革する点を論証 | 高 | Emilios Avgouleas,Aggelos Kiayias | February 2019, European Business Organization Law Review, (2019) 20: 81 | BLOCKCHAIN | https://iohk.io/en/research/library/papers/the-promise-of-blockchain-technology-for-global-securities-and-derivatives-marketsthe-new-financial-ecosystem-and-theholy-grailof-systemic-risk-containment/ |
70 | ROYALE: A Framework for Universally Composable CardGames with Financial Rewards and Penalties Enforcement | 報酬分配/詐欺師罰するメカニズム-構成可能性の保証の欠如-ゲーム柔軟性の3つを達成するROYALEシステムを考案! | 中 | Bernardo David,Rafael Dowsley,Mario Larangeira | February 2019, Financial Cryptography 2019 | BLOCKCHAINCRYPTOGRAPHYDISTRIBUTEDMPCPROTOCOL | https://iohk.io/en/research/library/papers/royalea-framework-for-universally-composable-cardgames-with-financial-rewards-and-penalties-enforcement/ |
71 | Proof-of-Work Sidechains | POWサイドチェーンより安全に相互運用できる分散型の仕組みを提案 | 中 | Aggelos Kiayias,Dionysis Zindros | February 2019, Workshop on Trusted Smart Contracts 2019 | BLOCKCHAINCONSENSUSPROOF-OF-WORKSIDECHAINS | https://iohk.io/en/research/library/papers/proof-of-work-sidechains/ |
72 | A Treasury System for Cryptocurrencies: Enabling Better Collaborative Intelligence | Voltaire分散型資金調達ー財務システムのセキュリティに関する厳密な調査。流動民主主義委任投票、安全で検証可能でありながらゼロ知識証明技術によりプライバシーの守られた投票。 | 最高 | Bingsheng Zhang,Roman Oliynykov,Hamed Balogun | February 2019, NDSS’19 | CRYPTOCRYPTOCURRENCY | https://iohk.io/en/research/library/papers/a-treasury-system-for-cryptocurrenciesenabling-better-collaborative-intelligence/ |
73 | A Formal Treatment of Hardware Wallets | ハードウェアウォレットのセキュリティについて正式に定義し分析、証明した論文 | 中 | Myrto Arapinis,Andriana Gkaniatsou,Dimitris Karakostas,Aggelos Kiayias | February 2019, Financial Cryptography 2019 | BITCOIN | https://iohk.io/en/research/library/papers/a-formal-treatment-of-hardware-wallets/ |
74 | Leakage-Resilient Cryptography from Puncturable Primitives and Obfuscation | 情報漏洩耐性のある暗号の研究 | 低 | Yu Chen,Yuyu Wang,Hong-sheng Zhou | December 2018, Asiacrypt 2018 | CRYPTOGRAPHY | https://iohk.io/en/research/library/papers/leakage-resilient-cryptography-from-puncturable-primitives-and-obfuscation/ |
75 | Parallel Chains: Improving Throughput and Latency of Blockchain Protocols via Parallel Composition | スループット向上、決済速度向上のため安全性を確保しつつ並列処理を行う技術をPOWとPOSに分けて提示 | 低 | Matthias Fitzi,Peter Gaži,Aggelos Kiayias,Alexander Russell | November 2018, EPrint Archive | BLOCKCHAINDISTRIBUTEDPROTOCOLSCALABILITY | https://iohk.io/en/research/library/papers/parallel-chainsimproving-throughput-and-latency-of-blockchain-protocols-via-parallel-composition/ |
76 | Marlowe: financial contracts on blockchain | エラーの可能性を抑える金融スマートコントラクト専用言語のMarloweの論文 | 最高 | Pablo Lamela Seijas,Simon Thompson | November 2018, ISoLA 2018 | HASKELLSMARTCONTRACT | https://iohk.io/en/research/library/papers/marlowefinancial-contracts-on-blockchain/ |
77 | Comparison of Block Expectation Time for Various Consensus Algorithms | さまざまなブロックチェーンのブロック確認時間と、攻撃者が攻撃を成功させる確率の分析 | 中 | Dmytro Kaidalov,Lyudmila Kovalchuk,Andrii Nastenko,Mariia Rodinko,Oleksiy Shevtsov,Roman Oliynykov | November 2018, Radio Electronics, Computer Science, Control (Ukranian Journal) | BLOCKCHAINCONSENSUSDISTRIBUTED | https://iohk.io/en/research/library/papers/comparison-of-block-expectation-time-for-various-consensus-algorithms/ |
78 | Ouroboros-BFT: A Simple Byzantine Fault Tolerant Consensus Protocol | 一定の人達が参加しその中でブロックチェーンを進めるBFT版Ouroboros(IOGとEmurgoと財団のみが運用するByron時代のOuroborosやその他例えばIOG主導のAtalaの何かやコミュニティがサイドチェーンんなどとして作る何かなど)のセキュリティ証明 | 最高 | Aggelos Kiayias,Alexander Russell | October 2018, EPrint Archive | BLOCKCHAINCONSENSUSDISTRIBUTEDPROTOCOL | https://iohk.io/en/research/library/papers/ouroboros-bfta-simple-byzantine-fault-tolerant-consensus-protocol/ |
79 | Ouroboros Genesis: Composable Proof-of-Stake Blockchains with Dynamic Availability | 信頼できるチェックポイントやパーティなしで、自然に、素早く、正しいチェーンに接続しなおすことができることができるようにするOuroborosGenssis。POSの欠点を制約なく克服する初のシステム。 | 最高 | Christian Badertscher,Peter Gaži,Aggelos Kiayias,Alexander Russel,Vassilis Zikas | October 2018, CCS 2018 (ePrint Archive) | BLOCKCHAINCRYPTOCURRENCYPROOF-OF-STAKEPROTOCOL | https://iohk.io/en/research/library/papers/ouroboros-genesiscomposable-proof-of-stake-blockchains-with-dynamic-availability/ |
80 | Self-Reproducing Coins as Universal Turing Machine | UTXOでチューリング完全(プログラムに制限のない)スマートコントラクトができることを証明 | 中 | Alexander Chepurnoy,Vasily Kharin,Dmitry Meshkov | September 2018, CBT’18 | BLOCKCHAIN | https://iohk.io/en/research/library/papers/self-reproducing-coins-as-universal-turing-machine/ |
81 | Impossibility on Tamper-Resilient Cryptography with Uniqueness Properties | 一意(1つの)署名やキーなどの暗号化スキームは、改竄体制が弱いことを証明。 | 低 | Yuyu Wang,Takahiro Matsuda,Goichiro Hanaoka,Keisuke Tanaka | September 2018, EPrint Archive | CRYPTOGRAPHY | https://iohk.io/en/research/library/papers/impossibility-on-tamper-resilient-cryptography-with-uniqueness-properties/ |
82 | Ghosts of Departed Proofs (Functional Pearls) | ツール利用時にどのタイミングでその条件が満たされているか検証されることができるゴースト出発プルーフの研究 | 低 | Matt Noonan | September 2018, Haskell 2018 | HASKELLIMPLEMENTATION | https://iohk.io/en/research/library/papers/ghosts-of-departed-proofsfunctional-pearls/ |
83 | Formal specification for a Cardano wallet | 他のブロックチェーンにはない、Cardanoウォレットについての正式仕様 | 最高 | Duncan Coutts,Edsko de Vries | July 2018, IOHK | IMPLEMENTATIONPROOF-OF-STAKE | https://iohk.io/en/research/library/papers/formal-specification-for-a-cardano-wallet/ |
84 | 21 - Bringing Down the Complexity: Fast Composable Protocols for Card Games Without Secret State | スマートコントラクトやゼロ知識証明で、シンプルで公平で高速なカードゲームプロトコルを実現 | 低 | Bernardo David,Rafael Dowsley,Mario Larangeira | July 2018, ACISP’18 | BLOCKCHAINCRYPTODISTRIBUTEDMPCPROTOCOL | https://iohk.io/en/research/library/papers/21bringing-down-the-complexityfast-composable-protocols-for-card-games-without-secret-state/ |
85 | TwinsCoin: A Cryptocurrency via Proof-of-Work and Proof-of-Stake | 証明可能安全でスケーラブルなパブリックブロックチェーン設計に基づくPOW・POS両方ハイブリット版の最初の暗号通貨であるTwinsCoin | 低 | Alexander Chepurnoy,Tuyet Duong,Lei Fan,Hong-Sheng Zhou | June 2018, BCC’18 | CRYPTOCURRENCYPROOF-OF-STAKE | https://iohk.io/en/research/library/papers/twinscoina-cryptocurrency-via-proof-of-work-and-proof-of-stake/ |
86 | Stake-Bleeding Attacks on Proof-of-Stake Blockchains | チェックポイントなしPOSチェーンで考えられるStake-Bleeding攻撃の分析と、それへの対抗としてのチェーン密度などの考察 | 高 | Peter Gaži,Aggelos Kiayias,Alexander Russell | June 2018, Crypto Valley’18 | ATTACKDISTRIBUTEDPROOF-OF-STAKE | https://iohk.io/en/research/library/papers/stake-bleeding-attacks-on-proof-of-stake-blockchains/ |
87 | Number of Confirmation Blocks for Bitcoin and GHOST Consensus Protocols on Networks with Delayed Message Delivery: Extended Abstract | BTC・ETHのネットワーク遅延と高速同期する攻撃者を前提とした確認ブロック数(決済検証時間)の3つの導出方法 | 低 | Lyudmila Kovalchuk,Dmytro Kaidalov,Andrii Nastenko,Oleksiy Shevtsov,Mariia Rodinko,Roman Oliynykov | June 2018, CryBlock’18 | BITCOINBLOCKCHAINSCALABILITY | https://iohk.io/en/research/library/papers/number-of-confirmation-blocks-for-bitcoin-and-ghost-consensus-protocols-on-networks-with-delayed-message-deliveryextended-abstract/ |
88 | Multi-mode Cryptocurrency Systems | いままでフルノードのみ前提にしていたものを軽量ノードなども加味しての分析に拡張、さらに元長が不要な情報を「プルーニング」切り落とすことでストレージ効率化させる技術考案 | 中 | Tuyet Duong,Alexander Chepurnoy,Hong-Sheng Zhou | June 2018, BCC 2018 | BLOCKCHAINDISTRIBUTEDSCALABILITY | https://iohk.io/en/research/library/papers/multi-mode-cryptocurrency-systems/ |
89 | MARS: Monetized Ad-hoc Routing System (A Position Paper) | MARS:ノードが他のノードのために情報を渡すと報酬がもらえるような最適化の仕組み | 低 | Bernardo David,Rafael Dowsley,Mario Larangeira | June 2018, CryBlock’18 | BLOCKCHAINDISTRIBUTEDPROTOCOL | https://iohk.io/en/research/library/papers/marsmonetized-ad-hoc-routing-systema-position-paper/ |
90 | Ouroboros Praos: An adaptively-secure, semi-synchronous proof-of-stake protocol | 準同期設定での完全適応型の破損に対して、50%以上に敵対者がなるまでセキュリティ保証する初のPOS”OuroborosPraos”の数学的記述 | 最高 | Bernardo David,Peter Gaži,Aggelos Kiayias,Alexander Russell | April 2018, EUROCRYPT 2018 | CONSENSUSCRYPTOCURRENCYPROOF-OF-STAKE | https://iohk.io/en/research/library/papers/ouroboros-praosan-adaptively-securesemi-synchronous-proof-of-stake-protocol/ |
91 | Memory Lower Bounds of Reductions Revisited | 複数の署名や関数実行のためには、実行時間を確保しないとメモリを大きく使うことが不可避である点を証明 | 低 | Yuyu Wang,Takahiro Matsuda,Goichiro Hanaoka,Keisuke Tanaka | April 2018, EUROCRYPT 2018 | CRYPTOGRAPHY | https://iohk.io/en/research/library/papers/memory-lower-bounds-of-reductions-revisited/ |
92 | Chimeric Ledgers: Translating and Unifying UTXO-based and Account-based Cryptocurrencies | UTXOベース、アカウントベースの双方の整理と双方を扱える元帳やトランザクションの研究 | 低 | Joachim Zahnentferner | April 2018, EPrint Archive | BITCOINBLOCKCHAINCRYPTOCURRENCY | https://iohk.io/en/research/library/papers/chimeric-ledgerstranslating-and-unifying-utxo-based-and-account-based-cryptocurrencies/ |
93 | But Why Does It Work? A Rational Protocol Design Treatment of Bitcoin. | 実際にビットコインの大多数のマイナーが最大の利益を追求すると自然にビットコインの意図を達成することとなるために、このような設定である必要があるのかを論証 | 低 | Christian Badertscher,Juan A. Garay,Ueli Maurer,Daniel Tschudi,Vassilis Zikas | April 2018, EUROCRYPT 2018 | BITCOINCRYPTOGRAPHY | https://iohk.io/en/research/library/papers/but-why-does-it-worka-rational-protocol-design-treatment-of-bitcoin/ |
94 | Kaleidoscope: An Efficient Poker Protocol with Payment Distribution and Penalty Enforcement | 報酬強制配布と不正へのペナルティのポーカーゲームの課題を、ブロックチェーンで、効率的に解決する方法ーカレイドスコープ | 低 | Bernardo David,Rafael Dowsley,Mario Larangeira | March 2018, Financial Cryptography 2018 | BLOCKCHAINCRYPTODISTRIBUTEDMPCPROTOCOL | https://iohk.io/en/research/library/papers/kaleidoscopean-efficient-poker-protocol-with-payment-distribution-and-penalty-enforcement/ |
95 | Towards a Smart Contract-based, Decentralized, Public-Key Infrastructure | ブロックチェーンシステムのスケーラビリティとインセンティブメカニズムを利用して、スマートコントラクトベースのDPKI(分散型認証システム)の提案:課題はコストで、一定のサイズを持つパブリックステートの暗号アキュムレータを提案。初の正式に証明されたスマコン利用の認証システム | 中 | Christos Patsonakis,Katerina Samari,Mema Roussopoulos,Aggelos Kiayias | November 2017, CANS 2017 | https://iohk.io/en/research/library/papers/towards-a-smart-contract-baseddecentralizedpublic-key-infrastructure/ | |
96 | The Bitcoin Backbone Protocol with Chains of Variable Difficulty | BTCの難易度調整を含む正式なセキュリティ分析 | 低 | Juan A. Garay,Aggelos Kiayias,Nikos Leonardos | August 2017, CRYPTO 2017 (ePrint Archive) | BITCOINBLOCKCHAIN | https://iohk.io/en/research/library/papers/the-bitcoin-backbone-protocol-with-chains-of-variable-difficulty/ |
97 | Ouroboros: A Provably Secure Proof-of-Stake Blockchain Protocol | BTCに匹敵する厳格なセキュリティ保証を備えたPOSに基づく最初のブロックチェーンプロトコルである「Ouroboros」。 | 最高 | Aggelos Kiayias,Alexander Russell,Bernardo David,Roman Oliynykov | August 2017, CRYPTO 2017 (ePrint Archive) | BLOCKCHAINCRYPTOCURRENCYPROOF-OF-STAKE | https://iohk.io/en/research/library/papers/ouroborosa-provably-secure-proof-of-stake-blockchain-protocol/ |
98 | SCRAPE: Scalable Randomness Attested by Public Entities | 「完全にランダムなモノ」をさまざまな人が生み出し大規模な計算しつつ重くなりすぎず生成するSCRAPEを考案、これにより「完全にランダムなモノ」を事前に予測しないと攻撃できない安全な仕組みに応用できる。 | 中 | Bernardo David,Ignacio Cascudo | July 2017, ACNS | CRYPTOCRYPTOGRAPHYPROTOCOL | https://iohk.io/en/research/library/papers/scrapescalable-randomness-attested-by-public-entities/ |
99 | Improving Authenticated Dynamic Dictionaries, with Applications to Cryptocurrencies | ダイナミックディクショナリーを用いてブロックチェーンの検証を軽量化する | 低 | Leonid Reyzin,Dmitry Meshkov,Alexander Chepurnoy,Sasha Ivanov | April 2017, Financial Cryptography 2017 | CRYPTOCURRENCYDISTRIBUTEDIMPLEMENTATION | https://iohk.io/en/research/library/papers/improving-authenticated-dynamic-dictionarieswith-applications-to-cryptocurrencies/ |
100 | An Ontology for Smart Contracts | スマートコントラクトに関連する一般的考察 | 中 | Rebecca Valentine | March 2017 | SMARTCONTRACT | https://iohk.io/en/research/library/papers/an-ontology-for-smart-contracts/ |
101 | A Proposal for An Ethereum Classic Treasury System | ETCの分散型資金調達メカニズムの提案 | 低 | Dmytro Kaidalov,Lyudmila Kovalchuk,Andrii Nastenko,Mariia Rodinko,Oleksiy Shevtsov,Roman Oliynykov | March 2017 | BLOCKCHAINCRYPTOCURRENCY | https://iohk.io/en/research/library/papers/a-proposal-for-an-ethereum-classic-treasury-system/ |
102 | Scripting smart contracts for distributed ledger technology | 暗号資産で利用されるスクリプト言語をまとめ、その批評もまとめて、今後の可能性も分析 | 低 | Pablo Lamela Seijas,Simon Thompson,Darryl McAdams | December 2016, EPrint Archive | DISTRIBUTEDSMARTCONTRACT | https://iohk.io/en/research/library/papers/scripting-smart-contracts-for-distributed-ledger-technology/ |
https://iohk.io/en/research/library/papers/ |