KronosSlott
  • Altcoin
  • Bitcoin
  • Blockchain
  • Ethereum
  • Litecoin
  • Gambling

Subscribe to Updates

Get the latest Crypto news from kronosslott.

What's Hot

What is going on with Aptos’ price?

January 29, 2023

Gala Price Prediction for Today, January 28: GALA/USD Trades Above $0.060 as a Retracement May Follow

January 28, 2023

OXT/USD Rises Above $0.10; What Next?

January 28, 2023
Facebook Twitter Instagram
  • Affiliate Disclosure
  • Anti Spam Policy
  • Cookie Policy
  • Privacy Policy
  • Terms & Conditions
Facebook Twitter Instagram
KronosSlott
  • Altcoin
  • Bitcoin
  • Blockchain
  • Ethereum
  • Litecoin
  • Gambling
KronosSlott
Home » C++ DEV Update – July edition

C++ DEV Update – July edition

adminBy adminOctober 11, 2022No Comments6 Mins Read
Facebook Twitter Pinterest LinkedIn Tumblr Reddit Telegram Email
The Devcon VI Manual | Ethereum Foundation Blog
Share
Facebook Twitter LinkedIn Pinterest Email


Since the last C++ DEV Update, a lot of things happened in the engine room which were not really visible to the outside. This post wants to give an overview about what we are currently working on.

Apart from the features side, Bob has been working on a proposed process for re-licensing of the C++ runtime client code to Apache 2.0, as has been mentioned a few times in the past month or two. Expect more news on that very soon.

Eth Unit-Test Mode

Not only because it is essential for being able to perform our Solidity end-to-end tests via IPC, Dimitry Khoklov and others added some new RPC endpoints to the eth client which allow much more flexibility for testing smart contracts. If you use eth –test -d /tmp/test and connect to the ipc port at /tmp/test/geth.ipc (we recommend using ethereum-console for that because it already has these features added) you can:

  • change the blockchain parameters (e.g. remove proof of work checking and pre-fund certain accounts)
  • mine a certain amount of blocks (at around 30 blocks per second)
  • modify the timestamp of the current block (to e.g. test timeouts in your contracts)
  • revert the blockchain to a given block number

This allows us to run our currently 305 Solidity end-to-end tests in around 46 seconds on a moderate computer. Each of these tests include at least two (often more) transactions and the same amount of mined blocks.

More information about these features can be found at https://github.com/ethereum/ethereum-console.

Please note that this is currently only available for the binary that is provided via the ubuntu dev ppa.

Virtual Machine Speedup

Greg Colvin spent the last months speeding up the C++ implementation of the EVM interpreter. He harvested what he calls the low-hanging fruits (he worked for Oracle on the Java interpreter before…).   The most important improvements so far have been replacing 256-bit calculations with 64-bit calculations for gas metering, and making sure that no more metering calculations are done for each VM operation than necessary.  These and other changes resulted in the following results for Paweł Bylica’s nascent benchmark suite. The following chart shows the speedup relative to the old cpp ethereum interpreter (cpp int (old)).

To be fair, we have to tell what these benchmarks measure. The first benchmark (where the evmjit goes off the scale with a speedup of 472x) does a million empty loops, and shows how slow the EVM’s computed goto is compared to the direct jump of a JIT – fixing that is next on the stack.  The second benchmark is a bad random number generator that does a million loops with four multiplications and four additions per loop.  It is dominated by 256-bit calculations, so a JIT makes less difference.  (Note that the Go JIT does not compile to native code, but to a faster interpreted representation.)

In practice, these speedups will only be relevant to “number-crunching” contracts because the computation time is otherwise largely dominated by storage access. On the other hand, the “rng” benchmark is quite similar to cryptographic operations which pulls such things further into the realm of actual on-chain implementations.

Paweł Bylica is working on a C-language interface between the virtual machine implementation and the client that hosts it, with the goal of being able to plug different VMs into an Ethereum client. This way, geth can also potentially benefit from our changes to the C++ virtual machine and especially from the LLVM just-in-time compiler.

Note that these changes are not yet released, but they are part of the ubuntu dev ppa.

Remix

Yann Levreau and Liana Husikyan are working on our new EVM debugger remix. We released the alpha version some days ago:

Application – Instructions

For now, you can “only” use it to inspect every single step in the execution of any transaction in the blockchain, look at the current stack, memory and storage contents and see the sequence of instructions. The next step will be to also allow source-level debugging where you can see the current position in the source code, step on line or instruction level and see the decoded values of the variables (instead of only the raw hex values).

The debugger is for you, the community, and we were delighted to hear that etherscan has already integrated Remix into their blockchain explorer.

Repository Reorganisation

Bob Summerwill is dedicated to bringing back C++-Ethereum to its former home, https://github.com/ethereum/cpp-ethereum and thus remove the unnecessary and confusing split into multiple sub-repositories. We are making great progress there, one of the first really visible steps was to decouple the testing infrastructure of Solidity from the virtual machine implementation. The Solidity tests can now be compiled without the virtual machine and they are run by communicating with a specially configured eth process (the one mentioned above) over the regular IPC interface.

The next steps here are to disentangle the rest of the code, modify the test automation and continuous integration accordingly and perform the actual move.

Together with this step, we unfortunately have to say goodbye to Mix and AlethZero (the spirit of mix will live on in the new remix project). The burden they drag along would be too big, because it includes Qt and a tight coupling with Solidity. As already explained in earlier posts, a loose IPC-based coupling of these tools to a small client implementation makes us much more flexible and the community support that comes with a change to JavaScript and Web-based tools like remix and browser-solidity is just overwhelming in comparison.

Formal Verification

We are extending the existing formal verification tools integrated with Solidity to cross-contract calls. This would enable automated proofs that e.g. a recursive call attack is not possible against a certain contract. Also, as why3 (the tool we use to do the heavy lifting) was recently ported to browsers, we can probably expect it to be available right inside browser-solidity and other tools like blockchain explorers!

There is a first proof of concept including explanations that shows how automated verification can be used to show that it is impossible to steal money from a solidity contract, even if recursive calls are allowed.

This proof of concept will hopefully evolve into a usable tool in the next weeks.

Solidity Tools

Several people from the community and from inside the Foundation are currently working on tools for Solidity or the EVM in general. These include:

  1. Solidity AST analysis for warnings by Dave Hoover (@redsquirrel)
  2. A Read-Eval-Print version of Solidity by raineorshine: Solidity-repl
  3. Control-flow analysis graph also by raineorshine
  4. EVM disassembler by Nick Johnson



Source link

Share. Facebook Twitter Pinterest LinkedIn Tumblr Email
admin
  • Website

Related Posts

EF-Supported Teams: Research & Development Roundup

December 29, 2022

KZG Ceremony Grant Round | Ethereum Foundation Blog

December 15, 2022

Merge Data Challenge Results | Ethereum Foundation Blog

December 5, 2022

Comments are closed.

Don't Miss

What is going on with Aptos’ price?

Blockchain January 29, 2023

Join Our Telegram channel to stay up to date on breaking news coverage According to…

Gala Price Prediction for Today, January 28: GALA/USD Trades Above $0.060 as a Retracement May Follow

January 28, 2023

OXT/USD Rises Above $0.10; What Next?

January 28, 2023

BTC/USD Consolidates Around $23,000 Level

January 28, 2023
Stay In Touch
  • Facebook
  • Twitter
  • Pinterest
  • Instagram
  • YouTube
  • Vimeo
Our Picks

What is going on with Aptos’ price?

January 29, 2023

Gala Price Prediction for Today, January 28: GALA/USD Trades Above $0.060 as a Retracement May Follow

January 28, 2023

OXT/USD Rises Above $0.10; What Next?

January 28, 2023

BTC/USD Consolidates Around $23,000 Level

January 28, 2023

Subscribe to Updates

Get the latest Crypto news from kronosslott.

About Us
About Us

Your source for the serious news. This website is crafted specifically to for crazy and hot cryptonews. Visit our main page for more tons of news.

We're social. Connect with us:

Facebook Twitter Pinterest YouTube WhatsApp
Categories
  • Altcoin (4)
  • Bitcoin (2,020)
  • Blockchain (780)
  • Ethereum (320)
  • Gambling (2,082)
  • Litecoin (55)
  • NFTs (2)
Our Picks

What is going on with Aptos’ price?

January 29, 2023

Gala Price Prediction for Today, January 28: GALA/USD Trades Above $0.060 as a Retracement May Follow

January 28, 2023

OXT/USD Rises Above $0.10; What Next?

January 28, 2023
©2022 –Kronosslott. All Rights Reserved. Kronosslott.com is an independent i-Gaming news site and casino comparison service. Every effort is made to ensure that the bonus offers listed here are accurate and up-to-date. However, we accept no responsibility for inaccuracies or errors. It is your responsibility to confirm the terms of any promotion you choose to accept. Looking to Advertise with us? Kronosslott is always looking for new partnerships. To Inquire please email kronosslott@gmail.com

Type above and press Enter to search. Press Esc to cancel.