IN CASE YOU MISSED IT!

Smart Contracts News Friday, March 9 Evm version, Target evm version, Smart contracts & more…

[vc_row][vc_column][vc_column_text]

Smart Contracts News TLDR / Table of Contents

  • ethereum/solidity
    • GitHub is where people build software. More than 28 million people use GitHub to discover, fork, and contribute to over 80 million projects.
    • EVM version, target EVM version, gas estimator reports, open source community, regular function calls
  • Security Vulnerabilities in Smart Contracts – Schneier on Security
    • smart contracts, trace vulnerabilities, smart contract, stateful executable objects, real exploits
  • Smart Contracts, Explained
    • Everything you wanted to know about smart contracts. | Explained | Cointelegraph
    • smart contracts, smart contract, appropriate environment, main principles, Blockchain technology

[/vc_column_text][/vc_column][/vc_row][vc_row el_id=”ethereum-solidity”][vc_column width=”1/2″][vc_separator][vc_column_text]

ethereum/solidity

[/vc_column_text][vc_column_text el_class=”topfeed-summary-list”]

  • Also, the gas estimator reports different costs for the opcodes depending on the version and thus the optimizer might generate different code.
  • We especially thank all our open source community contributors: – – This ensures that functions marked as or (previously ) cannot modify the state.
  • This is especially important if you call unknown code via a generic interface and you cannot be sure whether the function modifies the state or not.
  • Variables are no longer valid in the whole function and even before they were declared as in JavaScript, but instead only in the / -enclosed block where they are declared and only starting after their declaration.
  • Currently, the stack slot reserved for the variable still spans the whole function, but this is planned to be improved for the next release.

[/vc_column_text][vc_column_text el_class=”topfeed-tags”]Tags: EVM version, target EVM version, gas estimator reports, open source community, regular function calls[/vc_column_text][/vc_column][vc_column width=”1/2″][vc_separator][vc_column_text el_class=”topfeed-tweet”]

[/vc_column_text][vc_column_text el_class=”topfeed-embedly”]Release Version 0.4.21 · ethereum/solidity · GitHub[/vc_column_text][/vc_column][/vc_row][vc_row el_id=”Security-Vulnerabilities-in-Smart-Contracts—Schneier-on-Security”][vc_column width=”1/2″][vc_separator][vc_column_text]

Security Vulnerabilities in Smart Contracts – Schneier on Security

[/vc_column_text][vc_column_text el_class=”topfeed-summary-list”]

  • We present a new systematic characterization of a class of trace vulnerabilities, which result from analyzing multiple invocations of a contract over its lifetime.
  • We focus attention on three example properties of such trace vulnerabilities: finding contracts that either lock funds indefinitely, leak them carelessly to arbitrary users, or can be killed by anyone.
  • We implemented MAIAN, the first tool for precisely specifying and reasoning about trace properties, which employs inter-procedural symbolic analysis and concrete validator for exhibiting real exploits.
  • On a subset of 3,759 contracts which we sampled for concrete validation and manual analysis, we reproduce real exploits at a true positive rate of 89%, yielding exploits for 3,686 contracts.
  • Our tool finds exploits for the infamous Parity bug that indirectly locked 200 million dollars worth in Ether, which previous analyses failed to capture.

[/vc_column_text][vc_column_text el_class=”topfeed-tags”]Tags: smart contracts, trace vulnerabilities, smart contract, stateful executable objects, real exploits[/vc_column_text][/vc_column][vc_column width=”1/2″][vc_separator][vc_column_text el_class=”topfeed-tweet”]

[/vc_column_text][vc_column_text el_class=”topfeed-embedly”]Security Vulnerabilities in Smart Contracts – Schneier on Security[/vc_column_text][/vc_column][/vc_row][vc_row el_id=”Smart-Contracts-Explained”][vc_column width=”1/2″][vc_separator][vc_column_text]

Smart Contracts, Explained

[/vc_column_text][vc_column_text el_class=”topfeed-summary-list”]

  • A lot has changed since Blockchain technology emerged.
  • Bitcoin laid the basis for contracting on the Blockchain.

[/vc_column_text][vc_column_text el_class=”topfeed-tags”]Tags: smart contracts, smart contract, appropriate environment, main principles, Blockchain technology[/vc_column_text][/vc_column][vc_column width=”1/2″][vc_separator][vc_column_text el_class=”topfeed-tweet”]

[/vc_column_text][vc_column_text el_class=”topfeed-embedly”]Smart Contracts, Explained[/vc_column_text][/vc_column][/vc_row]