The Ethereum Foundation releases progress on the Foundation and the Ethereum Ecosystem team and projects. The article states that since the last report (June 21), all core areas of Ethereum have continued to evolve from network improvements to upcoming Istanbul upgrades, as well as Eth1.x and Eth2 development.
I. Aleth team
- Shanghai Municipal People's Government Counselor: Transforming the real economy with blockchain technology and promoting deep integration between the two
- Bright sword virtual currency! Multi-local supervision of the hand-coin security, the wave field official micro-enclosed digital coins collectively fled
- Bitfinex parent company submits a search application to the US court, intending to recover the frozen 880 million US dollars
- Long Baixuan: The essential reason why banks are "big but not down" is that lending creates liquidity.
- Ethereum will be upgraded this Saturday, and developers have agreed to delay the launch of the difficulty bomb
- Istanbul Fork Improves Ethereum Performance, Can Ethereum Become a "World Computer"?
The Aleth team is one of the customer teams dedicated to upgrading Istanbul to the Eth1.x chain and has released Aleth 1.7.2 which fully supports the Istanbul upgrade.
1. EVM and other consensus updates;
2. Optimize the network;
4. Optimize the database;
5. Fix and simplify testeth functionality.
Ecosystem support plan
1. Recently donated 5 rounds of funds in Crosslink Taipei, amounting to $ 2,000- $ 5,000;
2. More non-financial support;
3. Website optimization;
4. The focus of the Ewasm team has shifted to the study of Eth 2.0 and worked closely with other teams;
5. Execution environment design.
Third, the verification team
1. Solidity's SMTChecker (a borderless model checker for Solidity smart contracts);
2. Support Solidity compiler;
3. Lead the development of smart contract specification language;
4. Support Eth2 research team and operation verification in beacon chain verification work;
5. Maintain HEVM;
6. Support the test team to extend the coverage of Ethereum testing.
1. Maintain changes to the code base (8 versions);
2.Geth nodes are gradually expanded;
3. In terms of performance, we are trying to reduce the network load and research the state snapshot program;
4. Lightweight client infrastructure has also done a lot of work, allowing server operators to assign and manage client priorities and resource quotas through the RPC API.
The Python ecosystem
1. Web3.py's recent work is to improve stability and documentation. The current focus is on adding async support to the library;
2. Trinity client is developing a test version, which will include newly developed "Beam Sync";
3. EthPM will focus on ecosystem tools.
1. Improve the Remix plugin and work with the community in various ways;
2. Implement WebSocket plugin for Edi Sinovcic's github integration;
3. Help Quorum integrate their Remix plugin;
4. Use Waffle (Ethworks) on its plugin;
5. Work with the VSCode Ethereum team to integrate the plugin engine as a VSCode extension;
6. Switch the loading plugin resource to fully centralized (currently IPFS);
7. Remix library: Committed to improving, maintaining and promoting the Remix library, completing the remix-simulator and performing more tests for remix-debug;
8. Improve the IDE's file browser to support folders and standard features.
The Casper CBC team
1. The WIP public document will be released soon, describing the minimal CBC Casper protocol and validator strategy in the unified framework (VLSM).
2. Formal verification of VLSM.
3. Use CBC Casper feature to improve Eth2.0 design.
Nine, Plasma research team
We have been working hard on scalable technologies since May. There are 4 different teams in the ecosystem building universal Plasma specifications for multiple blockchains, including OmiseGO, Matic, Cryptoeconomics Lab and Plasm.
10. Serenity / Eth2 Research Team
The team is moving towards Phase 0 testnet and mainnet. The specifications and prototypes of Phase 1 go hand in hand, while Phase 2 continues with active and fruitful R & D.
Eleven, safety testing
1. In terms of security, there is a lot of progress on the Istanbul Hard Fork. The old python-based fuzzer (Evmlab) has been rewritten in Go and has been used to create fuzzers that target EIP.
2. Run libfuzzer-based fuzzers on Geth and Parity;
3. Announced $ 15K USD as a bounty to EIP's security audit.
The Solidity language and compiler continue to stabilize and add some features, including the option to output Solidity code for various flexible formats, stability and security changes. The team is working on a new 0.6.0 version and a 0.5.x update.