compiler

ChainCatcher news, Paradigm releases the REVM compiler Revmc.Paradigm stated that it recently released Reth's high-performance roadmap, calling for a broader use of "Gas per second" as a performance metric for EVM blockchains, and detailed plans to scale the blockchain to 1 GB per second and beyond, which is a 1000-fold improvement over the current state of Ethereum.Paradigm will open source Revmc, a compiler that reduces EVM bytecode to native code, demonstrating improvements ranging from 1.85 times to 19 times in various practical EVM benchmarks, and has successfully integrated Revmc into Reth and synchronized the chain. Next, Revmc will be integrated into OP Reth for L2 use, with improvements expected to benefit compute-intensive workloads.

ChainCatcher news, Polyhedra Network announced the latest upgrade of the Expander toolbox: the Expander Compiler Collection (ECC). The ECC is designed to convert circuits written in gnark into an intermediate representation (IR) of layered circuits. This technology significantly optimizes proof times while ensuring compatibility with existing solutions. In addition, the ECC has achieved a key breakthrough in compatibility with existing circuit languages, enabling developers to generate GKR proofs at a faster pace.

ChainCatcher news, Starknet has released a new version Cairo v2.5.0, which only involves changes to the high-level compiler (from Cairo to Sierra), and can be deployed immediately on the Starknet testnet and mainnet.It is reported that this version also introduces various features of Sierra, eliminates many limitations present in match expressions, introduces a more user-friendly loop syntax, adds the concept of pub, and more.

ChainCatcher news, Polygon posted on platform X that the Miden Compiler is being deployed to Polygon Miden as a rollup supporting smart contracts written in Rust, and it may also support other developer-friendly languages in the future. It can serve in two ways:As a compiler backend for existing languages, aiming to target Miden Assembly;As a means to compile WebAssembly code generated by another compiler into Miden Assembly.

ChainCatcher news, Aptos Labs announced that it is developing a new compiler for the smart contract language Move, called Aptos Move Compiler, which will introduce some new language features to fill the gaps in the original Move language design without compromising security.Upcoming important features include receiver-style function calls, support for general higher-order functions, allowing developers to define custom functions, resource access control, returning global references, and adding full support for enums (Enum), among others.

ChainCatcher news, EthStorage, in collaboration with Hyper Oracle and Delphinus Lab, has released the zkGo compiler. Based on the latest Go version 1.21.0, zkGo is the first to compile regular Go code into ZK protocol-compatible Wasm code. The generated Wasm code execution has already been able to undergo zero-knowledge proof and on-chain verification using Delphinus Lab's zkWasm tool.As an important application of zkGo, zkGo has successfully compiled the Fraud Proof of Optimism's L2 Geth (also known as op-program-client), generating Wasm code compatible with the ZK protocol. Currently, the Wasm code has passed the zkWasm dry run, marking an important step towards the future implementation of ZK Fraud Proof technology.

ChainCatcher message, the BNB Chain eco DEX Ellipsis Finance using the Curve mechanism tweeted that a few BNB stable pools using the old version of the Vyper compiler were attacked and are currently under assessment.Earlier news, Curve Finance stated that due to a Vyper recursive lock failure, the stablecoin pool alETH/msETH/pETH was attacked. According to security agencies' monitoring, the Curve Finance attack incident has resulted in a loss of 52 million dollars.

ChainCatcher message, Solana Labs has launched the Solang compiler that supports writing smart contracts in the Solidity language.It is reported that its features include compatibility with Ethereum Solidity 0.8, the ability to call other Solana smart contracts, and support for Solana SPL tokens, etc. (source link)

ChainCatcher message, Ethereum programming language Solidity releases Solidity compiler version 0.8.20. The latest version includes a series of improvements to the via-IR pipeline and enhances the list of events exposed in the contract ABI, supporting the Shanghai hard fork upgrade. This compiler switches the default target EVM version to the Shanghai version. (Source link)

ChainCatcher news, the Ethereum programming language Solidity has released version 0.8.19 of the Solidity compiler. The latest version includes a series of improvements and introduces user-defined value type definition operators to prevent dead code in runtime bytecode. Issues with internal library functions and free functions called through modules reported by @sifislag have been fixed in this version. The team recommends users on Solidity versions lower than 0.8.0 to upgrade. (Source link)

ChainCatcher news, Ethereum modular execution layer developer Fuel Labs announced the Sway language upgrade content to be implemented in 2023, including compiler optimizations regarding bytecode size, Sway will support more backends (EVM backend is already in development), abstractions will be more economical, more applications will migrate from Solidity/Vyper to Sway, and improved compiler-level reentrancy analysis, etc. (source link)

ChainCatcher news, the security company Dedaub team discovered a vulnerability in the Ethereum programming language Solidity compiler, which causes dead code to be included in the bytecode of deployed contracts, significantly increasing the gas cost when deploying and operating smart contracts. Dedaub stated that the team found this error while evaluating the open-source binary decompiler Gigahorse. The vulnerability occurs when library methods are only called by the contract's constructor.Through the analysis with Gigahorse, Dedaub found that at least 35% of contracts contain some dead code, with 33% occupying most of their running bytecode. These results are predominantly seen in NFT proxies, but other proxy contracts also have the same issue. For large contracts, this problem can be overlooked, but most deployed contracts are small contracts. The Dedaub team had already discovered this error last November and alerted the Solidity team to confirm the issue. (source link)

ChainCatcher news, the Ethereum programming language Solidity has released the latest version of the Solidity compiler, Solidity 0.8.18. The new version features include: disabling CBOR metadata, supporting the Paris hard fork, deprecating selfdestruct, and generating EVM bytecode from Yul. The team recommends all Solidity developers upgrade to version 0.8.18 to take advantage of these improvements and optimizations. (source link)

ChainCatcher news, StarkWare announced the open sourcing of its programming language Cairo 1.0, as the first step in open sourcing the StarkNet stack. StarkNet does not yet support Cairo 1.0, which will be supported in the first quarter of next year. The first version of the Cairo 1.0 compiler is planned to be released in early next year, focusing on supporting all existing features of StarkNet in Cairo 1.0, and is also expanding the capabilities of the Cairo 1.0 compiler. (Source link)