ABCDEFGHIJKLMNOPQRSTUVWXYZ
1
MilestoneCodePaper NamePublic TimeLink Number of pagesReward in ADAStatus
2
Milestone 1: From January 1, 2025 to February 28, 20251
Kaleidoscope: An Efficient Poker Protocol with Payment Distribution and Penalty Enforcement
March 2018
https://iohk.io/en/research/library/papers/kaleidoscope-an-efficient-poker-protocol-with-payment-distribution-and-penalty-enforcement/
29261Pending
3
2
But Why Does It Work? A Rational Protocol Design Treatment of Bitcoin
April 2018
https://iohk.io/en/research/library/papers/but-why-does-it-work-a-rational-protocol-design-treatment-of-bitcoin/
41369Pending
4
3
Chimeric Ledgers: Translating and Unifying UTXO-based and Account-based Cryptocurrencies
April 2018
https://iohk.io/en/research/library/papers/chimeric-ledgers-translating-and-unifying-utxo-based-and-account-based-cryptocurrencies/
1199Pending
5
4Memory Lower Bounds of Reductions RevisitedApril 2018
https://iohk.io/en/research/library/papers/memory-lower-bounds-of-reductions-revisited/
30270Pending
6
5
Ouroboros Praos: An adaptively-secure, semi-synchronous proof-of-stake protocol
April 2018
https://iohk.io/en/research/library/papers/ouroboros-praos-an-adaptively-secure-semi-synchronous-proof-of-stake-protocol/
42378Pending
7
6
MARS: Monetized Ad-hoc Routing System (A Position Paper)
June 2018
https://iohk.io/en/research/library/papers/mars-monetized-ad-hoc-routing-system-a-position-paper/
545Pending
8
7Multi-mode Cryptocurrency SystemsJune 2018
https://iohk.io/en/research/library/papers/multi-mode-cryptocurrency-systems/
14126Pending
9
8
Number of Confirmation Blocks for Bitcoin and GHOST Consensus Protocols on Networks with Delayed Message Delivery: Extended Abstract
June 2018
https://iohk.io/en/research/library/papers/number-of-confirmation-blocks-for-bitcoin-and-ghost-consensus-protocols-on-networks-with-delayed-message-delivery-extended-abstract/
654Pending
10
9
Stake-Bleeding Attacks on Proof-of-Stake Blockchains
June 2018
https://iohk.io/en/research/library/papers/stake-bleeding-attacks-on-proof-of-stake-blockchains/
872Pending
11
10
TwinsCoin: A Cryptocurrency via Proof-of-Work and Proof-of-Stake
June 2018
https://iohk.io/en/research/library/papers/twinscoin-a-cryptocurrency-via-proof-of-work-and-proof-of-stake/
21189Pending
12
11
21 - Bringing Down the Complexity: Fast Composable Protocols for Card Games Without Secret State
July 2018
https://iohk.io/en/research/library/papers/21-bringing-down-the-complexity-fast-composable-protocols-for-card-games-without-secret-state/
32288Pending
13
12Formal specification for a Cardano walletJuly 2018
https://iohk.io/en/research/library/papers/formal-specification-for-a-cardano-wallet/
46414Pending
14
13Ghosts of Departed Proofs (Functional Pearls)
September 2018
https://iohk.io/en/research/library/papers/ghosts-of-departed-proofs-functional-pearls/
13117Pending
15
14Self-Reproducing Coins as Universal Turing Machine
September 2018
https://iohk.io/en/research/library/papers/self-reproducing-coins-as-universal-turing-machine/
872Pending
16
15
Ouroboros Genesis: Composable Proof-of-Stake Blockchains with Dynamic Availability
October 2018
https://iohk.io/en/research/library/papers/ouroboros-genesis-composable-proof-of-stake-blockchains-with-dynamic-availability/
66594Pending
17
16
Ouroboros-BFT: A Simple Byzantine Fault Tolerant Consensus Protocol
October 2018
https://iohk.io/en/research/library/papers/ouroboros-bft-a-simple-byzantine-fault-tolerant-consensus-protocol/
21189Pending
18
17Marlowe: financial contracts on blockchain
November 2018
https://iohk.io/en/research/library/papers/marlowe-financial-contracts-on-blockchain/
20180Pending
19
18
Parallel Chains: Improving Throughput and Latency of Blockchain Protocols via Parallel Composition
November 2018
https://iohk.io/en/research/library/papers/parallel-chains-improving-throughput-and-latency-of-blockchain-protocols-via-parallel-composition/
34306Pending
20
19
Leakage-Resilient Cryptography from Puncturable Primitives and Obfuscation
December 2018
https://iohk.io/en/research/library/papers/leakage-resilient-cryptography-from-puncturable-primitives-and-obfuscation/
51459Pending
21
20A Formal Treatment of Hardware WalletsFebruary 2019
https://iohk.io/en/research/library/papers/a-formal-treatment-of-hardware-wallets/
20180Pending
22
21
A Treasury System for Cryptocurrencies: Enabling Better Collaborative Intelligence
February 2019
https://iohk.io/en/research/library/papers/a-treasury-system-for-cryptocurrencies-enabling-better-collaborative-intelligence/
50450Pending
23
22Proof-of-Work SidechainsFebruary 2019
https://iohk.io/en/research/library/papers/proof-of-work-sidechains/
20180Pending
24
23
ROYALE: A Framework for Universally Composable CardGames with Financial Rewards and Penalties Enforcement
February 2019
https://iohk.io/en/research/library/papers/royale-a-framework-for-universally-composable-cardgames-with-financial-rewards-and-penalties-enforcement/
35315Pending
25
24
The Promise of Blockchain Technology for Global Securities and Derivatives Markets: The New Financial Ecosystem and the ‘Holy Grail’ of Systemic Risk Containment
February 2019
https://iohk.io/en/research/library/papers/the-promise-of-blockchain-technology-for-global-securities-and-derivatives-markets-the-new-financial-ecosystem-and-the-holy-grail-of-systemic-risk-containment/
30270Pending
26
25
Decreasing Security Threshold Against Double Spend Attack in Networks with Slow Synchronization
April 2019
https://iohk.io/en/research/library/papers/decreasing-security-threshold-against-double-spend-attack-in-networks-with-slow-synchronization/
654Pending
27
26
SoK: A Taxonomy for Layer-2 Scalability Related Protocols for Cryptocurrencies
April 2019
https://iohk.io/en/research/library/papers/sok-a-taxonomy-for-layer-2-scalability-related-protocols-for-cryptocurrencies/
19171Pending
28
27
Compact Storage of Superblocks for NIPoPoW Applications
May 2019
https://iohk.io/en/research/library/papers/compact-storage-of-superblocks-for-nipopow-applications/
18162Pending
29
28
Cryptocurrency Egalitarianism: A Quantitative Approach
May 2019
https://iohk.io/en/research/library/papers/cryptocurrency-egalitarianism-a-quantitative-approach/
29261Pending
30
29Functional Blockchain ContractsMay 2019
https://iohk.io/en/research/library/papers/functional-blockchain-contracts/
13117Pending
31
30
Ouroboros Crypsinous: Privacy-Preserving Proof-of-Stake
May 2019
https://iohk.io/en/research/library/papers/ouroboros-crypsinous-privacy-preserving-proof-of-stake/
54486Pending
32
31Proof-of-Stake SidechainsMay 2019
https://iohk.io/en/research/library/papers/proof-of-stake-sidechains/
36324Pending
33
32System F in Agda, for fun and profitOctober 2019
https://iohk.io/en/research/library/papers/system-f-in-agda-for-fun-and-profit/
42378Pending
34
33
Unraveling recursion: compiling an IR with recursion to System F
October 2019
https://iohk.io/en/research/library/papers/unraveling-recursion-compiling-an-ir-with-recursion-to-system-f/
31279Pending
35
34
Sonic: Zero-Knowledge SNARKs from Linear-Size Universal and Updateable Structured Reference Strings
November 2019
https://iohk.io/en/research/library/papers/sonic-zero-knowledge-snarks-from-linear-size-universal-and-updateable-structured-reference-strings/
20180Pending
36
35
Proof-of-Stake Blockchain Protocols with Near-Optimal Throughput
January 2020
https://iohk.io/en/research/library/papers/proof-of-stake-blockchain-protocols-with-near-optimal-throughput/
15135Pending
37
Milestone 2: From March 1, 2025 to April 30, 202536
The Combinatorics of the Longest-Chain Rule: Linear Consistency for Proof-of-Stake Blockchains
January 2020
https://iohk.io/en/research/library/papers/the-combinatorics-of-the-longest-chain-rule-linear-consistency-for-proof-of-stake-blockchains/
38342Pending
38
37
Bypassing Non-Outsourceable Proof-of-Work Schemes Using Collateralized Smart Contracts
February 2020
https://iohk.io/en/research/library/papers/bypassing-non-outsourceable-proof-of-work-schemes-using-collateralized-smart-contracts/
13117Pending
39
38
Marlowe: implementing and analysing financial contracts on blockchain
February 2020
https://iohk.io/en/research/library/papers/marlowe-implementing-and-analysing-financial-contracts-on-blockchain/
15135Pending
40
39Non-Interactive Proofs of Proof-of-WorkFebruary 2020
https://iohk.io/en/research/library/papers/non-interactive-proofs-of-proof-of-work/
42378Pending
41
40Proof-of-BurnFebruary 2020
https://iohk.io/en/research/library/papers/proof-of-burn/
30270Pending
42
41
Stake Shift in Major Cryptocurrencies: An Empirical Study
February 2020
https://iohk.io/en/research/library/papers/stake-shift-in-major-cryptocurrencies-an-empirical-study/
20180Pending
43
42The Extended UTXO ModelFebruary 2020
https://iohk.io/en/research/library/papers/the-extended-utxo-model/
15135Pending
44
43
Full Analysis of Nakamoto Consensus in Bounded-Delay Networks
March 2020
https://iohk.io/en/research/library/papers/full-analysis-of-nakamoto-consensus-in-bounded-delay-networks/
42378Pending
45
44
A Composable Security Treatment of the Lightning Network
June 2020
https://iohk.io/en/research/library/papers/a-composable-security-treatment-of-the-lightning-network/
109981Pending
46
45
One-shot Signatures and Applications to Hybrid Quantum/Classical Authentication
June 2020
https://iohk.io/en/research/library/papers/one-shot-signatures-and-applications-to-hybrid-quantumclassical-authentication/
33297Pending
47
46
Uncontrolled Randomness in Blockchains: Covert Bulletin Board for Illicit Activity
June 2020
https://iohk.io/en/research/library/papers/uncontrolled-randomness-in-blockchains-covert-bulletin-board-for-illicit-activity/
1199Pending
48
47SoK: A Taxonomy of Cryptocurrency WalletsJuly 2020
https://iohk.io/en/research/library/papers/sok-a-taxonomy-of-cryptocurrency-wallets/
30270Pending
49
48
Bitcoin Crypto–Bounties for Quantum Capable Adversaries
August 2020
https://iohk.io/en/research/library/papers/bitcoin-crypto-bounties-for-quantum-capable-adversaries/
16144Pending
50
49
Flexible Formality: Practical Experience with Agile Formal Methods
August 2020
https://iohk.io/en/research/library/papers/flexible-formality-practical-experience-with-agile-formal-methods/
27243Pending
51
50
Introduction to the design of the Data Diffusion and Networking for Cardano Shelley*
August 2020
https://iohk.io/en/research/library/papers/introduction-to-the-design-of-the-data-diffusion-and-networking-for-cardano-shelley/
72648Pending
52
51
Security Analysis and Improvements for the IETF MLS Standard for Group Messaging
August 2020
https://iohk.io/en/research/library/papers/security-analysis-and-improvements-for-the-ietf-mls-standard-for-group-messaging/
39351Pending
53
52Smart Contract DerivativesAugust 2020
https://iohk.io/en/research/library/papers/smart-contract-derivatives/
872Pending
54
53
The Architecture of Decentralised Finance Platforms: A New Open Finance Paradigm
August 2020
https://iohk.io/en/research/library/papers/the-architecture-of-decentralised-finance-platforms-a-new-open-finance-paradigm/
42378Pending
55
54Account Management in Proof of Stake Ledgers
September 2020
https://iohk.io/en/research/library/papers/account-management-in-proof-of-stake-ledgers/
32288Pending
56
55Reward Sharing Schemes for Stake Pools
September 2020
https://iohk.io/en/research/library/papers/reward-sharing-schemes-for-stake-pools/
48432Pending
57
56Updatable Blockchains
September 2020
https://iohk.io/en/research/library/papers/updatable-blockchains/
20180Pending
58
57A Gas-Efficient Superlight Bitcoin Client in SolidityOctober 2020
https://iohk.io/en/research/library/papers/a-gas-efficient-superlight-bitcoin-client-in-solidity/
35315Pending
59
58Efficient static analysis of Marlowe contractsOctober 2020
https://iohk.io/en/research/library/papers/efficient-static-analysis-of-marlowe-contracts/
16144Pending
60
59Native Custom Tokens in the Extended UTXO ModelOctober 2020
https://iohk.io/en/research/library/papers/native-custom-tokens-in-the-extended-utxo-model/
20180Pending
61
60
Timed Signatures and Zero-Knowledge Proofs –Timestamping in the Blockchain Era–
October 2020
https://iohk.io/en/research/library/papers/timed-signatures-and-zero-knowledge-proofs-timestamping-in-the-blockchain-era/
47423Pending
62
61
UTxO- vs account-based smart contract blockchain programming paradigms
October 2020
https://iohk.io/en/research/library/papers/utxo-vs-account-based-smart-contract-blockchain-programming-paradigms/
16144Pending
63
62UTXOma:UTXO with Multi-Asset SupportOctober 2020
https://iohk.io/en/research/library/papers/utxomautxo-with-multi-asset-support/
16144Pending
64
63Blockchains from Non-Idealized Hash Functions
November 2020
https://iohk.io/en/research/library/papers/blockchains-from-non-idealized-hash-functions/
36324Pending
65
64
Consistency of Proof-of-Stake Blockchains with Concurrent Honest Slot Leaders
November 2020
https://iohk.io/en/research/library/papers/consistency-of-proof-of-stake-blockchains-with-concurrent-honest-slot-leaders/
41369Pending
66
Milestone 3: From May 1, 2025 to June 30, 202565
Continuous Group Key Agreement with Active Security
November 2020
https://iohk.io/en/research/library/papers/continuous-group-key-agreement-with-active-security/
62558Pending
67
66Ledger Combiners for Fast Settlement
November 2020
https://iohk.io/en/research/library/papers/ledger-combiners-for-fast-settlement/
37333Pending
68
67Tight Consistency Bounds for Bitcoin
November 2020
https://iohk.io/en/research/library/papers/tight-consistency-bounds-for-bitcoin/
20180Pending
69
68
Universal Composition with Global Subroutines: Capturing Global Setup within plain UC
November 2020
https://iohk.io/en/research/library/papers/universal-composition-with-global-subroutines-capturing-global-setup-within-plain-uc/
44396Pending
70
69
Zendoo: a zk-SNARK Verifiable Cross-Chain Transfer Protocol Enabling Decoupled and Decentralized Sidechains
November 2020
https://iohk.io/en/research/library/papers/zendoo-a-zk-snark-verifiable-cross-chain-transfer-protocol-enabling-decoupled-and-decentralized-sidechains/
40360Pending
71
70Lightweight Virtual Payment Channels
December 2020
https://iohk.io/en/research/library/papers/lightweight-virtual-payment-channels/
41369Pending
72
71
Security Limitations of Classical-Client Delegated Quantum Computing
December 2020
https://iohk.io/en/research/library/papers/security-limitations-of-classical-client-delegated-quantum-computing/
40360Pending
73
72
Single-Sample Prophet Inequalities via Greedy-Ordered Selection
January 2022
https://iohk.io/en/research/library/papers/single-sample-prophet-inequalities-via-greedy-ordered-selection/
34306Pending
74
73
New Design Techniques for Efficient Arithmetization-Oriented Hash Functions: Anemoi Permutations and Jive Compression Mode
August 2023
https://iohk.io/en/research/library/papers/ordering-transactions-with-bounded-unfairness-definitions-complexity-and-constructions/
37333Pending
75
74Updatable Policy-Compliant SignaturesApril 2024
https://iohk.io/en/research/library/papers/updatable-policy-compliant-signatures/
64576Pending
76
75
High-Throughput Blockchain Consensus under Realistic Network Assumptions
May 2024
https://iohk.io/en/research/library/papers/high-throughput-blockchain-consensus-under-realistic-network-assumptions/
23207Pending
77
76
Probability of Double Spend Attack for PoS Consensus with Ouroboros Praos Slot Leader Election Procedure
June 2024
https://iohk.io/en/research/library/papers/probability-of-double-spend-attack-for-pos-consensus-with-ouroboros-praos-slot-leader-election-procedure/
436Pending
78
77
Are continuous stop-and-go mixnets provably secure?
July 2024
https://iohk.io/en/research/library/papers/are-continuous-stop-and-go-mixnets-provably-secure/
19171Pending
79
78
Consensus Redux: Distributed Ledgers in the Face of Adversarial Supremacy
July 2024
https://iohk.io/en/research/library/papers/consensus-redux-distributed-ledgers-in-the-face-of-adversarial-supremacy/
42378Pending
80
79
Unlinkable Policy-Compliant Signatures for Compliant and Decentralized Anonymous Payments
July 2024
https://iohk.io/en/research/library/papers/unlinkable-policy-compliant-signatures-for-compliant-and-decentralized-anonymous-payments/
91819Pending
81
80Intents on the Extended UTxO LedgerAugust 2024
https://iohk.io/en/research/library/papers/intents-on-the-extended-utxo-ledger/
327Pending
82
81
Towards Permissionless Consensus in the Standard Model via Fine-Grained Complexity
August 2024
https://iohk.io/en/research/library/papers/towards-permissionless-consensus-in-the-standard-model-via-fine-grained-complexity/
67603Pending
83
82
Universal Composable Transaction Serialization with Order Fairness
August 2024
https://iohk.io/en/research/library/papers/universal-composable-transaction-serialization-with-order-fairness/
49441Pending
84
83Achieving Envy-Freeness through Items Sale
September 2024
https://iohk.io/en/research/library/papers/achieving-envy-freeness-through-items-sale/
16144Pending
85
84
Applying Continuous Formal Methods to Cardano (Experience Report)
September 2024
https://iohk.io/en/research/library/papers/applying-continuous-formal-methods-to-cardano-experience-report/
763Pending
86
85
Balancing Participation and Decentralization in Proof-of-Stake Cryptocurrencies
September 2024
https://iohk.io/en/research/library/papers/balancing-participation-and-decentralization-in-proof-of-stake-cryptocurrencies/
37333Pending
87
86Blockchain Space Tokenization
September 2024
https://iohk.io/en/research/library/papers/blockchain-space-tokenization/
21189Pending
88
87
Competitive Policies for Online Collateral Maintenance
September 2024
https://iohk.io/en/research/library/papers/competitive-policies-for-online-collateral-maintenance/
19171Pending
89
88
MUSEN: Aggregatable Key-Evolving Verifiable Random Functions and Applications
September 2024
https://iohk.io/en/research/library/papers/musen-aggregatable-key-evolving-verifiable-random-functions-and-application
38342Pending
90
89
PARScoin: A Privacy-preserving, Auditable, and Regulation-friendly Stablecoin
September 2024
https://iohk.io/en/research/library/papers/parscoin-a-privacy-preserving-auditable-and-regulation-friendly-stablecoin/
59531Pending
91
90Scalable and Lightweight State-Channel Audits
September 2024
https://iohk.io/en/research/library/papers/scalable-and-lightweight-state-channel-audits/
29261Pending
92
TOTAL280825272
93
94
95
96
97
98
99
100