Giới thiệu chuyên mục Tài liệu kỹ thuật

Danh sách tài liệu kỹ thuật Peer-Reviewed của nhóm IOG. Các tài liệu được trích dẫn từ nguồn thư viện tài liệu của IOHK

📄️ An Ontology for Smart Contracts

Bản thể luận cho hợp đồng thông minh

📄️ Improving Authenticated Dynamic Dictionaries with Applications to Cryptocurrencies

Cải thiện từ điển được xác thực động, với các ứng dụng cho Crypto

📄️ SCRAPE Scalable Randomness Attested by Public Entities

Tính ngẫu nhiên có thể mở rộng được chứng thực bởi các thực thể công khai

📄️ Ouroboros A Provably Secure Proof-of-Stake Blockchain Protocol

Giao thức Blockchain bằng chứng cổ phần an toàn có thể chứng minh

📄️ The Bitcoin Backbone Protocol with Chains of Variable Difficulty

Giao thức Bitcoin Backbone với các chuỗi có độ khó thay đổi

📄️ Towards a Smart Contract-based, Decentralized, Public-Key Infrastructure

Hướng tới cơ sở hạ tầng khóa công khai, phi tập trung, dựa trên hợp đồng thông minh

📄️ A proposal for an Ethereum Classic treasury system

Đề xuất ngân quỹ cho Ethereum Classic

📄️ Hydra Fast Isomorphic State Channels

Hydra: Kênh trạng thái đẳng cấu nhanh

📄️ Interhead Hydra Two Heads are Better than One

Hai Head tốt hơn một

📄️ Ofelimos Combinatorial Optimization via Proof-of-Useful-Work A Provably Secure Blockchain Protocol

Ofelimos: Tối ưu hóa Tổ hợp thông qua Bằng chứng Công việc Hữu ích. Một giao thức Blockchain an toàn đáng tin cậy

📄️ Ouroboros Leios design goals and concepts

Ouroboros Leios: Mục tiêu và ý tưởng thiết kế

📄️ Scripting smart contracts for distributed ledger technology

Viết các hợp đồng thông minh cho công nghệ sổ cái phân tán

📄️ Mở rộng phạm vi bảo mật UC và xác minh theo lô cho ECVRF

On UC-Secure Range Extension and Batch Verification for ECVRF.

📄️ Phân tích phi tập trung về hành vi tổng hợp trong Bằng chứng cổ phần Cardano

Decentralization Analysis of Pooling Behavior in Cardano Proof of Stake.

📄️ Cung cấp thanh khoản chênh lệch trong Uniswap v3 và ý nghĩa đối với việc thiết kế hợp đồng

Differential Liquidity Provision in Uniswap v3 and Implications for Contract Design.

📄️ Minotaur: Cơ chế đồng thuận Blockchain đa tài nguyên

Minotaur: Multi-Resource Blockchain Consensus.

📄️ PEReDi: Tiền kỹ thuật số của Ngân hàng Trung ương được tăng cường, quản lý và phân phối

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

📄️ Đồng bộ hóa đồng hồ không cần cấp phép với thiết lập công khai

Permissionless Clock Synchronization with Public Setup

📄️ Giới hạn xử lý thực tế cho Blockchain bằng chứng công việc

Practical Settlement Bounds for Proof-of-Work Blockchains.

📄️ SoK: Cách tiếp cận phân tầng để phi tập trung Blockchain

SoK: A Stratified Approach to Blockchain Decentralization.

📄️ Scuttlebutt của các vị tướng: Giao thức Gossip có khả năng phục hồi Byzantine

The Generals’ Scuttlebutt: Byzantine-Resilient Gossip Protocols.

📄️ Ngưỡng chữ ký duy trì cấu trúc

Threshold Structure-Preserving Signatures.

📄️ Cam kết bảo mật GUC thông qua Oracle ngẫu nhiên: Tính bất khả thi và tính khả thi mới

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

📄️ Xác suất tấn công chi tiêu hai lần đối với mạng có độ trễ thời gian khác 0

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

📄️ Danh tiếng cổ phần! Lớp tin cậy trên sổ cái phi tập trung để tính toán nhiều bên và xổ số công bằng dựa vào danh tiếng

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

📄️ SNACK: Tận dụng bằng chứng công việc tuần tự cho Blockchain máy trạm nhẹ

SNACKs: Leveraging Proofs of Sequential Work for Blockchain Light Clients.

📄️ WOTSwana: Cấu trúc Sleeve tổng quát cho nhiều bằng chứng quyền sở hữu

WOTSwana: A Generalized Sleeve Construction for Multiple Proofs of Ownership.

📄️ Thuật toán thời gian đa thức cho cân bằng Nash được hỗ trợ tốt 1/2 trong trò chơi Bimatrix

A Polynomial-Time Algorithm for 1/2-Well-Supported Nash Equilibria in Bimatrix Games.

📄️ Đánh giá hàm riêng tư nhiều bên với RAM

Multi-party Private Function Evaluation for RAM.

📄️ Tính chính xác của phát tán nhiều hướng: Đồ họa và chính thức

Correctness of Broadcast via Multicast: Graphically and Formally.

📄️ Mô hình tạo ra rừng bằng chứng trong Sidechain dựa trên zk-SNARK

Models for Generation of Proof Forest in zk-SNARK Based Sidechains.

📄️ Xem xét lại di chuyển mà không tiết lộ đặc hữu thông qua Oracle ngẫu nhiên

Endemic Oblivious Transfer via Random Oracles, Revisited.

📄️ Cấu trúc chi tiết đảm bảo quyền riêng tư

Privacy-Preserving Blueprints.

📄️ Cơ chế phân tầng cho phí giao dịch Blockchain

Tiered Mechanisms for Blockchain Transaction Fees.

📄️ Djed: StableCoin thuật toán được hỗ trợ bằng Crypto đã được xác minh chính thức

Djed: A Formally Verified Crypto-Backed Pegged Algorithmic Stablecoin.

📄️ Cải thiện đảm bảo gần đúng EFX theo các giả định dựa trên thứ tự

Improved EFX Approximation Guarantees under Ordinal-based Assumptions.

📄️ Máy trạng thái trên sổ cái Layer 2 đẳng cấu

State Machines across Isomorphic Layer 2 Ledgers.

📄️ Thị trường thông tin phi tập trung bảo vệ quyền riêng tư đầu vào và đầu ra

A Decentralized Information Marketplace Preserving Input and Output Privacy.

📄️ Lý luận đại số về tính kịp thời

Algebraic Reasoning About Timeliness.

📄️ Bằng chứng về giao tiếp mạng lưới: Dành cho con người và máy móc

Proofs about Network Communication: For Humans and Machines.

📄️ Friedman có đốt Token của bạn không?

Would Friedman burn your tokens?

📄️ Beacon ngẫu nhiên hiệu quả với bảo mật thích ứng cho các Blockchain không thể mài mòn

Efficient Random Beacons with Adaptive Security for Ungrindable Blockchains.

📄️ Maravedí: Giao thức an toàn và thiết thực để xử lý rủi ro giao dịch nhằm đạt được tính hoàn tất tức thời

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

📄️ Round-Robin ngoài các tác nhân bổ sung: Sự tồn tại và công bằng của các trạng thái cân bằng gần đúng

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

📄️ SecureCyclon: Lấy mẫu ngang hàng đáng tin cậy

SecureCyclon: Dependable Peer Sampling.

📄️ Thứ tự các giao dịch có giới hạn không công bằng: Định nghĩa, độ phức tạp và cấu trúc

Ordering Transactions with Bounded Unfairness: Definitions, Complexity and Constructions.

📄️ Giới hạn xử lý thực tế cho cơ chế đồng thuận chuỗi dài nhất

Practical Settlement Bounds for Longest-Chain Consensus.

📄️ Bảo đảm tỷ lệ trong cuộc bầu cử có các vấn đề phụ thuộc lẫn nhau

Proportionality Guarantees in Elections with Interdependent Issues.

📄️ Giao thức Blockchain an toàn có thể chứng minh được từ bằng chứng Deep-Learning phân tán

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

📄️ Chiến lược cung cấp thanh khoản trong Uniswap v3

Strategic Liquidity Provision in Uniswap v3.

📄️ Mật mã linh hoạt: Cách tiếp cận có thể tổng hợp toàn cầu

Agile Cryptography: A Universally Composable Approach.

📄️ Lựa chọn ủy ban thực tế đã hoàn thành: Cải thiện cân bằng giữa quy mô và bảo mật của ủy ban dựa trên cổ phần

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

📄️ Từ IOP đa thức và các cam kết đến zkSNARK không thể điều chỉnh

From Polynomial IOP and Commitments to Non-malleable zkSNARKs.

📄️ Cách biên dịch IOP đa thức thành SNARK có thể trích xuất mô phỏng: Cách tiếp cận mô đun

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

📄️ Trò chơi tham gia Blockchain

Blockchain Participation Games.

📄️ Cơ sở của chữ ký ẩn danh: Định nghĩa chính thức, yêu cầu đơn giản hóa và cấu trúc dựa trên các giả định tổng quát

Foundations of Anonymous Signatures: Formal Definitions, Simplified Requirements, and a Construction Based on General Assumptions.

📄️ Cơ chế đồng thuận dựa trên bằng chứng công việc trong thời gian dự kiến không đổi

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

📄️ Góc nhìn khác về trích xuất và ngẫu nhiên hóa zk-SNARK của Groth

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

📄️ Brick: Các kênh thanh toán tương thích khuyến khích không đồng bộ

Brick: Asynchronous Incentive-Compatible Payment Channels.

📄️ Quản lý trạng thái hiệu quả trong sổ cái phân tán

Efficient State Management in Distributed Ledgers.

📄️ Khai thác quyền riêng tư: Cách khởi động một Blockchain Snarky

Mining for Privacy: How to Bootstrap a Snarky Blockchain.

📄️ Câu đố khóa thời gian có thể xác minh công khai nhiều phiên bản và ứng dụng của nó

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

📄️ Trả tiền để chiến thắng: Cuộc tấn công khuyến khích bằng thuật toán Cross-Chain, phí rẻ, có thể huy động vốn từ cộng đồng đối với Crypto PoW

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

📄️ Cây thanh toán: Thanh toán tài sản thế chấp thấp cho mạng lưới kênh thanh toán

Payment Trees: Low Collateral Payments for Payment Channel Networks.

📄️ Tìm kiếm Bernoulli đa giải pháp lượng tử với các ứng dụng cho bảo mật chống lượng tử của Bitcoin

Quantum Multi-Solution Bernoulli Search with Applications to Bitcoin’s Post-Quantum Security.

📄️ SoK: Tấn công thao túng khuyến khích bằng thuật toán vào Crypto PoW không cần cấp phép

SoK: Algorithmic Incentive Manipulation Attacks

📄️ SoK: Giao tiếp trên các sổ cái phân tán

SoK: Communication Across Distributed Ledgers.

📄️ Tiêu chuẩn hóa cho vay Crypto trên Cardano Blockchain

Standardized crypto-loans on the Cardano blockchain.

📄️ Không thể thực hiện mật mã có khả năng chống giả mạo với các thuộc tính duy nhất

Impossibility on Tamper-Resilient Cryptography with Uniqueness Properties.

📄️ Kế hoạch khắc phục thảm họa Cardano

Cardano Disaster Recovery Plan.

📄️ Cách chứng minh công việc: Bằng thời gian hoặc Bộ nhớ (Tóm tắt mở rộng)

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

📄️ RPPLNS: Trả tiền cho mỗi N Share gần nhất với một biến cố ngẫu nhiên

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

📄️ Bảo mật sổ cái bằng chứng công việc thông qua điểm kiểm tra

Securing Proof-of-Work Ledgers via Checkpointing.

📄️ Steel: Mã hóa hàm ngẫu nhiên và có trạng thái dựa trên phần cứng có thể kết hợp

Steel: Composable Hardware-based Stateful and Randomised Functional Encryption.

📄️ Tính nhất quán cho mã hóa hàm

Consistency for Functional Encryption.

📄️ KACHINA – Nền tảng hợp đồng thông minh riêng tư

Kachina – Foundations of Private Smart Contracts.

📄️ Mithril: Đa chữ ký ngưỡng dựa trên cổ phần

Mithril: Stake-based Threshold Multisignatures.

📄️ Xác suất tấn công chi tiêu gấp đôi đối với mạng có thời gian đồng bộ hóa khác 0

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

📄️ W-OTS+ nâng cấp Sleeve! Dự phòng bảo mật ẩn cho ví Crypto

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

📄️ Giao thức xử lý hợp lý đối với các cuộc tấn công 51%

A Rational Protocol Treatment of 51% Attacks.

📄️ Thành phần với giả định kiến thức

Composition with Knowledge Assumptions.

📄️ Khuyến khích chống lại việc tranh giành sức mạnh hoặc Làm thế nào để thiết kế sự biến đổi trong hệ thống bằng chứng cổ phần gộp chung

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

📄️ Chứng chỉ biên dịch cho hợp đồng thông minh

Translation Certification for Smart Contracts.

📄️ Công nghệ Blockchain: Xác suất xảy ra tấn công chi tiêu gấp đôi với cơ chế đồng thuận bằng chứng cổ phần

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

📄️ Cân bằng an toàn cho liên minh với khoản tiền ảo

Coalition-Safe Equilibria with Virtual Payoffs.

📄️ Con đường Velvet đến máy trạm Blockchain siêu nhẹ

The Velvet Path to Superlight Blockchain Clients.

📄️ Thế giới cú pháp an toàn về kiểu và phạm vi với ràng buộc: ngữ nghĩa và bằng chứng

A type- and scope-safe universe of syntaxes with binding: their semantics and proofs.

📄️ Conclave: Giao thức Stake Pool tập thể

Conclave: A Collective Stake Pool Protocol.

📄️ Lấp đầy khoảng cách thuế thông qua tiền có thể lập trình

Filling the Tax Gap via Programmable Money.

📄️ Ouroboros Chronos: Đồng bộ hóa đồng hồ không cần cấp phép thông qua Bằng chứng cổ phần

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

📄️ Bằng chứng kiến thức tổng quát với thiết lập hoàn toàn động

Generalized Proofs of Knowledge with Fully Dynamic Setup.

📄️ Khai thác trong không gian Logarit

Mining in Logarithmic Space.

📄️ Thiết kế mô đun của các giao thức nhắn tin nhóm an toàn và bảo mật của MLS

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

📄️ Khả năng (không) thay thế của các thiết lập toàn cầu hoặc cách (không) sử dụng sổ cái toàn cầu

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

📄️ Chữ ký tuân thủ chính sách

Policy-Compliant Signatures.

📄️ Mô hình xác suất tạo bằng chứng phân tán cho Blockchain dựa trên zk-SNARK

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

📄️ Kênh giao tiếp theo lượt

Turn-Based Communication Channels.

📄️ Chú ý đến kết quả: Mô hình ∆QSD cho phát triển hệ thống lấy chất lượng làm trọng tâm và ứng dụng của nó vào nghiên cứu trường hợp Blockchain

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

📄️ Chứng chỉ biên dịch cho hợp đồng thông minh

Translation Certification for Smart Contracts.

📄️ Babel Fee thông qua các khoản nợ hữu hạn

Babel Fees via Limited Liabilities.

📄️ CougaR: Phát tán nhanh chóng và chống tấn công nhật thực cho các mạng lưới Blockchain

CougaR: Fast and Eclipse-Resilient Dissemination for Blockchain Networks.

📄️ Tổng hợp ý kiến bảo vệ quyền riêng tư

Privacy Preserving Opinion Aggregation.

📄️ Phân tích bảo mật của quy trình bầu chọn Slot Leader cho các Blockchain dựa trên POS với việc tạo ngẫu nhiên trên chuỗi

Security analysis of slot leaders election procedure for POS-based Blockchains with on-chain randomness generation.

📄️ Phân bổ một phần trong thiết kế cơ chế khả thi về ngân sách: Kết nối nhiều cấp độ dịch vụ và các tác nhân có thể chia nhỏ

Partial Allocations in Budget-Feasible Mechanism Design: Bridging Multiple Levels of Service and Divisible Agents.