Awarded: ICDevs.org - Bounty #16 - EVM Witness Library - $8,000+

This is the fifth bounty in a series of bounties we are releasing this week in the run-up to Motoko Bootcamp . Winners of the Bootcamp’s Intermediate level will get the first crack at selecting one of these bounties to complete.

EVM Witness Library - #16

Current Status: Discussion

  • Discussion (02/24/2022)
  • Ratification
  • Open for application
  • Assigned
  • In Review
  • Closed

Official Link

Bounty Details

  • Bounty Amount: $8,000 USD of ICP at award date - $2000 USD of ICP Match Available
  • ICDevs.org DFINITY Foundation Grant Match Available: $2000 USD of ICP at award time - (For every ICP sent to 7e80ab2726e15ae1818cdce7a1e09c1523f1cfec09a12871ec40ef6f7e5c4563, ICDevs.org will add $125 USD of ICP at award date to the bounty, up to the first 8 ICP donated, After 8 ICP, donations to the above address will add .25 ICP to this issue and .75 ICP to fund other ICDevs.org initiatives)
  • Project Type: Team
  • Opened: 02/24/2021
  • Time Commitment: Weeks
  • Project Type: Library
  • Experience Type: Intermediate - Motoko; Advanced - EVM/Ethereum
  • Issue Type: Motoko Library

Description

This bounty gives the opportunity to

  • learn how the EVM, and EVM works.
  • learn about cryptographic libraries
  • learn about Merkle trees and witnesses
  • learn about RLP encoding

The goal of this bounty is to create a set of motoko libraries that can be used to validate Ethereum/evm transactions, storage variables in etheEthereumrum/evm contracts, and Ethereum/evm events.

The developer must create a set of motoko functions that prove transactions, storage, and state data are part of an Evm blockchain given a particular root.

Transactions proofs - takes an Evm root and a transaction witness and will return a Boolean true/false as to if the transaction is a part of the data set.

State proof - take a state root and a state witness that proves the state of an address(nonce, balance, code hash, storage hash and returns true if the state is part of the dataset.

Storage proof - take a storage witness and a storage hash and return true if that data is a part of the dataset.

Transaction receipt proof - create a function that takes an event/log proof and confirms that event/log is part of the data set.

Data in a storage root is RLP encoded so you will need to create or use a motoko RLP encoding library to decide the value of the witness.

Storage keys are stored as a keccak hash of the variable name so you will need to develop or use a motoko library that performs that hash.

Receipt proofs contain a bloom filter and you will need to create/use a motoko library that processes those.

https://medium.com/hackernoon/getting-deep-into-ethereum-how-data-is-stored-in-ethereum-e3f669d96033

https://ethereum.stackexchange.com/questions/5888/relationship-between-transaction-trie-and-receipts-trie

The package should be deployed as a vessel package.

To apply for this bounty you should:

  • Include links to previous work writing tutorials and any other open-source contributions(ie. your github).
  • Include a brief overview of how you will complete the task. This can include things like which dependencies you will use, how you will make it self-contained, the sacrifices you would have to make to achieve that, or how you will make it simple. Anything that can convince us you are taking a thoughtful and expert approach to this design.
  • Give an estimated timeline on completing the task.
  • Post your application text to the Bounty Thread

Selection Process

The ICDevs.org developer’s advisors will propose a vote to award the bounty and the Developer Advisors will vote.

Bounty Completion

Please keep your ongoing code in a public repository(fork or branch is ok). Please provide regular (at least weekly) updates. Code commits count as updates if you link to your branch/fork from the bounty thread. We just need to be able to see that you are making progress.

The balance of the bounty will be paid out at completion.

Once you have finished, please alert the dev forum thread that you have completed work and where we can find that work. We will review and award the bounty reward if the terms have been met. If there is any coordination work(like a pull request) or additional documentation needed we will inform you of what is needed before we can award the reward.

Bounty Abandonment and Re-awarding

If you cease work on the bounty for a prolonged(at the Developer Advisory Board’s discretion) or if the quality of work degrades to the point that we think someone else should be working on the bounty we may re-award it. We will be transparent about this and try to work with you to push through and complete the project, but sometimes, it may be necessary to move on or to augment your contribution with another resource which would result in a split bounty.

Funding

The bounty was generously funded by the DFINITY Foundation. If you would like to turbocharge this bounty you can seed additional donations of ICP to 7e80ab2726e15ae1818cdce7a1e09c1523f1cfec09a12871ec40ef6f7e5c4563. ICDevs will match the bounty 5:1 for the first 40 ICP out of the DFINITY grant and then 0.25:1 after that. All donations will be tax deductible for US Citizens and Corporations. If you send a donation and need a donation receipt, please email the hash of your donation transaction, physical address, and name to donations@icdevs.org. More information about how you can contribute can be found at our donations page.

General Bounty Process

Discussion

The draft bounty is posted to the DFINITY developer’s forum for discussion

Ratification

The developer advisor’s board will propose a bounty be ratified and a vote will take place to ratify the bounty. Until a bounty is ratified by the Dev it hasn’t been officially adopted. Please take this into consideration if you are considering starting early.

Open for application

Developers can submit applications to the Dev Forum post. The council will consider these as they come in and propose a vote to award the bounty to one of the applicants. If you would like to apply anonymously you can send an email to austin at icdevs dot org or sending a PM on the dev forum.

Assigned

A developer is currently working on this bounty, you are free to contribute, but any splitting of the award will need to be discussed with the currently assigned developer.

In Review

The Dev Council is reviewing the submission

Awarded

The award has be been given and the bounty is closed.

Matches

DFINITY Foundation Grant: - $8000 USD of ICP at award date

Other ICDevs.org Bounties

3 Likes

I am going to try to do this because it falls in line w a project I was working on regardless. I’ll submit my finished code to you guys maybe you will like it thank you all

2 Likes

Someone may have done a lot of the work needed I’m not smart enough but some of this code
Seems to pull data from evm streams and otherwise
Web2 apis

Are you still working on this?

@skilesare As #27a is blocked on the evm transactions library from #32, can I pick this up in the meantime?

It doesn’t look like anyone is working on this actively.

Yes…that would be great!

1 Like

@darkdrag00n @skilesare Probably should have mentioned this last week (my bad), but I’ve been working on this for the past 2 weeks as a chance to learn Motoko. Started of as just for fun, but I’m pretty close to getting a repo out by the end of the week.

I started off writing a witness/proof library in TS to debug & get a good set of unit tests against Hardhat, and now I’m just in the middle of porting everything to Motoko.

Hope that’s ok, and sorry for not mentioning that earlier :smiley:

No problem, Just in time :slight_smile:

All the best!

1 Like

Hi @tommay-a, any updates?

Apologies for the late reply, was away this weekend.

Looking to have the initial implementation/documentation done by this Wednesday (if not tomorrow)! Sorry for taking a bit longer, I ended up getting tied up with work and was a bit sick last week, so I was moving a bit slower with this one, but should be done very soon.

Hi @skilesare,
Is this bounty still open? A member of my team is interested in it and we are thinking of starting to develop it, if you don’t mind.

Yes it is. Would you like to give it a go?

2 Likes

Yes, we would like to. I will share when progress is made, but is there something that we should be aware of before the start?

Hi @skilesare, I implemented this as a member of @hawk 's team.
This is my first time to implement in motoko, so any feedbacks would be appreciated!

https://mops.one/evm-proof-verifier
(I’ll update the version to 1.0.0 after it passes review.)

This library has the following features:

  • Verification of proofs (transaction, state, storage, receipt)
  • EVM logs bloom creation and testing

And these functions are depend on the these libraries:

3 Likes

Amazing! Will take a look.

1 Like

Hi @skilesare,
Any progress on your review? Please feel free to ask if you have any questions.

I’ve been a bit behind…I’ll take a look this week. What would be a huge help is a demo showing that you get the same result from both this library and the previously released ETH Utility canister(rust). Completed: ICDevs.org - Bounty #28 - EVM Utility Canister - $6,000

@skilesare

Oh, I accidentally deleted my message…

post it again:

Sorry for the delay. I had missed your message.

I have added the same test case regarding proof verification.

Hi @skilesare, could you please take a look?

I’ve taken a look. I have a few administrative things to do before the payments go out.

1 Like