Enabling Bitcoin Smart Contracts on the Internet Computer
Fuente:
arXiv
Saved in:
| Main Authors: | Croote, Ryan, El-Ashi, Islam, Locher, Thomas, Pignolet, Yvonne-Anne |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Byzantine Reliable Broadcast with Low Communication and Time Complexity
by: Locher, Thomas
Published: (2024)
by: Locher, Thomas
Published: (2024)
Trustworthy confidential virtual machines for the masses
by: Galanou, Anna, et al.
Published: (2024)
by: Galanou, Anna, et al.
Published: (2024)
The Smart Contract Model
by: Amoussou-Guenou, Yackolley, et al.
Published: (2025)
by: Amoussou-Guenou, Yackolley, et al.
Published: (2025)
SPID-Chain: A Smart Contract-Enabled, Polar-Coded Interoperable DAG Chain
by: Taherpour, Amirhossein, et al.
Published: (2025)
by: Taherpour, Amirhossein, et al.
Published: (2025)
DTVM: Revolutionizing Smart Contract Execution with Determinism and Compatibility
by: Zhou, Wei, et al.
Published: (2025)
by: Zhou, Wei, et al.
Published: (2025)
A Study on Shared Objects in Sui Smart Contracts
by: Overko, Roman
Published: (2024)
by: Overko, Roman
Published: (2024)
Lyte Quorum: Off-Chain Ready Smart Contract Hosted with Choice
by: Hao, Hao, et al.
Published: (2025)
by: Hao, Hao, et al.
Published: (2025)
Groundhog: Linearly-Scalable Smart Contracting via Commutative Transaction Semantics
by: Ramseyer, Geoffrey, et al.
Published: (2024)
by: Ramseyer, Geoffrey, et al.
Published: (2024)
A Comparative Evaluation of Automated Analysis Tools for Solidity Smart Contracts
by: Wei, Zhiyuan, et al.
Published: (2023)
by: Wei, Zhiyuan, et al.
Published: (2023)
Deferred Objects to Enhance Smart Contract Programming with Optimistic Parallel Execution
by: Mitenkov, George, et al.
Published: (2024)
by: Mitenkov, George, et al.
Published: (2024)
SEAM: A Secure Automated and Maintainable Smart Contract Upgrade Framework
by: Hossain, Tahrim, et al.
Published: (2024)
by: Hossain, Tahrim, et al.
Published: (2024)
FRESCO: Fast and Reliable Edge Offloading with Reputation-based Hybrid Smart Contracts
by: Zilic, Josip, et al.
Published: (2024)
by: Zilic, Josip, et al.
Published: (2024)
An Empirical Study on Governance in Bitcoin's Consensus Evolution
by: Notland, Jakob Svennevik, et al.
Published: (2023)
by: Notland, Jakob Svennevik, et al.
Published: (2023)
Atomic Smart Contract Interoperability with High Efficiency via Cross-Chain Integrated Execution
by: Yin, Chaoyue, et al.
Published: (2025)
by: Yin, Chaoyue, et al.
Published: (2025)
BitVMX: A CPU for Universal Computation on Bitcoin
by: Lerner, Sergio Demian, et al.
Published: (2024)
by: Lerner, Sergio Demian, et al.
Published: (2024)
Survey on Quality Assurance of Smart Contracts
by: Wei, Zhiyuan, et al.
Published: (2023)
by: Wei, Zhiyuan, et al.
Published: (2023)
A New Broadcast Primitive for BFT Protocols
by: Drijvers, Manu, et al.
Published: (2024)
by: Drijvers, Manu, et al.
Published: (2024)
Proactive and Reactive Autoscaling Techniques for Edge Computing
by: Gupta, Suhrid, et al.
Published: (2025)
by: Gupta, Suhrid, et al.
Published: (2025)
Bitcoin-IPC Whitepaper: Scaling Bitcoin with a Network of Proof-of-Stake Subnets
by: Vukolić, Marko, et al.
Published: (2025)
by: Vukolić, Marko, et al.
Published: (2025)
XaaS: Acceleration as a Service to Enable Productive High-Performance Cloud Computing
by: Hoefler, Torsten, et al.
Published: (2024)
by: Hoefler, Torsten, et al.
Published: (2024)
A Hybrid Reactive-Proactive Auto-scaling Algorithm for SLA-Constrained Edge Computing
by: Gupta, Suhrid, et al.
Published: (2025)
by: Gupta, Suhrid, et al.
Published: (2025)
Static Analysis for Detecting Transaction Conflicts in Ethereum Smart Contracts
by: Chahoki, Atefeh Zareh, et al.
Published: (2025)
by: Chahoki, Atefeh Zareh, et al.
Published: (2025)
Collaborative Learning Framework to Detect Attacks in Transactions and Smart Contracts
by: Khoa, Tran Viet, et al.
Published: (2023)
by: Khoa, Tran Viet, et al.
Published: (2023)
Bitcoin Inscriptions: Foundations and Beyond
by: Li, Ningran, et al.
Published: (2024)
by: Li, Ningran, et al.
Published: (2024)
HotSwap: Enabling Live Dependency Sharing in Serverless Computing
by: Li, Rui, et al.
Published: (2024)
by: Li, Rui, et al.
Published: (2024)
The Time to Consensus in a Blockchain: Insights into Bitcoin's "6 Blocks Rule''
by: Dey, Partha S., et al.
Published: (2025)
by: Dey, Partha S., et al.
Published: (2025)
BugMagnifier: TON Transaction Simulator for Revealing Smart Contract Vulnerabilities
by: Yanovich, Yury, et al.
Published: (2025)
by: Yanovich, Yury, et al.
Published: (2025)
A DLT-based Smart Contract Architecture for Atomic and Scalable Trading
by: Kalbantner, J., et al.
Published: (2021)
by: Kalbantner, J., et al.
Published: (2021)
Improving SpGEMM Performance Through Matrix Reordering and Cluster-wise Computation
by: Islam, Abdullah Al Raqibul, et al.
Published: (2025)
by: Islam, Abdullah Al Raqibul, et al.
Published: (2025)
Adaptive Management of Microservices in Dynamic Computing Environments: A Taxonomy and Future Directions
by: Chen, Ming, et al.
Published: (2026)
by: Chen, Ming, et al.
Published: (2026)
On-the-fly Communication-and-Computing to Enable Representation Learning for Distributed Point Clouds
by: Chen, Xu, et al.
Published: (2024)
by: Chen, Xu, et al.
Published: (2024)
Dynamic Contract Analysis for Parallel Programming Models
by: Oraji, Yussur Mustafa, et al.
Published: (2026)
by: Oraji, Yussur Mustafa, et al.
Published: (2026)
Ark: Offchain Transaction Batching in Bitcoin
by: Keer, Pim, et al.
Published: (2026)
by: Keer, Pim, et al.
Published: (2026)
Torpor: GPU-Enabled Serverless Computing for Low-Latency, Resource-Efficient Inference
by: Yu, Minchen, et al.
Published: (2023)
by: Yu, Minchen, et al.
Published: (2023)
Reliability Analysis of Smart Contract Execution Architectures: A Comparative Simulation Study
by: Gürcan, Önder
Published: (2025)
by: Gürcan, Önder
Published: (2025)
Automated Gateways: A Smart Contract-Powered Solution for Interoperability Across Blockchains
by: Khorasani, Koosha Esmaeilzadeh, et al.
Published: (2024)
by: Khorasani, Koosha Esmaeilzadeh, et al.
Published: (2024)
Reproducible Cross-border High Performance Computing for Scientific Portals
by: Abarenkov, Kessy, et al.
Published: (2022)
by: Abarenkov, Kessy, et al.
Published: (2022)
SmartQC: An Extensible DLT-Based Framework for Trusted Data Workflows in Smart Manufacturing
by: McGibney, Alan, et al.
Published: (2024)
by: McGibney, Alan, et al.
Published: (2024)
TrustMesh: A Blockchain-Enabled Trusted Distributed Computing Framework for Open Heterogeneous IoT Environments
by: Rangwala, Murtaza, et al.
Published: (2024)
by: Rangwala, Murtaza, et al.
Published: (2024)
Reliable Replication Protocols on SmartNICs
by: Katebzadeh, M. R. Siavash, et al.
Published: (2025)
by: Katebzadeh, M. R. Siavash, et al.
Published: (2025)
Similar Items
-
Byzantine Reliable Broadcast with Low Communication and Time Complexity
by: Locher, Thomas
Published: (2024) -
Trustworthy confidential virtual machines for the masses
by: Galanou, Anna, et al.
Published: (2024) -
The Smart Contract Model
by: Amoussou-Guenou, Yackolley, et al.
Published: (2025) -
SPID-Chain: A Smart Contract-Enabled, Polar-Coded Interoperable DAG Chain
by: Taherpour, Amirhossein, et al.
Published: (2025) -
DTVM: Revolutionizing Smart Contract Execution with Determinism and Compatibility
by: Zhou, Wei, et al.
Published: (2025)