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]

سيذهب BTC اسفل مرة اخرى


It takes a (global) village to raise a blockchain. The live network and the community of open source developers contribute significantly to this effort. They continuously refine and harden the Ethereum platform, helping it get faster at responding to industry demands for the value propositions it offers. These investments of time and resources speak to their faith in Ethereum governance and the value that businesses and developers see in its capabilities. – Joseph Lubin, CEO of Consensys

يمكنك تغيير رأيك في أي وقت عن طريق النقر على رابط إلغاء الاشتراك الموجود في ذيل أي بريد إلكتروني تتلقاه منا، أو عن طريق الاتصال بنا على الإيميل [email protected] وسوف نعالج معلوماتك بكل احترام. لمزيد من المعلومات حول ممارسات الخصوصية لدينا، يرجى زيارة موقعنا على الانترنت، من خلال النقر على الرابط أدناه، أنت توافق على أننا قد نقوم بمعالجة معلوماتك وفقًا لهذه الشروط.

هل يقبل الامازون بيتكوين

×