Proposal for GRANDPA spec

oxarbitrage commented 3 weeks ago

Project Abstract

Proposal for https://grants.web3.foundation/docs/RFPs/formal_guarantees_for_grandpa

I am open to discuss, receive feedback and make changes to the proposal.

Grant level

[ ] Level 1: Up to $10,000, 2 approvals
[x] Level 2: Up to $30,000, 3 approvals
[ ] Level 3: Unlimited, 5 approvals (for >$100k: Web3 Foundation Council approval)

Application Checklist

[x] The application template has been copied and aptly renamed (project_name.md).
[x] I have read the application guidelines.
[ ] Payment details have been provided (Polkadot AssetHub (USDC & DOT) address in the application and bank details via email, if applicable).
[ ] I understand that an agreed upon percentage of each milestone will be paid in vested DOT, to the Polkadot address listed in the application.
[x] I am aware that, in order to receive a grant, I (and the entity I represent) have to successfully complete a KYC/KYB check.
[x] The software delivered for this grant will be released under an open-source license specified in the application.
[ ] The initial PR contains only one commit (squash and force-push if needed).
[ ] The grant will only be announced once the first milestone has been accepted (see the announcement guidelines).
[ ] I prefer the discussion of this application to take place in a private Element/Matrix channel. My username is: @_______:matrix.org (change the homeserver if you use a different one)

github-actions[bot] commented 3 weeks ago

CLA Assistant Lite bot All contributors have signed the CLA ✍️ ✅

oxarbitrage commented 3 weeks ago

I have read and hereby sign the Contributor License Agreement.

bhargavbh commented 2 weeks ago

thanks a lot for submitting the application. We have recently been working with a team for formally specifying and verifying GRANDPA. We realised that the project is quite involved and plan to restructure it as a research project with publication as one of the objectives. The RFP should have already been closed, which was an oversight on our part.

oxarbitrage commented 2 weeks ago

thanks a lot for submitting the application. We have recently been working with a team for formally specifying and verifying GRANDPA. We realised that the project is quite involved and plan to restructure it as a research project with publication as one of the objectives. The RFP should have already been closed, which was an oversight on our part.

Ok, I understand. Please consider me if there are any other related proposals in the future.

w3f / Grants-Program