Development resources at your finger tips
Build with the coolest Web3 projects
Recurring funding for Open Source
Ethical ads to power 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.
KERNEL is an 8-week, invite-only program for top tech talent looking to build relationships, products, and companies in blockchain and Web 3. 100 tal…
Heyo Gitcoiners! With an entire city of hackers, coders and blockchain innovators relocated on our platform, the atmosphere is just buzzing with crea…
Type in [[ 2- term.length]] more characters to get results
[[ result.title ]]
[[ result.description | truncate(70) ]]
No matches found
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 no clear documentation or examples of how to symbolically execute a bytecode-only Ethereum contract. In this case, the ABI will be provided by the user, but there is no public interface to associate it with bytecode to run.
We need clear documentation and examples for creating and interacting with bytecode-only contracts. There are two sets of scenarios to consider: ones where a constructor generates the running bytecode and one where we just paste in an already-known and running bytecode.
The documentation and examples should contemplate the association of a previously known ABI description and the usage of symbolic parameters on both create and normal transactions.
Here are some writeups we would love to see!
* Create and analyze a contract account from the constructor bytecode
* Create and analyze a contract account from the constructor bytecode that uses concrete arguments.
* Create and analyze a contract account from the constructor bytecode that uses symbolic arguments.
* Create and analyze a contract account from the runtime bytecode
* Send transactions with concrete arguments to bytecode-only contracts using the ABI module
* Send transaction with symbolic arguments to bytecode-only contracts using the ABI module
* Associate a known ABI with a bytecode-only contract and then use EVMAccount to send transactions with concrete parameters to it
* Associate a known ABI with bytecode-only contract and then use EVMAccount to send transactions with symbolic parameters to it
* Iterate over final states and print out interesting knowledge about the accounts. E.g., balance, storage values, or other invariants.
You may want to reference the [minimal_bytecode.py](https://github.com/trailofbits/manticore/blob/master/examples/evm/minimal_bytecode_only.py) example to get started!