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.[41]
بيتكوين (بالإنجليزية: Bitcoin) هي عملة معماة ونظام دفع عالمي يمكن مقارنتها بالعملات الأخرى مثل الدولار أو اليورو، لكن مع عدة فوارق أساسية، من أبرزها أن هذه العملة هي عملة إلكترونية بشكل كامل تتداول عبر الإنترنت فقط من دون وجود فيزيائي لها.[1] وهي أول عملة رقمية لامركزية - فهي نظام يعمل دون مستودع مركزي أو مدير واحد، أي أنها تختلف عن العملات التقليدية بعدم وجود هيئة تنظيمية مركزية تقف خلفها. وتتم المعاملات بشبكة الند للند بين المستخدمين مباشرة دون وسيط من خلال استخدام التشفير. يتم التحقق من هذه المعاملات عن طريق عُقد الشبكة وتسجيلها في دفتر حسابات موزع وعام يسمى سلسلة الكتل. اخترع البيتكوين شخص غير معروف أو مجموعة من الناس عرف باسم ساتوشي ناكاموتو وأُصدِر كبرنامج مفتوح المصدر في عام 2009.

If the private key is lost, the bitcoin network will not recognize any other evidence of ownership;[32] the coins are then unusable, and effectively lost. For example, in 2013 one user claimed to have lost 7,500 bitcoins, worth $7.5 million at the time, when he accidentally discarded a hard drive containing his private key.[78] About 20% of all bitcoins are believed to be lost. They would have a market value of about $20 billion at July 2018 prices.[79]
Researchers have pointed out at a "trend towards centralization". Although bitcoin can be sent directly from user to user, in practice intermediaries are widely used.[32]:220–222 Bitcoin miners join large mining pools to minimize the variance of their income.[32]:215, 219–222[115]:3[116] Because transactions on the network are confirmed by miners, decentralization of the network requires that no single miner or mining pool obtains 51% of the hashing power, which would allow them to double-spend coins, prevent certain transactions from being verified and prevent other miners from earning income.[117] As of 2013 just six mining pools controlled 75% of overall bitcoin hashing power.[117] In 2014 mining pool obtained 51% hashing power which raised significant controversies about the safety of the network. The pool has voluntarily capped their hashing power at 39.99% and requested other pools to act responsibly for the benefit of the whole network.[118] Between 2017 and 2019 over 70% of the hashing power and 90% of transactions were operating from China.[119] 

الجدير بالذكر بأن بعض المواقع كانت تنشر سابقا تقديرا لمقدار الخسارة/ الربح الذي يُسجله المنقبون لكن يبدو بأنهم توقفوا عن القيام بذلك لأسباب نجهلها. قد يعتقد البعض بأنه لم يكن بالإمكان إعطاء تقدير دقيق لمقدار الخسارة أو الربح الذي يُسجله المنقبون، ولذلك تم التخلص من ذلك. إلا أنه من المُمكن جدا أنه تم التخلص من ذلك لكيلا يتم تنفير المُنقبين من عمليات التنقيب.
• لا حرج من دفع عمولات تحويل العملات: كما هو شائع بالنسبة للبعض أن دفع العُمولات عبر شبكات الإنترنت مقابل خدمات تحويل أو شراء عُملات البيتكوين يُعد شكل من أشكال الربا غير المسموح بها. لكن إستناداُ إلى ما تم ذكره بحسب الفتوى رقم 259576 أن لا هناك أى حرج على دفع مثل هذه العمولات. حيث إنك تدفع مُقابل حصولك على خدمة معينة بما فيها خدمات تحويل وشراء عُملات البيتكوين الإفتراضية.
• لا حرج من دفع عمولات تحويل العملات: كما هو شائع بالنسبة للبعض أن دفع العُمولات عبر شبكات الإنترنت مقابل خدمات تحويل أو شراء عُملات البيتكوين يُعد شكل من أشكال الربا غير المسموح بها. لكن إستناداُ إلى ما تم ذكره بحسب الفتوى رقم 259576 أن لا هناك أى حرج على دفع مثل هذه العمولات. حيث إنك تدفع مُقابل حصولك على خدمة معينة بما فيها خدمات تحويل وشراء عُملات البيتكوين الإفتراضية.
Network nodes can validate transactions, add them to their copy of the ledger, and then broadcast these ledger additions to other nodes. To achieve independent verification of the chain of ownership each network node stores its own copy of the blockchain.[76] About every 10 minutes, a new group of accepted transactions, called a block, is created, added to the blockchain, and quickly published to all nodes, without requiring central oversight. This allows bitcoin software to determine when a particular bitcoin was spent, which is needed to prevent double-spending. A conventional ledger records the transfers of actual bills or promissory notes that exist apart from it, but the blockchain is the only place that bitcoins can be said to exist in the form of unspent outputs of transactions.[7]:ch. 5

Using Ethereum’s “Turing complete” smart contract language, Solidity, developers are able to deploy a set of instructions to the blockchain that operate indefinitely with a high degree of finality and fraud-resistance. With the first block being mined in July 2015, Ethereum has since become the largest smart contract platform of its kind, and the second largest blockchain of all time as measured by market capitalization.

The receiver of the first bitcoin transaction was cypherpunk Hal Finney, who created the first reusable proof-of-work system (RPoW) in 2004.[24] Finney downloaded the bitcoin software on its release date, and on 12 January 2009 received ten bitcoins from Nakamoto.[25][26] Other early cypherpunk supporters were creators of bitcoin predecessors: Wei Dai, creator of b-money, and Nick Szabo, creator of bit gold.[21] In 2010, the first known commercial transaction using bitcoin occurred when programmer Laszlo Hanyecz bought two Papa John's pizzas for ₿10,000.[27]

In March 2017, various blockchain start-ups, research groups, and Fortune 500 companies announced the creation of the Enterprise Ethereum Alliance (EEA) with 30 founding members.[16] By May, the nonprofit organization had 116 enterprise members—including ConsenSys, CME Group, Cornell University's research group, Toyota Research Institute, Samsung SDS, Microsoft, Intel, J. P. Morgan, Cooley LLP, Merck KGaA, DTCC, Deloitte, Accenture, Banco Santander, BNY Mellon, ING, and National Bank of Canada.[17][18][19] By July 2017, there were over 150 members in the alliance, including recent additions MasterCard, Cisco Systems, Sberbank and Scotiabank.[20][21]
To be accepted by the rest of the network, a new block must contain a proof-of-work (PoW).[75] The system used is based on Adam Back's 1997 anti-spam scheme, Hashcash.[85][4] The PoW requires miners to find a number called a nonce, such that when the block content is hashed along with the nonce, the result is numerically smaller than the network's difficulty target.[7]:ch. 8 This proof is easy for any node in the network to verify, but extremely time-consuming to generate, as for a secure cryptographic hash, miners must try many different nonce values (usually the sequence of tested values is the ascending natural numbers: 0, 1, 2, 3, ...[7]:ch. 8) before meeting the difficulty target.
The domain name "" was registered on 18 August 2008.[17] On 31 October 2008, a link to a paper authored by Satoshi Nakamoto titled Bitcoin: A Peer-to-Peer Electronic Cash System[4] was posted to a cryptography mailing list.[18] Nakamoto implemented the bitcoin software as open-source code and released it in January 2009.[19][20][11] Nakamoto's identity remains unknown.[10]
Ethereum enables developers to build and deploy decentralized applications. A decentralized application or Dapp serve some particular purpose to its users. Bitcoin, for example, is a Dapp that provides its users with a peer to peer electronic cash system that enables online Bitcoin payments. Because decentralized applications are made up of code that runs on a blockchain network, they are not controlled by any individual or central entity. was developed by Ether0x in March 2016 to allow users to easily track the price of Ethereum both historically and in real-time. The platform has since evolved to include several fiat currencies (EUR, GBP, JPY and others) as well as price data for a number of Ethereum ERC20 tokens and other blockchain currencies. More recently, prediction data from Augur was also added to provide insight into the future price expectations of the Ether market. Price data is currently sourced from multiple exchanges with the weighted average price of these assets being calculated by For more details on the weighted average calculation, see our FAQ.
• لا حرج من دفع عمولات تحويل العملات: كما هو شائع بالنسبة للبعض أن دفع العُمولات عبر شبكات الإنترنت مقابل خدمات تحويل أو شراء عُملات البيتكوين يُعد شكل من أشكال الربا غير المسموح بها. لكن إستناداُ إلى ما تم ذكره بحسب الفتوى رقم 259576 أن لا هناك أى حرج على دفع مثل هذه العمولات. حيث إنك تدفع مُقابل حصولك على خدمة معينة بما فيها خدمات تحويل وشراء عُملات البيتكوين الإفتراضية.
The price of bitcoins has gone through cycles of appreciation and depreciation referred to by some as bubbles and busts.[159] In 2011, the value of one bitcoin rapidly rose from about US$0.30 to US$32 before returning to US$2.[160] In the latter half of 2012 and during the 2012–13 Cypriot financial crisis, the bitcoin price began to rise,[161] reaching a high of US$266 on 10 April 2013, before crashing to around US$50. On 29 November 2013, the cost of one bitcoin rose to a peak of US$1,242.[162] In 2014, the price fell sharply, and as of April remained depressed at little more than half 2013 prices. As of August 2014 it was under US$600.[163] During their time as bitcoin developers, Gavin Andresen[164] and Mike Hearn[165] warned that bubbles may occur.
Wallets and similar software technically handle all bitcoins as equivalent, establishing the basic level of fungibility. Researchers have pointed out that the history of each bitcoin is registered and publicly available in the blockchain ledger, and that some users may refuse to accept bitcoins coming from controversial transactions, which would harm bitcoin's fungibility.[123] For example, in 2012, Mt. Gox froze accounts of users who deposited bitcoins that were known to have just been stolen.[124]
من منظور المنقبين فإن سعر البيتكوين الحالي أقل بكثير مما يجب عليه أن يكون، ولهذا ستجد أنه لا رغبة لديهم في بيع العُملات التي بحوزتهم بأسعار مُنخفضة لأنهم قد استخدموا كميات هائلة من الكهرباء لإنتاجها، إضافة إلى الاستثمار في عتاد خاص للقيام بذلك. الوضع سيزداد سوءا بالنسبة إليهم ما لم ينخفض عدد المُنقبين بشكل مُعتبر، حيث أن عدد العُملات التي سيتم إنتاجها ستنخفض إلى النصف كل 4 سنوات. في المقابل، تم إنتاج كميات كبيرة من البيتكوينات بشكل رخيص جدا في بدايات العُملة لما كان عدد المُنقبين قليلا ولما كان عامل “الصعوبة” hardness منخفضا جدا، وبالتالي حاجة إلى كهرباء أقل، هذا الأمر خلق حالة من اللاتوازن داخل شبكة العُملة، حيث بإمكان أصحاب البيتكوينات القديمة بيع عُملاتهم دون تسجيل خسائر مُقارنة بمن انضموا إلى جبهة المُنقبين مؤخرا.
Though transaction fees are optional, miners can choose which transactions to process and prioritize those that pay higher fees.[77] Miners may choose transactions based on the fee paid relative to their storage size, not the absolute amount of money paid as a fee. These fees are generally measured in satoshis per byte (sat/b). The size of transactions is dependent on the number of inputs used to create the transaction, and the number of outputs.[7]:ch. 8
• إستثمار البيتكوين يُعتبر مُقامرة: طبقاُ إلى رأى أستاذ الفقه د/جلوى الجميعة أن البيتكوين ما هى إلا عُملات يتم إستخدامها للمقامرة. حيث أن عملة البيتكوين هى عملة إفتراضية إلكترونية ليس لها أى سند أو غطاء من الذهب أو الفضة وبالتالى هى في حُكم الدين تُعتبر سلعة مجهولة المصدر. وبالتالى تتيح حدوث الكثير من عمليات النصب والإحتيال نتيجة لعدم وجود أى جهات رقابية تراقب سير عملية التداول والإستثمار الخاصة بالعملات. كما نهى الرسول تماماً عن مثل هذا النوع من الإستثمار عندما قال ”  صلى الله عليه وسلم عن شراء ما في بطون الانعام حتى تضع، وعما في ضروعها إلا بكيل أو وزن، ونهى عن شراء العبد وهو آبق، وعن شراء المغانم حتى تقسم، وعن شراء الصدقات حتى تقبض، وعن ضربة الغائص”.

Both blockchains have the same features and are identical in every way up to a certain block where the hard-fork was implemented. This means that everything that happened on Ethereum up until the hard-fork is still valid on the Ethereum Classic Blockchain. From the block where the hard fork or change in code was executed onwards, the two blockchains act individually.