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.

📄️ 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.