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]
الجدير بالذكر بأن بعض المواقع كانت تنشر سابقا تقديرا لمقدار الخسارة/ الربح الذي يُسجله المنقبون لكن يبدو بأنهم توقفوا عن القيام بذلك لأسباب نجهلها. قد يعتقد البعض بأنه لم يكن بالإمكان إعطاء تقدير دقيق لمقدار الخسارة أو الربح الذي يُسجله المنقبون، ولذلك تم التخلص من ذلك. إلا أنه من المُمكن جدا أنه تم التخلص من ذلك لكيلا يتم تنفير المُنقبين من عمليات التنقيب.
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]
Here’s why. Ethereum is based on blockchain technology where all transactions are meant to be irreversible and unchangeable. By executing a hard fork and rewriting the rules by which the blockchain executes, Ethereum set a dangerous precedent that goes against the very essence of blockchain. If the blockchain is changed every time a large enough amount of money is involved, or enough people get negatively impacted, the blockchain will lose its main value proposition – secure, anonymous, tamper proof & unchangeable.

Bitcoin has been criticized for the amount of electricity consumed by mining. As of 2015, The Economist estimated that even if all miners used modern facilities, the combined electricity consumption would be 166.7 megawatts (1.46 terawatt-hours per year).[136] At the end of 2017, the global bitcoin mining activity was estimated to consume between one and four gigawatts of electricity.[203] Politico noted that the even high-end estimates of bitcoin's total consumption levels amount to only about 6% of the total power consumed by the global banking sector, and even if bitcoin's consumption levels increased 100 fold from today's levels, bitcoin's consumption would still only amount to about 2% of global power consumption.[204]
سعر البيتكوين غير مستقر ومن المُحتمل جدا أنك سمعت بأخبار تجاوز بيتكوين لحاجز 11000 دولار صعودا أو نزولا. هناك من يعتقد بأن هذا السعر مُبالغ فيه، لكن هناك كثيرون يعتقدون بأنه سعر لا يُعطي للبيتكوين حقه. من بين الأسباب التي تدفع إلى اعتقاد ذلك هو كون البيتكوين سلعة تحتاج إلى قدر كبير من الكهرباء لإنتاجها ويُفترض أن يكون سعرها على الأقل مُقاربا لسعر الكهرباء التي تم استهلاكها لإنتاجها أو أعلى بقليل بحكم قيام المُنقبين بدور حيوي لشبكة بيتكوين، وبالتالي يجب أن يكون هناك ما يدفعهم للقيام ذلك. بإمكاننا معرفة ما يربحه المنقبون من العمليات التي يقومون بها بشكل دقيق، حيث هناك مواقع تنشر هذه الإحصائيات جاهزة، لكن يُمكن التحقق من ذلك عبر تحليل سجل حسابات بيتكوين أيضا. لدى كتابة هذه السطور استطاع المُنقبون تحقيق $3,925,863 خلال الساعات الـ24 الماضية، قد يبدو هذا المبلغ ضخما، لكن القيام بعمليات التنقيب تلك احتاجت إلى 11,388,578 جيجا هاش /الثانية وهو أيضا رقم كبير جدا ويحتاج إلى قدر ضخم من الكهرباء للقيام بذلك. ليس من السهل معرفة تكلفة القيام بذلك لكن يُمكن القيام ببعض الحسابات التي ستعطينها فهما تقريبيا للوضع.
Smart contract is just a phrase used to describe a computer code that can facilitate the exchange of money, content, property, shares, or anything of value. When running on the blockchain a smart contract becomes like a self-operating computer program that automatically executes when specific conditions are met. Because smart contracts run on the blockchain, they run exactly as programmed without any possibility of censorship, downtime, fraud or third-party interference.

من منظور المنقبين فإن سعر البيتكوين الحالي أقل بكثير مما يجب عليه أن يكون، ولهذا ستجد أنه لا رغبة لديهم في بيع العُملات التي بحوزتهم بأسعار مُنخفضة لأنهم قد استخدموا كميات هائلة من الكهرباء لإنتاجها، إضافة إلى الاستثمار في عتاد خاص للقيام بذلك. الوضع سيزداد سوءا بالنسبة إليهم ما لم ينخفض عدد المُنقبين بشكل مُعتبر، حيث أن عدد العُملات التي سيتم إنتاجها ستنخفض إلى النصف كل 4 سنوات. في المقابل، تم إنتاج كميات كبيرة من البيتكوينات بشكل رخيص جدا في بدايات العُملة لما كان عدد المُنقبين قليلا ولما كان عامل “الصعوبة” hardness منخفضا جدا، وبالتالي حاجة إلى كهرباء أقل، هذا الأمر خلق حالة من اللاتوازن داخل شبكة العُملة، حيث بإمكان أصحاب البيتكوينات القديمة بيع عُملاتهم دون تسجيل خسائر مُقارنة بمن انضموا إلى جبهة المُنقبين مؤخرا.
The unit of account of the bitcoin system is a bitcoin. Ticker symbols used to represent bitcoin are BTC[a] and XBT.[b][72]:2 Its Unicode character is ₿.[1] Small amounts of bitcoin used as alternative units are millibitcoin (mBTC), and satoshi (sat). Named in homage to bitcoin's creator, a satoshi is the smallest amount within bitcoin representing 0.00000001 bitcoins, one hundred millionth of a bitcoin.[2] A millibitcoin equals 0.001 bitcoins; one thousandth of a bitcoin or 100,000 satoshis.[73]
Third-party internet services called online wallets offer similar functionality but may be easier to use. In this case, credentials to access funds are stored with the online wallet provider rather than on the user's hardware.[97] As a result, the user must have complete trust in the online wallet provider. A malicious provider or a breach in server security may cause entrusted bitcoins to be stolen. An example of such a security breach occurred with Mt. Gox in 2011.[98]
The "Metropolis Part 1: Byzantium" soft[citation needed] fork took effect on 16 October 2017, and included changes to reduce the complexity of the EVM and provide more flexibility for smart contract developers. Byzantium also added supports for zk-SNARKs (from Zcash), with the first zk-SNARK transaction occurring on testnet on September 19, 2017.[citation needed]
In September 2015, the establishment of the peer-reviewed academic journal Ledger (ISSN 2379-5980) was announced. It covers studies of cryptocurrencies and related technologies, and is published by the University of Pittsburgh.[231] The journal encourages authors to digitally sign a file hash of submitted papers, which will then be timestamped into the bitcoin blockchain. Authors are also asked to include a personal bitcoin address in the first page of their papers.[232][233]
Because of bitcoin's decentralized nature and its trading on online exchanges located in many countries, regulation of bitcoin has been difficult. However, the use of bitcoin can be criminalized, and shutting down exchanges and the peer-to-peer economy in a given country would constitute a de facto ban.[167] The legal status of bitcoin varies substantially from country to country and is still undefined or changing in many of them. Regulations and bans that apply to bitcoin probably extend to similar cryptocurrency systems.[168]
Ethereum can also be used to build Decentralized Autonomous Organizations (DAO). A DAO is fully autonomous, decentralized organization with no single leader. DAO’s are run by programming code, on a collection of smart contracts written on the Ethereum blockchain. The code is designed to replace the rules and structure of a traditional organization, eliminating the need for people and centralized control. A DAO is owned by everyone who purchases tokens, but instead of each token equating to equity shares & ownership, tokens act as contributions that give people voting rights.
EthereumPrice.org 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 CryptoCompare.com. For more details on the weighted average calculation, see our FAQ.
سعر البيتكوين غير مستقر ومن المُحتمل جدا أنك سمعت بأخبار تجاوز بيتكوين لحاجز 11000 دولار صعودا أو نزولا. هناك من يعتقد بأن هذا السعر مُبالغ فيه، لكن هناك كثيرون يعتقدون بأنه سعر لا يُعطي للبيتكوين حقه. من بين الأسباب التي تدفع إلى اعتقاد ذلك هو كون البيتكوين سلعة تحتاج إلى قدر كبير من الكهرباء لإنتاجها ويُفترض أن يكون سعرها على الأقل مُقاربا لسعر الكهرباء التي تم استهلاكها لإنتاجها أو أعلى بقليل بحكم قيام المُنقبين بدور حيوي لشبكة بيتكوين، وبالتالي يجب أن يكون هناك ما يدفعهم للقيام ذلك. بإمكاننا معرفة ما يربحه المنقبون من العمليات التي يقومون بها بشكل دقيق، حيث هناك مواقع تنشر هذه الإحصائيات جاهزة، لكن يُمكن التحقق من ذلك عبر تحليل سجل حسابات بيتكوين أيضا. لدى كتابة هذه السطور استطاع المُنقبون تحقيق $3,925,863 خلال الساعات الـ24 الماضية، قد يبدو هذا المبلغ ضخما، لكن القيام بعمليات التنقيب تلك احتاجت إلى 11,388,578 جيجا هاش /الثانية وهو أيضا رقم كبير جدا ويحتاج إلى قدر ضخم من الكهرباء للقيام بذلك. ليس من السهل معرفة تكلفة القيام بذلك لكن يُمكن القيام ببعض الحسابات التي ستعطينها فهما تقريبيا للوضع.
Bitcoin (BTC) is known as the first open-source, peer-to-peer, digital cryptocurrency that was developed and released by a group of unknown independent programmers named Satoshi Nakamoto in 2008. Cryptocoin doesn’t have any centralized server used for its issuing, transactions and storing, as it uses a distributed network public database technology named blockchain, which requires an electronic signature and is supported by a proof-of-work protocol to provide the security and legitimacy of money transactions. The issuing of Bitcoin is done by users with mining capabilities and is limited to 21 million coins. Currently, Bitcoin’s market cap surpasses $138 billion and this is the most popular kind of digital currency. Buying and selling cryptocurrency is available through special Bitcoin exchange platforms or ATMs.
This dramatic volatility attracted global attention with the mainstream media running near-daily reports on the price of Ether. The publicity generated has been a major boon for the ecosystem, attracting thousands of new developers and business ventures alike. In 2018 the amount raised through Ethereum-enabled ICOs reached almost $8bn, increasing from just $90m in 2016. While the price of Ethereum has faced extreme volatility over the years, it is this volatility which has driven interest. After every boom and bust cycle, Ethereum comes out the other side with a fundamentally stronger platform and a broader developer community backing it. These fundamental improvements would suggest a positive long-term outlook on the price of Ethereum.
Ethereum's smart contracts are based on different computer languages, which developers use to program their own functionalities. Smart contracts are high-level programming abstractions that are compiled down to EVM bytecode and deployed to the Ethereum blockchain for execution. They can be written in Solidity (a language library with similarities to C and JavaScript), Serpent (similar to Python, but deprecated), LLL (a low-level Lisp-like language), and Mutan (Go-based, but deprecated). There is also a research-oriented language under development called Vyper (a strongly-typed Python-derived decidable language).
طرح شخص أطلق على نفسه الاسم الرمزي ساتوشي ناكاموتو فكرة بيتكوين للمرة الأولى في ورقة بحثية في عام 2008،[2] ووصفها بأنها نظام نقدي إلكتروني يعتمد في التعاملات المالية على مبدأ الند للند (بالإنجليزية: Peer-to-Peer) ، وهو مصطلح تقني يعني التعامل المباشر بين مستخدم وآخر دون وجود وسيط (كالتورنت). يقول القائمون على بيتكوين إن الهدف من هذه العملة التي طرحت للتداول للمرة الأولى سنة 2009 [3] هو تغيير الاقتصاد العالمي بنفس الطريقة التي غيرت بها الويب أساليب النشر.[4] وفي عام 2016 أعلن رجل الأعمال الأسترالي كريغ رايت أنه هو ساتوشي ناكاموتو مقدما دليلا تقنيا على ذلك ولكن تم كشف زيف أدلّته بسهولة.[5]
• إستثمار البيتكوين يُعتبر مُقامرة: طبقاُ إلى رأى أستاذ الفقه د/جلوى الجميعة أن البيتكوين ما هى إلا عُملات يتم إستخدامها للمقامرة. حيث أن عملة البيتكوين هى عملة إفتراضية إلكترونية ليس لها أى سند أو غطاء من الذهب أو الفضة وبالتالى هى في حُكم الدين تُعتبر سلعة مجهولة المصدر. وبالتالى تتيح حدوث الكثير من عمليات النصب والإحتيال نتيجة لعدم وجود أى جهات رقابية تراقب سير عملية التداول والإستثمار الخاصة بالعملات. كما نهى الرسول تماماً عن مثل هذا النوع من الإستثمار عندما قال ”  صلى الله عليه وسلم عن شراء ما في بطون الانعام حتى تضع، وعما في ضروعها إلا بكيل أو وزن، ونهى عن شراء العبد وهو آبق، وعن شراء المغانم حتى تقسم، وعن شراء الصدقات حتى تقبض، وعن ضربة الغائص”.
The Bank for International Settlements summarized several criticisms of bitcoin in Chapter V of their 2018 annual report. The criticisms include the lack of stability in bitcoin's price, the high energy consumption, high and variable transactions costs, the poor security and fraud at cryptocurrency exchanges, vulnerability to debasement (from forking), and the influence of miners.[189][190][191]

Bitcoin is a digital currency, sometimes referred to as a cryptocurrency, best known as the world's first truly decentralized digital currency. Bitcoin is traded on a peer-to-peer basis with a distributed ledger called the Blockchain, and the Bitcoin exchange rate to the US Dollar and other major currencies is determined by supply and demand as with other global exchange rates. The traded value of Bitcoin has proven volatile through various booms and busts in demand. Ultimately, however, many see Bitcoin as a store of value against government-backed fiat currencies.
• لا حرج من دفع عمولات تحويل العملات: كما هو شائع بالنسبة للبعض أن دفع العُمولات عبر شبكات الإنترنت مقابل خدمات تحويل أو شراء عُملات البيتكوين يُعد شكل من أشكال الربا غير المسموح بها. لكن إستناداُ إلى ما تم ذكره بحسب الفتوى رقم 259576 أن لا هناك أى حرج على دفع مثل هذه العمولات. حيث إنك تدفع مُقابل حصولك على خدمة معينة بما فيها خدمات تحويل وشراء عُملات البيتكوين الإفتراضية.
In the end, the majority of the Ethereum community voted to perform a hard fork, and retrieve The DAO investors money. But not everyone agreed with this course of action. This resulted in a split where two parallel blockchains now exist. For those members who strongly disagree with any changes to the blockchain even when hacking occurs there is Ethereum classic. For the majority who agreed to rewrite a small part of the blockchain and return the stolen money to their owners, there is Ethereum.  
Computing power is often bundled together or "pooled" to reduce variance in miner income. Individual mining rigs often have to wait for long periods to confirm a block of transactions and receive payment. In a pool, all participating miners get paid every time a participating server solves a block. This payment depends on the amount of work an individual miner contributed to help find that block.[92]
In the end, the majority of the Ethereum community voted to perform a hard fork, and retrieve The DAO investors money. But not everyone agreed with this course of action. This resulted in a split where two parallel blockchains now exist. For those members who strongly disagree with any changes to the blockchain even when hacking occurs there is Ethereum classic. For the majority who agreed to rewrite a small part of the blockchain and return the stolen money to their owners, there is Ethereum.  

الجدير بالذكر بأن بعض المواقع كانت تنشر سابقا تقديرا لمقدار الخسارة/ الربح الذي يُسجله المنقبون لكن يبدو بأنهم توقفوا عن القيام بذلك لأسباب نجهلها. قد يعتقد البعض بأنه لم يكن بالإمكان إعطاء تقدير دقيق لمقدار الخسارة أو الربح الذي يُسجله المنقبون، ولذلك تم التخلص من ذلك. إلا أنه من المُمكن جدا أنه تم التخلص من ذلك لكيلا يتم تنفير المُنقبين من عمليات التنقيب.
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.
Nigel Dodd argues in The Social Life of Bitcoin that the essence of the bitcoin ideology is to remove money from social, as well as governmental, control.[131] Dodd quotes a YouTube video, with Roger Ver, Jeff Berwick, Charlie Shrem, Andreas Antonopoulos, Gavin Wood, Trace Meyer and other proponents of bitcoin reading The Declaration of Bitcoin's Independence. The declaration includes a message of crypto-anarchism with the words: "Bitcoin is inherently anti-establishment, anti-system, and anti-state. Bitcoin undermines governments and disrupts institutions because bitcoin is fundamentally humanitarian."[131][130]
In the blockchain, bitcoins are registered to bitcoin addresses. Creating a bitcoin address requires nothing more than picking a random valid private key and computing the corresponding bitcoin address. This computation can be done in a split second. But the reverse, computing the private key of a given bitcoin address, is mathematically unfeasible. Users can tell others or make public a bitcoin address without compromising its corresponding private key. Moreover, the number of valid private keys is so vast that it is extremely unlikely someone will compute a key-pair that is already in use and has funds. The vast number of valid private keys makes it unfeasible that brute force could be used to compromise a private key. To be able to spend their bitcoins, the owner must know the corresponding private key and digitally sign the transaction. The network verifies the signature using the public key; the private key is never revealed.[7]:ch. 5
• وسائل الحصول على عُملات البيتكوين: بُناء عى حكم الفتوى رقم: 231460 لدار الإفتاء، أكدت إنه إذا كان الحصول على هذه العُملات الإفتراضية مثل عمليات التعدين والتنقيب يتم بشكل سليم بعيد عن التلاعب والغش والسرقة والنصب، فيجوز إدراجها تحت بنود العُملات المُحللة. ولكن بشرط التقابض وهو ما يحدث مع تداول عُملات البيتكوين، كما أن الإستثمارات الناتجة من أرباح عمليات بيع وشراء البيتكوين من ضمن الأسباب التى تثبت تحليل عملات البيتكوين، حيث إنه إذا كُنت شخص سليم النية ستقوم بإستثمار أرباحك بما يُرضى الله ولأن الله أعلم بالنوايا ستُحتسب في ميزان حسناتك.

On 3 January 2009, the bitcoin network was created when Nakamoto mined the first block of the chain, known as the genesis block.[21][22] Embedded in the coinbase of this block was the text "The Times 03/Jan/2009 Chancellor on brink of second bailout for banks".[11] This note references a headline published by The Times and has been interpreted as both a timestamp and a comment on the instability caused by fractional-reserve banking.[23]:18


Until relatively recently, building blockchain applications has required a complex background in coding, cryptography, mathematics as well as significant resources. But times have changed. Previously unimagined applications, from electronic voting & digitally recorded property assets to regulatory compliance & trading are now actively being developed and deployed faster than ever before. By providing developers with the tools to build decentralized applications, Ethereum is making all of this possible.
• لا حرج من دفع عمولات تحويل العملات: كما هو شائع بالنسبة للبعض أن دفع العُمولات عبر شبكات الإنترنت مقابل خدمات تحويل أو شراء عُملات البيتكوين يُعد شكل من أشكال الربا غير المسموح بها. لكن إستناداُ إلى ما تم ذكره بحسب الفتوى رقم 259576 أن لا هناك أى حرج على دفع مثل هذه العمولات. حيث إنك تدفع مُقابل حصولك على خدمة معينة بما فيها خدمات تحويل وشراء عُملات البيتكوين الإفتراضية.
×