Close Menu

    Subscribe to Updates

    Get the latest creative news from FooBar about art, design and business.

    What's Hot

    Ledger Wallet Explained: Why It’s the Gold Standard for Self-Custody (May 2025)

    May 12, 2025

    Amid crypto market rally, Lightchain AI remains a step ahead

    May 12, 2025

    Bitcoin eyes all-time high amid promising U.S.-China talks

    May 12, 2025
    Facebook X (Twitter) Instagram YouTube
    X (Twitter) Instagram YouTube LinkedIn
    Block Hub News
    • Lithosphere News Releases
    • Altcoins
      • Bitcoin
      • Coinbase
      • Litecoin
    • Crypto
    • Ethereum
    • Blockchain
    Block Hub News
    You are at:Home » C++ DEV Update – July edition
    Ethereum

    C++ DEV Update – July edition

    Olivia MartinezBy Olivia MartinezApril 22, 2025No Comments6 Mins Read
    Facebook Twitter Pinterest LinkedIn Tumblr Email
    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)).

    relative_speedup

    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.


    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
    Previous ArticleCHART: Bitcoin makes up 52% of $3.9T global crypto market cap
    Next Article Bitcoin has hit $100,000 and is the world’s 7th largest asset
    Olivia Martinez

    Related Posts

    Ethereum (ETH) sees major uptick as Pectra upgrade goes live

    May 8, 2025

    Allocation Update – Q1 2025

    May 8, 2025

    CVE-2025-30147 – The curious case of subgroup check on Besu

    May 7, 2025
    Leave A Reply Cancel Reply

    Demo
    Latest Posts

    Ledger Wallet Explained: Why It’s the Gold Standard for Self-Custody (May 2025)

    May 12, 20250 Views

    Amid crypto market rally, Lightchain AI remains a step ahead

    May 12, 20250 Views

    Bitcoin eyes all-time high amid promising U.S.-China talks

    May 12, 20250 Views

    Conor McGregor calls Bitcoin ‘immutable people’s money’ and asks about crypto government accountability

    May 12, 20250 Views
    Don't Miss

    TAO and Arbitrum investors rush to buy into 1Fuel presale before anticipated rally

    By Isabella TaylorApril 22, 2025

    For years, Arbitrum and TAO have dominated the market as two of the best altcoins…

    Slasher Ghost, and Other Developments in Proof of Stake

    April 24, 2025

    Bitcoin breaks $93,000 amid rumors that Saudi, UAE, or Qatar is buying

    April 23, 2025
    Stay In Touch
    • Facebook
    • Twitter
    • Pinterest
    • Instagram
    • YouTube
    • Vimeo

    Subscribe to Updates

    Get the latest creative news from SmartMag about art & design.

    Demo
    X (Twitter) Instagram YouTube LinkedIn
    Our Picks

    Ledger Wallet Explained: Why It’s the Gold Standard for Self-Custody (May 2025)

    May 12, 2025

    Amid crypto market rally, Lightchain AI remains a step ahead

    May 12, 2025

    Bitcoin eyes all-time high amid promising U.S.-China talks

    May 12, 2025
    Most Popular

    TAO and Arbitrum investors rush to buy into 1Fuel presale before anticipated rally

    April 22, 202528 Views

    Slasher Ghost, and Other Developments in Proof of Stake

    April 24, 202519 Views

    Bitcoin breaks $93,000 amid rumors that Saudi, UAE, or Qatar is buying

    April 23, 202510 Views
    © 2025 - 2026

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