On UC-Secure Range Extension and Batch Verification for ECVRF

September2022

https://iohk.io/en/research/library/papers/on-uc-secure-range-extension-and-batch-verification-for-ecvrf/

https://cardano.vn/docs/Cardano360/TechDocs/mo_rong_pham_vi_bao_mat_uc_va_xac_minh_theo_lo_cho_ecvrf

https://drive.google.com/file/d/1nVlKrZm4F6aXgspMLUGpnISUEwNQwpZA/

Decentralization Analysis of Pooling Behavior in Cardano Proof of Stake

November 2022

https://iohk.io/en/research/library/papers/decentralization-analysis-of-pooling-behavior-in-cardano-proof-of-stake/

https://cardano.vn/docs/Cardano360/TechDocs/phan_tich_phi_tap_trung_ve_hanh_vi_tong_hop_trong_bang_chung_co_phan_cardano

https://drive.google.com/file/d/1NzNptA6fizGNQXuHzAx0xEezSL2cQ4tB

Differential Liquidity Provision in Uniswap v3 and Implications forContract Design

November 2022

https://iohk.io/en/research/library/papers/differential-liquidity-provision-in-uniswap-v3-and-implications-forcontract-design/

https://cardano.vn/docs/Cardano360/TechDocs/cung_cap_thanh_khoan_chenh_lech_trong_uniswap_v3_va_y_nghia_doi_voi_viec_thiet_ke_hop_dong

https://drive.google.com/file/d/121kt1DCNr9Hyj6i6wjvUtPvXntEh0MZ5/

Minotaur: Multi-Resource Blockchain Consensus

November 2022

https://iohk.io/en/research/library/papers/minotaur-multi-resource-blockchain-consensus/

https://cardano.vn/docs/Cardano360/TechDocs/minotaur_co_che_dong_thuan_blockchain_da_tai_nguyen

https://drive.google.com/file/d/189ZDeLWkU_YkKtG7SK5WMH_9QExor8U4/

PEReDi: Privacy-Enhanced, Regulated and Distributed Central Bank Digital Currencies

November 2022

https://iohk.io/en/research/library/papers/peredi-privacy-enhanced-regulated-and-distributed-central-bank-digital-currencies/

https://cardano.vn/docs/Cardano360/TechDocs/peredi_tien_ky_thuat_so_cua_ngan_hang_trung_uong_duoc_tang_cuong_quan_ly_va_phan_phoi

https://drive.google.com/file/d/1AUMtzoc0QMN85aYDd8r6rT92GpKEfD99/

Permissionless Clock Synchronization with Public Setup

November 2022

https://iohk.io/en/research/library/papers/permissionless-clock-synchronization-with-public-setup/

https://cardano.vn/docs/Cardano360/TechDocs/dong_bo_hoa_dong_ho_khong_can_cap_phep_voi_thiet_lap_cong_khai

https://drive.google.com/file/d/1PtipPFEAMhfPgNPzsA1_JzUWwK7BQ1BY/

Practical Settlement Bounds for Proof-of-Work Blockchains

November 2022

https://iohk.io/en/research/library/papers/practical-settlement-bounds-for-proof-of-work-blockchains/

https://cardano.vn/docs/Cardano360/TechDocs/gioi_han_xu_ly_thuc_te_cho_blockchain_bang_chung_cong_viec_

https://drive.google.com/file/d/1-NKBo22aQhk2rX72KZCLAL_dFMYzlv-k/

SoK: A Stratified Approach to Blockchain Decentralization

November 2022

https://iohk.io/en/research/library/papers/sok-a-stratified-approach-to-blockchain-decentralization/

https://cardano.vn/docs/Cardano360/TechDocs/sok_cach_tiep_can_phan_tang_de_phi_tap_trung_blockchain

https://drive.google.com/file/d/1zSOr0ugUrs4uEBCiGQa1r4hTXrtRjd9M/

The Generals’ Scuttlebutt: Byzantine-Resilient Gossip Protocols

November 2022

https://iohk.io/en/research/library/papers/the-generals-scuttlebutt-byzantine-resilient-gossip-protocols/

https://cardano.vn/docs/Cardano360/TechDocs/scuttlebutt_cua_cac_vi_tuong_giao_thuc_gossip_co_kha_nang_phuc_hoi_byzantine

https://drive.google.com/file/d/1wjeYpDz3IFl8IhCzKGUg0OyIkOD9_93_/

Threshold Structure-Preserving Signatures

November 2022

https://iohk.io/en/research/library/papers/threshold-structure-preserving-signatures/

https://cardano.vn/docs/Cardano360/TechDocs/nguong_chu_ky_duy_tri_cau_truc

https://drive.google.com/file/d/1AIGUYY_IhbHidNfAKMotVznuLcy1cH2f/

GUC-Secure Commitments via Random Oracles: New Impossibility and Feasibility

December 2022

https://iohk.io/en/research/library/papers/guc-secure-commitments-via-random-oracles-new-impossibility-and-feasibility/

https://cardano.vn/docs/Cardano360/TechDocs/cam_ket_b%E1%BA%A3o_mat_%20guc_thong_qua_oracle_ngau_nhien

https://drive.google.com/file/d/17ymHUeWMqcrM7JZTJHjKoodbmWEeVACg/

Probability of double spend attack for network with non-zero time delay

December 2022

https://iohk.io/en/research/library/papers/probability-of-double-spend-attack-for-network-with-non-zero-time-delay/

https://cardano.vn/docs/Cardano360/TechDocs/xac_suat_tan_cong_chi_tieu_hai_lan_doi_voi_mang_co_do_tre_thoi_gian_khac_0

https://drive.google.com/file/d/1hJduxQdx7UjqouEgJFPjNf4fx00fojKZ/

Reputation at Stake! A Trust Layer over Decentralized Ledger for Multiparty Computation and Reputation-Fair Lottery

December 2022

https://iohk.io/en/research/library/papers/reputation-at-stake-a-trust-layer-over-decentralized-ledger-for-multiparty-computation-and-reputation-fair-lottery/

https://cardano.vn/docs/Cardano360/TechDocs/danh_tieng_co_phan_lop_tin_cay_tren_so_cai_phi_tap_trung_de_tinh_toan_nhieu_ben_va_xo_so_cong_bang_dua_vao_danh_tieng

https://drive.google.com/file/d/1fGjloJDzqhRHWE4vwrWSL4-8ix2cpQR0/

SNACKs: Leveraging Proofs of Sequential Work for Blockchain Light Clients

December 2022

https://iohk.io/en/research/library/papers/snacks-leveraging-proofs-of-sequential-work-for-blockchain-light-clients/

https://cardano.vn/docs/Cardano360/TechDocs/snack_tan_dung_bang_chung_cong_viec_tuan_tu_cho_blockchain_may_tram_nhe

https://drive.google.com/file/d/1KYUAynlSJJGQbWpYSEgX4QxgpUMj3I1i/

WOTSwana: A Generalized Sleeve Construction for Multiple Proofs of Ownership

December 2022

https://iohk.io/en/research/library/papers/wotswana-a-generalized-sleeve-construction-for-multiple-proofs-of-ownership/

https://cardano.vn/docs/Cardano360/TechDocs/wotswana_cau_truc_sleeve_tong_quat_cho_nhieu_bang_chung_quyen_so_huu

https://drive.google.com/file/d/1qcQ6TsEWm2-_PmJseoJs_Nq_PD9qSz_I/

A polynomial-time algorithm for 1/2-well-supported Nash equilibria in bimatrix games

https://iohk.io/en/research/library/papers/a-polynomial-time-algorithm-for-12-well-supported-nash-equilibria-in-bimatrix-games/

https://cardano.vn/docs/Cardano360/TechDocs/thuat_toan_thoi_gian_da_thuc_cho_can_bang_nash_duoc_ho_tro_tot_1_2_trong_tro_choi_Bimatrix/

https://drive.google.com/file/d/1-Sq9ehzwKVEHRvkB-ejGU-_CCycpf2Iy/

Multi-party Private Function Evaluation for RAM

https://iohk.io/en/research/library/papers/multi-party-private-function-evaluation-for-ram/

https://cardano.vn/docs/Cardano360/TechDocs/danh_gia_ham_rieng_tu_nhieu_ben_voi_ram

https://drive.google.com/file/d/1BaC7Qx7XE8SX6NQovj9wFg3d0XRQg-3w/

Correctness of Broadcast via Multicast: Graphically and Formally

https://iohk.io/en/research/library/papers/correctness-of-broadcast-via-multicast-graphically-and-formally/

https://cardano.vn/docs/Cardano360/TechDocs/tinh_chinh_xac_cua_phat_tan_nhieu_huong_do_hoa_va_chinh_thuc

https://drive.google.com/file/d/1BTXb6xoBJ4THXcZOdixE6y5pnD0kIG5i/

Models for Generation of Proof Forest in ZK-SNARK Based Sidechains

https://iohk.io/en/research/library/papers/models-for-generation-of-proof-forest-in-zk-snark-based-sidechains/

https://cardano.vn/docs/Cardano360/TechDocs/mo_hinh_tao_ra_rung_bang_chung_trong_sidechain_dua_tren_zk_snark

https://drive.google.com/file/d/1Bk7V8R-c4--vdigCdLiH7xtSAo21wIH3/

Endemic Oblivious Transfer via Random Oracles, Revisited

https://iohk.io/en/research/library/papers/endemic-oblivious-transfer-via-random-oracles-revisited/

https://cardano.vn/docs/Cardano360/TechDocs/xem_xet_lai_di_chuyen_ma_khong_tiet_lo_dac_huu_thong_qua_oracle_ngau_nhien

https://drive.google.com/file/d/1zgjiWtUQ_jK-Fn3hGOJAwrpZq6bkjZGC/

https://iohk.io/en/research/library/papers/privacy-preserving-blueprints/

https://cardano.vn/docs/Cardano360/TechDocs/cau_truc_chi_tiet_dam_bao_quyen_rieng_tu

https://drive.google.com/file/d/1mVXffGT8Qfjl1t01CzsVi49UtL1HbqiO/

Tiered Mechanisms for Blockchain Transaction Fees

https://iohk.io/en/research/library/papers/tiered-mechanisms-for-blockchain-transaction-fees/

https://cardano.vn/docs/Cardano360/TechDocs/co_che_phan_tang_cho_phi_giao_dich_blockchain

https://drive.google.com/file/d/1zkTIxbW527d3IvJAo93M0PAO8Sr7VwhK/

Djed: A Formally Verified Crypto-Backed Pegged Algorithmic Stablecoin

https://iohk.io/en/research/library/papers/djed-a-formally-verified-crypto-backed-pegged-algorithmic-stablecoin/

https://cardano.vn/docs/Cardano360/TechDocs/djed_stablecoin_thuat_toan_duoc_ho_tro_bang_crypto_da_duoc_xac_minh_chinh_thuc

https://drive.google.com/file/d/16da2XtFmTisK7q5oVB9PWH9C-k1qppil/

Improved EFX Approximation Guarantees under Ordinal-based Assumptions

https://iohk.io/en/research/library/papers/improved-efx-approximation-guarantees-under-ordinal-based-assumptions/

https://cardano.vn/docs/Cardano360/TechDocs/cai_thien_dam_bao_gan_dung_efx_theo_cac_gia_dinh_dua_tren_thu_tu

https://drive.google.com/file/d/1VNXZioMFWtYxN6At2RnwmaeQSEmG3OOR/

State Machines across Isomorphic Layer 2 Ledgers

https://iohk.io/en/research/library/papers/state-machines-across-isomorphic-layer-2-ledgers/

https://cardano.vn/docs/Cardano360/TechDocs/may_trang_thai_tren_so_cai_layer_2_dang_cau

https://drive.google.com/file/d/1l8UbSGqrvyZFC0B89lGb1GBNM_NwjcPt/

A Decentralized Information Marketplace Preserving Input and Output Privacy

https://iohk.io/en/research/library/papers/a-decentralized-information-marketplace-preserving-input-and-output-privacy/

https://cardano.vn/docs/Cardano360/TechDocs/thi_truong_thong_tin_phi_tap_trung_bao_ve_quyen_rieng_tu_dau_vao_va_dau_ra

https://drive.google.com/file/d/1j4kS9NwF4FukzhDPi8Z1QH8zVuhRpc3_/

Algebraic Reasoning About Timeliness

https://iohk.io/en/research/library/papers/algebraic-reasoning-about-timeliness/

https://cardano.vn/docs/Cardano360/TechDocs/ly_luan_dai_so_ve_tinh_kip_thoi

https://drive.google.com/file/d/1alKKX0FNoPPYfqisY2SJJ0GSRiHTJPPe/

Proofs about Network Communication: For Humans and Machines

https://iohk.io/en/research/library/papers/proofs-about-network-communication-for-humans-and-machines/

https://cardano.vn/docs/Cardano360/TechDocs/bang_chung_ve_giao_tiep_mang_luoi_danh_cho_con_nguoi_va_may_moc

https://drive.google.com/file/d/1jMG8iWuf8wbQD_FZmW7r7oFlBOXeK2c1/

https://iohk.io/en/research/library/papers/would-friedman-burn-your-tokens/

https://cardano.vn/docs/Cardano360/TechDocs/friedman_co_dot_token_cua_ban_khong

https://drive.google.com/file/d/1S3NC7-1RS0fhNVNjPyNSbIMLBJDfma36/

Efficient Random Beacons with Adaptive Security for Ungrindable Blockchains

https://iohk.io/en/research/library/papers/efficient-random-beacons-with-adaptive-security-for-ungrindable-blockchains/

https://cardano.vn/docs/Cardano360/TechDocs/beacon_ngau_nhien_hieu_qua_voi_bao_mat_thich_ung_cho_cac_blockchain_khong_the_mai_mon

https://drive.google.com/file/d/1zgkz5sPWO7E_cchZTCVysJ62eGRBRQi-/

Maravedí: A Secure and Practical Protocol to Trade Risk for Instantaneous Finality

https://iohk.io/en/research/library/papers/maravedi-a-secure-and-practical-protocol-to-trade-risk-for-instantaneous-finality/

https://cardano.vn/docs/Cardano360/TechDocs/maravedi_giao_thuc_an_toan_va_thiet_thuc_de_xu_ly_rui_ro_giao_dich_nham_dat_duoc_tinh_hoan_tat_tuc_thoi

https://drive.google.com/file/d/1Sl52mhO7QvobERvs5ZVHeupnKWJjFd0s/

Round-Robin Beyond Additive Agents: Existence and Fairness of Approximate Equilibria

https://iohk.io/en/research/library/papers/round-robin-beyond-additive-agents-existence-and-fairness-of-approximate-equilibria/

https://cardano.vn/docs/Cardano360/TechDocs/round_robin_ngoai_cac_tac_nhan_bo_sung_su_ton_tai_va_cong_bang_cua_cac_%20trang_thai_can_bang_gan_dung

https://drive.google.com/file/d/1DTmcCUkDu2i3faeqEt_SMjC-vspILb0P/view?usp=sharing

SecureCyclon: Dependable Peer Sampling

https://iohk.io/en/research/library/papers/securecyclon-dependable-peer-sampling/

https://cardano.vn/docs/Cardano360/TechDocs/secure_cyclon_lay_mau_ngang_hang_dang_tin_cay

https://drive.google.com/file/d/1ada8z6gAxWj1_mYS57QLH1GWldZOp1xl/

Ordering Transactions with Bounded Unfairness: Definitions, Complexity and Constructions

https://iohk.io/en/research/library/papers/ordering-transactions-with-bounded-unfairness-definitions-complexity-and-constructions/

https://cardano.vn/docs/Cardano360/TechDocs/thu_tu_cac_giao_dich_co_gioi_han_khong_cong_bang_dinh_nghia_do_%20phuc_tap_va_cau_truc

https://drive.google.com/file/d/1wfZB9-mEId6uzIlZ-wc1MQvAqoZskLvX/

Practical Settlement Bounds for Longest-Chain Consensus

https://iohk.io/en/research/library/papers/practical-settlement-bounds-for-longest-chain-consensus/

https://cardano.vn/docs/Cardano360/TechDocs/gioi_han_xu_ly_thuc_te_cho_co_che_dong_thuan_chuoi_dai_nhat

https://drive.google.com/file/d/1J9Ambjvl5NyvP7upC5LyVV3PJpp1GQin/

Proportionality Guarantees in Elections with Interdependent Issues

https://iohk.io/en/research/library/papers/proportionality-guarantees-in-elections-with-interdependent-issues/

https://cardano.vn/docs/Cardano360/TechDocs/bao_dam_ty_le_trong_cuoc_bau_cu_co_cac_van_de_phu_thuoc_lan_nhau

https://drive.google.com/file/d/1CCYEWsUjHR73TNAoKbP0-7HDVQNibIWi/

Provably Secure Blockchain Protocols from Distributed Proof-of-Deep-Learning

https://iohk.io/en/research/library/papers/provably-secure-blockchain-protocols-from-distributed-proof-of-deep-learning/

https://cardano.vn/docs/Cardano360/TechDocs/giao_thuc_blockchain_an_toan_co_the_chung_minh_duoc_tu_bang_chung_deep_learning_phan_tan

https://drive.google.com/file/d/1whNPYtwTsS-dDIlMnolBvl8dwi1-iNlR/

Strategic Liquidity Provision in Uniswap v3

https://iohk.io/en/research/library/papers/strategic-liquidity-provision-in-uniswap-v3/

https://cardano.vn/docs/Cardano360/TechDocs/chien_luoc_cung_cap_thanh_khoan_trong_uniswap_v3

https://drive.google.com/file/d/1YJW6uX1E3jUyrfL3jeGbYa8-YfY_vru5/

Agile Cryptography: A Composable Approach

November 2023

https://iohk.io/en/research/library/papers/agile-cryptography-a-composable-approach/

https://cardano.vn/docs/Cardano360/TechDocs/mat_ma_linh_hoat_cach_tiep_can_co_the_tong_hop_toan_cau

https://drive.google.com/file/d/1D-edFVOhjrExYia5Ovoi2xyttnjNXXCu/

Fait Accompli Committee Selection: Improving the Size-Security Tradeoff of Stake-Based Committees

November 2023

https://iohk.io/en/research/library/papers/fait-accompli-committee-selection-improving-the-size-security-tradeoff-of-stake-based-committees/

https://cardano.vn/docs/Cardano360/TechDocs/lua_chon_uy_ban_thuc_te_da_hoan_thanh_cai_thien_can_bang_giua_quy_mo_va_bao_mat_cua_uy_ban_dua_tren_co_phan

https://drive.google.com/file/d/1hGn_9gj6tWl-I0mtoAuKm4qOw3l0nY4p/

From Polynomial IOP and Commitments to Non-malleable zkSNARKs

November 2023

https://iohk.io/en/research/library/papers/from-polynomial-iop-and-commitments-to-non-malleable-zksnarks/

https://cardano.vn/docs/Cardano360/TechDocs/tu_iop_da_thuc_va_cac_cam_ket_den_zksnark_khong_the_dieu_chinh

https://drive.google.com/file/d/1dRdpQl7IqTGGsmu38plSDSp9feZgJiSt/

How to Compile Polynomial IOP into Simulation-Extractable SNARKs: A Modular Approach

November 2023

https://iohk.io/en/research/library/papers/how-to-compile-polynomial-iop-into-simulation-extractable-snarks-a-modular-approach/

https://cardano.vn/docs/Cardano360/TechDocs/cach_bien_dich_iop_da_thuc_thanh_snark_co_the_trich_xuat_mo_phong_cach_tiep_can_mo_dun

https://drive.google.com/file/d/1AuJ5Aj8kGk9gG4czs2sOsLTy486iWqty/

December 2023

https://iohk.io/en/research/library/papers/blockchain-participation-games/

https://cardano.vn/docs/Cardano360/TechDocs/tro_choi_tham_gia_blockchain

https://drive.google.com/file/d/1EsS2LeYmA1TNbcNF-GkLszGeYfNTed70/

Partial Allocation in Budget-feasible Mechanism Design: Bridging Multiple Levels of Service and Divisible Agents

December 2023

https://iohk.io/en/research/library/papers/partial-allocation-in-budget-feasible-mechanism-design-bridging-multiple-levels-of-service-and-divisible-agents/

https://cardano.vn/docs/Cardano360/TechDocs/co_so_cua_chu_ky_an_danh_dinh_nghia_chinh_thuc_yeu_cau_don_gian_hoa_va_cau_truc_dua_tren_cac_gia_dinh_tong_quat

https://drive.google.com/file/d/1ZbJ-LY7Yq6slcPItkHU_Ml0E9RUsSMYy/

Proof-of-Work-based Consensus in Expected-Constant Time

https://iohk.io/en/research/library/papers/proof-of-work-based-consensus-in-expected-constant-time/

https://cardano.vn/docs/Cardano360/TechDocs/co_che_dong_thuan_dua_tren_bang_chung_cong_viec_trong_thoi_gian_du_kien_khong_doi

https://drive.google.com/file/d/13fgGPLPgwsPr17CT4S7lqJibL2-mjVyY/