134 docs tagged with "Tài liệu kỹ thuật"

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

Reasonable Agda Is Correct Haskell: Writing Verified Haskell using agda2hs.

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

Babel Fees via Limited Liabilities.

Generalized Proofs of Knowledge with Fully Dynamic Setup.

Proofs about Network Communication: For Humans and Machines.

Proportionality Guarantees in Elections with Interdependent Issues.

Securing Proof-of-Work Ledgers via Checkpointing.

Efficient Random Beacons with Adaptive Security for Ungrindable Blockchains.

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

Brick: Asynchronous Incentive-Compatible Payment Channels.

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

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

Improved EFX Approximation Guarantees under Ordinal-based Assumptions.

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

Coalition-Safe Equilibria with Virtual Payoffs.

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

Privacy-Preserving Blueprints.

Payment Trees: Low Collateral Payments for Payment Channel Networks.

Strategic Liquidity Provision in Uniswap v3.

Policy-Compliant Signatures.

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

Translation Certification for Smart Contracts.

Translation Certification for Smart Contracts.

Translation certification for smart contracts (SCP).

A Complete, Mechanically-Verified Proof of the Banach-Tarski Theorem in ACL2(R).

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

Tiered Mechanisms for Blockchain Transaction Fees.

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

The Velvet Path to Superlight Blockchain Clients.

Conclave: A Collective Stake Pool Protocol.

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

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

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

Parallel Contests for Crowdsourcing Reviews: Existence and Quality of Equilibria.

Formal Specification of the Cardano Blockchain Ledger, Mechanized in Agda.

Multi-party Private Function Evaluation for RAM.

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

Decentralized Proof-of-Burn auction for secure cryptocurrency upgrade.

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

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

Approximate Lower Bound Arguments.

Permissionless Clock Synchronization with Public Setup

Blockchain Nash Dynamics and the Pursuit of Compliance.

FairTraDEX: A Decentralised Exchange Preventing Value Extraction.

Would Friedman burn your tokens?

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

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

A Rational Protocol Treatment of 51% Attacks.

Practical Settlement Bounds for Proof-of-Work Blockchains.

Practical Settlement Bounds for Longest-Chain Consensus.

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

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

Structured Contracts in the EUTxO Ledger Model.

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

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

Hai Head tốt hơn một

Kachina – Foundations of Private Smart Contracts.

Cardano Disaster Recovery Plan.

Turn-Based Communication Channels.

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

Mining for Privacy: How to Bootstrap a Snarky Blockchain.

Mining in Logarithmic Space.

Impossibility on Tamper-Resilient Cryptography with Uniqueness Properties.

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

Filling the Tax Gap via Programmable Money.

Decentralised Update Selection with Semi-Strategic Experts.

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

Algebraic Reasoning About Timeliness.

Watermarkable Public key Encryption With Efficient Extraction Under Standard Assumptions.

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

Agile Cryptography: A Universally Composable Approach.

State Machines across Isomorphic Layer 2 Ledgers.

Minotaur: Multi-Resource Blockchain Consensus.

Mithril: Stake-based Threshold Multisignatures.

Reputation-Based Incentive Model for Decentralized Analysis of Development Proposals.

Models of distributed proof generation for ZK-SNARK-based Blockchains.

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

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

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

Threshold Structure-Preserving Signatures.

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

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

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

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

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

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

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

A Game-Theoretic Analysis of Delegation Incentives in Blockchain Governance.

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

Decentralization Analysis of Pooling Behavior in Cardano Proof of Stake.

Efficient State Management in Distributed Ledgers.

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

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

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

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

The Generals’ Scuttlebutt: Byzantine-Resilient Gossip Protocols.

SecureCyclon: Dependable Peer Sampling.

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

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

Bottom-up Trust Registry in Self Sovereign Identity.

SoK: A Stratified Approach to Blockchain Decentralization.

SoK: Communication Across Distributed Ledgers.

SoK: Blockchain Governance.

SoK: Algorithmic Incentive Manipulation Attacks

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

Composition with Knowledge Assumptions.

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

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

A Decentralized Information Marketplace Preserving Input and Output Privacy.

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

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

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

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

Standardized crypto-loans on the Cardano blockchain.

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

Correctness of Broadcast via Multicast: Graphically and Formally.

Consistency for Functional Encryption.

Single-token vs Two-token Blockchain Tokenomics.

Privacy Preserving Opinion Aggregation.

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

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

Blockchain Participation Games.

Message-passing in the Extended UTxO Ledger Model.

From Polynomial IOP and Commitments to Non-malleable zkSNARKs.

On Seedless PRNGs and Premature Next.

A Spendable Cold Wallet from QR Video.

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

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

Upper Bound Probability of Double Spend Attack on SPECTRE.

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

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

Endemic Oblivious Transfer via Random Oracles, Revisited.

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