Development resources at your finger tips
Build with the coolest Web3 projects
Recurring funding for Open Source
Learn about Web3 & earn rewards
Show appreciation for each other
Meet fellow developers, designers, futurists and more. Collaborate and BUIDL awesome projects together.
Discover great web3 organizations, work on meaningful projects and build relationships with like minded people. Browse Tribes
Meet the top hunters and contributors from our community.
Hello, Gitcoiners & Gitcoinerettes! It’s happening again – happy blockchain times are coming to San Francisco 🎉, as the San Francisco…
Heya Gitcoiners & Gitcoinerettes! They say that July is the warmest month of the year (location depending), and we’re definitely getting ready fo…
Gitcoin is GDPR complaint. Learn more in
Gitcoin's Terms & Conditions.
Check out the Issue Explorer
Looking to fund some work? You can submit a new Funded Issue here.
There is not support for refunds and gas does not affect balances.
For example writing a zero to a storage slot that previously had a non-zero value will refund some gas at the end of the transaction, to some extent.
Implement ant test all aspects of refund and gas spending(gas vs balance) in manticore EVM implementation. Research, implement the all needed parts at every related instruction and add tests for everything.
A transaction should spend the gas x price from the caller account balance when appropiate.
The refund should be calculated and added to the balance when needed.
All should accept both symbolic and concrete gas/refunds avoiding concretization or explaining why it is unavoidable.
Integration examples that showcase the change in the balance should be included.
Unittest for the changed intructions for different forks should be added
Experience with Python 3.6
Experience with Solidity smart contracts
Experience with EVM bytecode smart contracts
Experience with yellow papering.
No experience with Slither is required, but it would be a plus