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.