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.