The Ethereal Hackathon is now live! - Earn over $40k of prizes and a chance to meet the top teams in web3; Participate today!. X
Grow Open Source

This grant is accepting Matching Contributions

Contribute from 3/6 to 4/19 and have up to $50k in contributions matched.

EVM Evolution

https://fission.codes/evm-evolution/
0x2156e9ed357fcc134161b7df0edfe26591d8d329
88.00 DAI

Total Funding

30,000.00 DAI

Monthly Goal

Monthly Recurring Funding: 81.0000

bmann is accepting contributions in Any Token on mainnet

Description

In the 21st century, on a blockchain holding billions USD in value, formal specification and verification are an essential tool. Yet the design of the EVM makes this unnecessarily difficult. Further, the design of the EVM makes low-gas-cost, high-performance execution difficult. We propose to move forward with proposals to resolve these problems by tightening the security guarantees and pushing the performance limits of the EVM. The Ethereum Virtual Machine, or EVM, is the core part of the Ethereum ecosystem that powers everything from smart contract features to the consensus semantics. “EVM Evolution” is what we’re calling our collected efforts to improve and extend the EVM, from it’s specification, formal verification, to supporting a variety of implementations. Please visit our website at https://fission.codes/evm-evolution/ for additional information and updates on what we've done to date and what our plans are. Some of the areas we intend to work on with this project include: * Jello Paper / Yellow Paper improving and maintaining EVM specification https://fission.codes/evm-evolution/specification/ * EIP 615 Subroutines and Static Jumps for the EVM https://fission.codes/evm-evolution/eip-615/ * LLVM-to-EVM https://fission.codes/evm-evolution/llvm-to-evm/ Note: we have applied to the Ethereum Foundation for 6 month of funding at this level. The scope of work is more about focusing on this work with dedicated people, and on hitting deadlines related to the hard fork schedule starting with Istanbul later this year https://en.ethereum.wiki/roadmap/istanbul Additional funding will be required to bring on more people and for specific aspects of this project. For example, we hope that Trail of Bits can collaborate on the LLVM-to-EVM, or that Runtime Verification works with us in continuing formal verification work. Brooke @expede and Greg Colvin @gcolvin are the technical leads on the project. They are supported by Boris @bmann in project management, operations, and community. ETH 1.x

Milestones

No milestones added

Updates

No updates added

Active Subscriptions

08 Feb
1.0000 DAI / 30 days, 12 times

1.0000 DAI

18 Mar
5.0000 DAI / 30 days, 5 times

5.0000 DAI

29 Mar
20.0000 DAI / 30 days, 12 times

20.0000 DAI


Contributions

16 Apr
50.0000 DAI

50.0000 DAI

17 Apr
5.0000 DAI

5.0000 DAI

08 Feb
1.0000 DAI

1.0000 DAI

10 Mar
1.0000 DAI

1.0000 DAI

18 Mar
5.0000 DAI

5.0000 DAI

19 Mar
5.0000 DAI

5.0000 DAI

03 Apr
20.0000 DAI

20.0000 DAI

09 Apr
1.0000 DAI

1.0000 DAI


Inactive Subscriptions

19 Mar
5.0000 DAI / 30 days, 12 times

5.0000 DAI

19 Mar
5.0000 DAI / 30 days, 12 times

5.0000 DAI

16 Apr
50.0000 DAI 1 time

50.0000 DAI

2019 March 13 - The Microsoft / Ethereal + Gitcoin Hackathon is live from April 15th to April 30th.