• Corpus ID: 42971942

Contractvm : decentralized applications on Bitcoin

@inproceedings{Bartoletti2016ContractvmD,
  title={Contractvm : decentralized applications on Bitcoin},
  author={Massimo Bartoletti and Davide Gessa and Alessandro Sebastian Podda},
  year={2016}
}
We introduce Contractvm, a framework for developing decentralized general-purpose applications on top of the Bitcoin blockchain. Our framework addresses several issues of Ethereum: for instance, it does not need a proprietary blockchain, and it is not affected by attacks which exploit the verifier’s dilemma. We evaluate the security of Contractvm under different attacker models: overall, we conclude that applications running over our framework are reliable whenever the honest nodes hold the… 
contractvm.github.io

Figures from this paper

References

SHOWING 1-10 OF 24 REFERENCES
Majority Is Not Enough: Bitcoin Mining Is Vulnerable
TLDR
The Bitcoin cryptocurrency records its transactions in a public log called the blockchain, and conventional wisdom asserts that the mining protocol is incentive-compatible and secure against colluding minority groups.
The Bitcoin Backbone Protocol: Analysis and Applications
TLDR
This work extracts and analyzes the core of the Bitcoin protocol, which is term the Bitcoin backbone, and proves two of its fundamental properties which are called common prefix and chain quality in the static setting where the number of players remains fixed.
Analysis of Hashrate-Based Double Spending
TLDR
A look at the stochastic processes underlying typical attacks and their resulting probabilities of success in Bitcoin.
Demystifying Incentives in the Consensus Computer
TLDR
This work calls the framework of computation through a scriptable cryptocurrency a consensus computer and develops a model that captures incentives for verifying computation in it and proposes a resolution to the verifier's dilemma which incentivizes correct execution of certain applications, including outsourced computation, where scripts require minimal time to verify.
Secure Multiparty Computations on Bitcoin
TLDR
The Bit coin system can be used to go beyond the standard "emulation-based" definition of the MPCs, by constructing protocols that link their inputs and the outputs with the real Bit coin transactions.
How to Use Bitcoin to Design Fair Protocols
TLDR
It is shown how the Bitcoin network can be used to achieve the above notion of fairness in the two-party as well as the multiparty setting (with a dishonest majority) in this model of fairness.
Bitcoin: A Peer-to-Peer Electronic Cash System
A purely peer-to-peer version of electronic cash would allow online payments to be sent directly from one party to another without going through a financial institution. Digital signatures provide…
A NEXT GENERATION SMART CONTRACT & DECENTRALIZED APPLICATION PLATFORM
When Satoshi Nakamoto first set the Bitcoin blockchain into motion in January 2009, he was simultaneously introducing two radical and untested concepts. The first is the "bitcoin", a decentralized…
Misbehavior in Bitcoin: A Study of Double-Spending and Accountability
TLDR
This work proposes a new and lightweight countermeasure that enables the detection of double-spending attacks in fast transactions in Bitcoin and provides accountability and privacy definition for Bitcoin, and investigates analytically and empirically the privacy and accountability provisions in Bitcoin.
Coordinating processes with secure spaces
TLDR
The design of a new coordination model which extends Linda with fine-grained access control is presented and the semantics of the model is presented in the context of a process calculus.
...
1
2
3
...