Another Look at Extraction and Randomization of Groth's zk-SNARK

https://iohk.io/en/research/library/papers/another-look-at-extraction-and-randomization-of-groths-zk-snark/

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

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

https://docs.google.com/presentation/d/1EKk2abIdM4UfopVHneg3d8Qo_KqsIwEu/

https://iohk.io/en/research/library/papers/brick-asynchronous-payment-channels/

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

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

Efficient State Management in Distributed Ledgers

https://iohk.io/en/research/library/papers/efficient-state-management-in-distributed-ledgers/

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

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

Mining for Privacy: How to Bootstrap a Snarky Blockchain

https://iohk.io/en/research/library/papers/mining-for-privacy-how-to-bootstrap-a-snarky-blockchain/

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

https://drive.google.com/file/d/1CwD51BcJI-qcBELVW8LMsAmbY7eHToAh/

Multi-instance Publicly Verifiable Time-lock Puzzle and its Applications

https://iohk.io/en/research/library/papers/multi-instance-publicly-verifiable-time-lock-puzzle-and-its-applications/

https://cardano.vn/docs/Cardano360/TechDocs/cau_di_khoa_thoi_gian_co_the_xac_minh_cong_khai_nhieu_phien_ban_va_ung_%20dung_cua_no

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

Pay To Win: Cheap, Crowdfundable, Cross-chain Algorithmic Incentive Manipulation Attacks on PoW Cryptocurrencies

https://iohk.io/en/research/library/papers/pay-to-win-cheap-crowdfundable-cross-chain-algorithmic-incentive-manipulation-attacks-on-pow-cryptocurrencies/

https://cardano.vn/docs/Cardano360/TechDocs/tra_tien_de_chien_thang_cuoc_tan_cong_khuyen_khich_bang_thuat_toan_cross_chain_phi_re_co_the_huy_%C4%91ong_von_tu_cong_dong_doi_voi_crypto_pow

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

Payment Trees: Low Collateral Payments for Payment Channel Networks

https://iohk.io/en/research/library/papers/payment-trees-low-collateral-payments-for-payment-channel-networks/

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

https://drive.google.com/file/d/15_CwEJ1mUfGCA2R6vJ8yDQ9PnDBhe3pf/

Post-Quantum Security of the Bitcoin Backbone and Quantum Multi-Solution Bernoulli Search

https://iohk.io/en/research/library/papers/post-quantum-security-of-the-bitcoin-backbone-and-quantum-multi-solution-bernoulli-search/

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

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

SoK: Algorithmic Incentive Manipulation Attacks on Permissionless PoW Cryptocurrencies

https://iohk.io/en/research/library/papers/sok-algorithmic-incentive-manipulation-attacks-on-permissionless-pow-cryptocurrencies/

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

https://drive.google.com/file/d/1epWFeB89oP7aw3QeeiFXnl1uIKb4-0Jc/

https://iohk.io/en/research/library/papers/sok-communication-across-distributed-ledgers/

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

https://drive.google.com/file/d/1g1lrHWciFiAYIkaI-LSEkUgJUu08wyCh/

Standardized crypto-loans on the Cardano blockchain

https://iohk.io/en/research/library/papers/standardized-crypto-loans-on-the-cardano-blockchain/

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

https://drive.google.com/file/d/1VCBqNC-GAtkq5pGG8hV2Vqx2EEyjJIaV/

Impossibility on Tamper-Resilient Cryptography with Uniqueness Properties

https://iohk.io/en/research/library/papers/impossibility-on-tamper-resilient-cryptography-with-uniqueness-properties/

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

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

https://iohk.io/en/research/library/papers/cardano-disaster-recovery-plan/

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

https://drive.google.com/file/d/1brzmi8mEj2Bto-qV8DAcVvYW_H_r7yE0/

How to Prove Work: With Time or Memory (Extended Abstract)

https://iohk.io/en/research/library/papers/how-to-prove-work-with-time-or-memory-extended-abstract/

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

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

RPPLNS: Pay-per-last-N-shares with a Randomised Twist

https://iohk.io/en/research/library/papers/rpplns-pay-per-last-n-shares-with-a-randomised-twist/

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

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

Securing Proof-of-Work Ledgers via Checkpointing

https://iohk.io/en/research/library/papers/securing-proof-of-work-ledgers-via-checkpointing/

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

https://drive.google.com/file/d/12aah0xypnzagHZeP5-KJeEoBdVYMg7h3/

Steel: Composable Hardware-based Stateful and Randomised Functional Encryption

https://iohk.io/en/research/library/papers/steel-composable-hardware-based-stateful-and-randomised-functional-encryption/

https://cardano.vn/docs/Cardano360/TechDocs/steel_ma_hoa_ham_ngau_nhien_va_co_trang_thai_dua_tren_phan_cung_co_the_%20ket_hop

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

https://iohk.io/en/research/library/papers/consistency-for-functional-encryption/

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

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

https://iohk.io/en/research/library/papers/kachina-foundations-of-private-smart-contracts/

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

https://drive.google.com/file/d/1MfwVCWdRv_ovn-rIQsVdh6xlqg9_nlVW/

https://iohk.io/en/research/library/papers/mithril-stake-based-threshold-multisignatures/

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

https://drive.google.com/file/d/1BMb69LQ71pMV3S_Kg-YDRwdcuozQPaNX/

https://docs.google.com/presentation/d/1jNBHH6o_3Qvm2zO-hxGji2K22MfBYja-

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

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

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

https://drive.google.com/file/d/118dc91bp0lSuEIbiB2OaCmOvf0kY2fX-/

W-OTS(+) up my Sleeve! A Hidden Secure Fallback for Cryptocurrency Wallets

https://iohk.io/en/research/library/papers/w-ots-up-my-sleeve-a-hidden-secure-fallback-for-cryptocurrency-wallets/

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

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

https://iohk.io/en/research/library/papers/a-rational-protocol-treatment-of-51percent-attacks/

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

https://drive.google.com/file/d/1Y2rJuUHHWAlCl_XDpAlmBvFqVLNb-I6D/

https://iohk.io/en/research/library/papers/composition-with-knowledge-assumptions/

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

https://drive.google.com/file/d/1bIOiyBOjpruUee-2tPT_gjllmw2wJABA/

Incentives Against Power Grabs or How to Engineer the Revolution in a Pooled Proof of Stake System

https://iohk.io/en/research/library/papers/incentives-against-power-grabs-or-how-to-engineer-the-revolution-in-a-pooled-proof-of-stake-system/

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

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

Translation Certification for Smart Contracts (Extended Abstract)

https://iohk.io/en/research/library/papers/translation-certification-for-smart-contracts-extended-abstract/

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

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

Blockchain Technologies: Probability of Double-Spend Attack on a Proof-of-Stake Consensus

September 2021

https://iohk.io/en/research/library/papers/blockchain-technologies-probability-of-double-spend-attack-on-a-proof-of-stake-consensus/

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

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

September 2021

https://iohk.io/en/research/library/papers/coalition-safe-equilibria-with-virtual-payoffs/

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

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

September 2021

https://iohk.io/en/research/library/papers/the-velvet-path-to-superlight-blockchain-clients/

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

https://drive.google.com/file/d/1fL007-Cr6s4GYwqc9od6CPxLaP788xPl/

A Type and Scope Safe Universe of Syntaxes with Binding: Their Semantics and Proofs

https://iohk.io/en/research/library/papers/a-type-and-scope-safe-universe-of-syntaxes-with-binding-their-semantics-and-proofs/

https://cardano.vn/docs/Cardano360/TechDocs/the_gioi_cu_phap_an_toan_ve_kieu_va_pham_vi_voi_rang_buoc_ngu_nghia_va_%20bang_chung

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

https://iohk.io/en/research/library/papers/conclave-a-collective-stake-pool-protocol/

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

https://drive.google.com/file/d/16CZLmxLzQck1nTVJ2on9NtVk3xgyo2t3/

https://iohk.io/en/research/library/papers/filling-the-tax-gap-via-programmable-money/

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

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

Ouroboros Chronos: Permissionless Clock Synchronization via Proof-of-Stake

https://iohk.io/en/research/library/papers/ouroboros-chronos-permissionless-clock-synchronization-via-proof-of-stake/

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

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

Generalized Proofs of Knowledge with Fully Dynamic Setup

November 2021

https://iohk.io/en/research/library/papers/generalized-proofs-of-knowledge-with-fully-dynamic-setup/

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

https://drive.google.com/file/d/1Kx6jU0TBdtz0Cb_2XhocK7k1-pCUKuqQ/

November 2021

https://iohk.io/en/research/library/papers/mining-in-logarithmic-space/

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

https://drive.google.com/file/d/1ILSHfLwP-VwZCL9PH22tYTriaN7IIJYT/

Modular Design of Secure Group Messaging Protocols and the Security of MLS

November 2021

https://iohk.io/en/research/library/papers/modular-design-of-secure-group-messaging-protocols-and-the-security-of-mls/

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

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

On the (Ir)Replaceability of Global Setups, or How (Not) to Use a Global Ledger

November 2021

https://iohk.io/en/research/library/papers/on-the-irreplaceability-of-global-setups-or-how-not-to-use-a-global-ledger/

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

https://drive.google.com/file/d/1AhdASgXcrC3DwsmHDFiP9UYo-jDApNbp/

November 2021

https://iohk.io/en/research/library/papers/policy-compliant-signatures/

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

https://drive.google.com/file/d/1JRNv5SqQC_ID4p0Nh31EaLhT8nWfWe-5/

Probability Models of Distributed Proof Generation for zk-SNARK-Based Blockchains

November 2021

https://iohk.io/en/research/library/papers/probability-models-of-distributed-proof-generation-for-zk-snark-based-blockchains/

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

https://drive.google.com/file/d/1WhzT0Iy2g-btjS2BHgiao7qrSiaLHugX/

November 2021

https://iohk.io/en/research/library/papers/turn-based-communication-channels/

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

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

Mind Your Outcomes: The ΔQSD Paradigm for Quality-Centric Systems Development and Its Application to a Blockchain Case Study

https://iohk.io/en/research/library/papers/mind-your-outcomes-the-dqsd-paradigm-for-quality-centric-systems-development-and-its-application-to-a-blockchain-case-study/

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

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

https://docs.google.com/presentation/d/1cmdZrYBazFGcwuFox8Efr4v7wZDgJhpj/

https://iohk.io/en/research/library/papers/translation-certification-for-smart-contracts/

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

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

https://iohk.io/en/research/library/papers/babel-fees-via-limited-liabilities/

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

https://drive.google.com/file/d/1BI18ikIVL0nQoD7etx6ouuRNPSd-gPOd/

CougaR: Fast and Eclipse-Resilient Dissemination for Blockchain Networks

https://iohk.io/en/research/library/papers/cougar-fast-and-eclipse-resilient-dissemination-for-blockchain-networks/

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

https://drive.google.com/file/d/1LZ3AT92YNoSEjGerhezg0-a6R-ciX1VJ/

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

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

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

Security analysis of slot leaders election procedure for PoS-based blockchains with on-chain randomness generation

https://iohk.io/en/research/library/papers/security-analysis-of-slot-leaders-election-procedure-for-pos-based-blockchains-with-on-chain-randomness-generation/

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

https://drive.google.com/file/d/1gEG-DuPV1FU0Yv22z-896UCpAOZN4s2N/

https://iohk.io/en/research/library/papers/a-spendable-cold-wallet-from-qr-video/

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

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

Bottom-up Trust Registry in Self Sovereign Identity

https://iohk.io/en/research/library/papers/bottom-up-trust-registry-in-self-sovereign-identity/

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

https://drive.google.com/file/d/1Bwnyjd2nSb9w2ChCfCHJiaFPvJCtcbON/view?usp=sharing

https://iohk.io/en/research/library/papers/on-seedless-prngs-and-premature-next/

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

https://drive.google.com/file/d/1vnxDBTqGvq-mQNTWij4TryeLxE5qAPP8/

Tweakable Sleeve: A Novel Sleeve Construction based on Tweakable Hash Functions

https://iohk.io/en/research/library/papers/tweakable-sleeve-a-novel-sleeve-construction-based-on-tweakable-hash-functions/

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

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

Zswap: zk-SNARK Based Non-Interactive Multi-Asset Swaps

https://iohk.io/en/research/library/papers/zswap-zk-snark-based-non-interactive-multi-asset-swaps/

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

https://drive.google.com/file/d/1Fk-FHbAlChGMwrYA8t2xilKR3vljE5Aa/

A Complete, Mechanically-Verified Proof of the Banach-Tarski Theorem in ACL2®

https://iohk.io/en/research/library/papers/a-complete-mechanically-verified-proof-of-the-banach-tarski-theorem-in-acl2r/

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

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

FairTraDEX: A Decentralised Exchange Preventing Value Extraction

https://iohk.io/en/research/library/papers/fairtradex-a-decentralised-exchange-preventing-value-extraction/

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

https://drive.google.com/file/d/1Rz1X287ralWP7_llJH7ttVf3b-eUOmI0/

A Game-Theoretic Analysis of Delegation Incentives in Blockchain Governance

September 2022

https://iohk.io/en/research/library/papers/a-game-theoretic-analysis-of-delegation-incentives-in-blockchain-governance/

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

https://drive.google.com/file/d/14OUbyypkoyPIYvYnriqU1CDWoYZ7NOQ3/

Blockchain Nash Dynamics and the Pursuit of Compliance

September 2022

https://iohk.io/en/research/library/papers/blockchain-nash-dynamics-and-the-pursuit-of-compliance/

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

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

Bool Network: An Open, Distributed, Secure Cross-chain Notary Platform

September 2022

https://iohk.io/en/research/library/papers/bool-network-an-open-distributed-secure-cross-chain-notary-platform/

https://cardano.vn/docs/Cardano360/TechDocs/bool_network_nen_tang_cong_chung_cross_chain_an_toan,_phan_tan_va_mo

https://drive.google.com/file/d/1q1gL3JCwWWGkh7RSPazAoG-6pLJBquam/

Decentralised Update Selection with Semi-Strategic Experts

September 2022

https://iohk.io/en/research/library/papers/decentralised-update-selection-with-semi-strategic-experts/

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

https://drive.google.com/file/d/1606p1IS4_8Hi8jJVc6cdf0wYCrf7GPz6/

Upper Bound Probability of Double Spend Attack on SPECTRE

September 2020

https://iohk.io/en/research/library/papers/upper-bound-probability-of-double-spend-attack-on-spectre/

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

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

Game theory analysis of incentive distribution for prompt generation of the proof tree in zk-SNARK based sidechains

September 2022

https://iohk.io/en/research/library/papers/game-theory-analysis-of-incentive-distribution-for-prompt-generation-of-the-proof-tree-in-zk-snark-based-sidechains/

https://cardano.vn/docs/Cardano360/TechDocs/phan_tich_ly_thuyet_tro_choi_ve_phan_phoi_khuyen_kh%C3%ADch_de_tao_nhanh_cay_bang_chung_trong_sidechain_dua_tren_zk_snark

https://drive.google.com/file/d/14dGan2XfvcREyUdaNtwNhCSMOFCEGtri/

Parallel Contests for Crowdsourcing Reviews: Existence and Quality of Equilibria

September 2022

https://iohk.io/en/research/library/papers/parallel-contests-for-crowdsourcing-reviews-existence-and-quality-of-equilibria/

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

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

Reasonable Agda Is Correct Haskell: Writing Verified Haskell using agda2hs

September 2022

https://iohk.io/en/research/library/papers/reasonable-agda-is-correct-haskell-writing-verified-haskell-using-agda2hs/

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

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

September 2022

https://iohk.io/en/research/library/papers/sok-blockchain-governance/

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

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

Watermarkable Public key Encryption With Efficient Extraction Under Standard Assumptions

September 2022

https://iohk.io/en/research/library/papers/watermarkable-public-key-encryption-with-efficient-extraction-under-standard-assumptions/

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

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

What Makes Fiat–Shamir zkSNARKs (Updatable SRS) Simulation Extractable?

September 2022

https://iohk.io/en/research/library/papers/what-makes-fiat-shamir-zksnarks-updatable-srs-simulation-extractable/

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

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

Reputation-Based Incentive Model for Decentralized Analysis of Development Proposals

September 2023

https://iohk.io/en/research/library/papers/reputation-based-incentive-model-for-decentralized-analysis-of-development-proposals/

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

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

Models of distributed proof generation for ZK-SNARK-based blockchains

https://iohk.io/en/research/library/papers/models-of-distributed-proof-generation-for-zk-snark-based-blockchains/

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

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

Decentralized Proof-of-Burn Auction for Secure Cryptocurrency Upgrade

November 2023

https://iohk.io/en/research/library/papers/decentralized-proof-of-burn-auction-for-secure-cryptocurrency-upgrade/

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

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

November 2023

https://iohk.io/en/research/library/papers/translation-certification-for-smart-contracts-scp/

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

https://drive.google.com/file/d/1naCXGJWsR-yP1oX8aGFPiMRHzBBNgEoT/

Reducing Latency of DAG-based Consensus in the Asynchronous Setting via the UTXO Model

December 2023

https://iohk.io/en/research/library/papers/reducing-latency-of-dag-based-consensus-in-the-asynchronous-setting-via-the-utxo-model/

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

https://drive.google.com/file/d/1eK8v-g1xZ1_0hhnCKD7ZR-fWvG1aF5AD/

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

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/phan_bo_mot_phan_trong_thiet_ke_co_che_kha_thi_ve_ngan_sach_ket_noi_nhieu_cap_do_dich_vu_va_cac_tac_nhan_co_the_chia_nho

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

Message-passing in the Extended UTxO Ledger Model

https://iohk.io/en/research/library/papers/message-passing-in-the-extended-utxo-ledger-model/

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

https://drive.google.com/file/d/1k32F2cv-pM9ovmt5_0uLVPJ4CScafqjt/

Formal specification of the Cardano blockchain ledger, mechanized in Agda

https://iohk.io/en/research/library/papers/formal-specification-of-the-cardano-blockchain-ledger-mechanized-in-agda/

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

https://drive.google.com/file/d/1XwA615wyD-2fiatJ5jLY1rDeU0VaxS_0/

https://iohk.io/en/research/library/papers/structured-contracts-in-the-eutxo-ledger-model/

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

https://drive.google.com/file/d/1lXblM37xKWp-uofdLSAstAG2WjEALiDc/

https://iohk.io/en/research/library/papers/approximate-lower-bound-arguments/

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

https://drive.google.com/file/d/1kz5ayPMzJZzmWNFMP0Z-gTce5kqVizga/

On the Potential and Limitations of Proxy Voting: Delegation with Incomplete Votes

https://iohk.io/en/research/library/papers/on-the-potential-and-limitations-of-proxy-voting-delegation-with-incomplete-votes/

https://cardano.vn/docs/Cardano360/TechDocs/tiem_nang_va_han_che_cua_bo_phieu_uy_quyen_uy_quyen_voi_phieu_bau_khong_day_d%E1%BB%A7

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