Written by Ethereum developer Danny Ryan, the blog noted several developments since the project’s last update in May. Overall, the gist was that all “public summaries, client teams, contributors, and community members/prospective-validators have been busy.”
Few technological takeaways were that the new Solidity deposit contract was formally verified and added to the bounty program. Furthermore, the much-awaited Altona v0.12 testnet was expected to launch in the next week.
Ryan noted the Ethereum Foundation, which oversees development on the Ethereum protocol, will continue its grant to Sigma Prime for its “beacon-fuzz” framework that helps “finds all bugs.”
Enumerating on the new deposit contract written in Solidity, Ryan wrote the contract retained the same public interface and saw the addition of an EIP 165 supports interface function. He added the change was fully transparent and viewable to all developers.
There were “latent concerns” around the previous “Vyper” contract language, notes Ryan, even as the contract was “heavily tested, reviewed, and formally verified.” A ConsenSys researcher, Suhabe Bugrara, conducted a review of the Vyper deposit contract, assessing it as “sound” but not recommending the bytecode “as secure as long as it used the Vyper compiler.”
Ryan added in the regard: “ConsenSys Diligence and Trail of Bits did investigative security reports on the Vyper compiler, finding many more bugs and raising concerns about systemic issues with the compiler codebase.”
However, Ryan said Vyper is a “very promising language” despite the few shortcomings, adding the python-based compiler continues to be developed.
If you are new to the Cryptocurrency world and would like to open an account we recommend Cex.io.