There is ongoing research on how to use formal verification to express and prove non-trivial properties. A Microsoft Research report noted that writing solid smart contracts can be extremely difficult in practice, using The DAO hack to illustrate this problem. The report discussed tools that Microsoft had developed for verifying contracts, and noted that a large-scale analysis of published contracts is likely to uncover widespread vulnerabilities. The report also stated that it is possible to verify the equivalence of a Solidity program and the EVM code.
Ethereum blockchain applications are usually referred to as DApps (decentralized application), since they are based on the decentralized Ethereum Virtual Machine, and its smart contracts. Many uses have been proposed for Ethereum platform, including ones that are impossible or unfeasible. Use case proposals have included finance, the internet-of-things, farm-to-table produce, electricity sourcing and pricing, and sports betting. Ethereum is (as of 2017) the leading blockchain platform for initial coin offering projects, with over 50% market share.
The overwhelming majority of bitcoin transactions take place on a cryptocurrency exchange, rather than being used in transactions with merchants. Delays processing payments through the blockchain of about ten minutes make bitcoin use very difficult in a retail setting. Prices are not usually quoted in units of bitcoin and many trades involve one, or sometimes two, conversions into conventional currencies. Merchants that do accept bitcoin payments may use payment service providers to perform the conversions.
البيتكوين عملة رقمية ذات مجهولية، حيث أن عملية التحويل عبرها يتطلب فقط معرفة رقم محفظة الشخص المحول إليه ويتم تخزين عملية التحويل في سلسلة الكتل برقم تسلسلي خاص ولا يتضمن هذا اسم المرسل او المتلقي او اي بيانات اخرى خاصة بهما، مما يجعل منها فكرة رائجة لدى كل من المدافعين عن الخصوصية، أو بائعي البضائع غير المشروعة (مثل المخدرات) عبر الإنترنت على حد سواء.