runtimeverification / runtimeverification/kontrol
Implement `difficulty` and `prevRandao` cheatcodes
Open
Nobody has claimed this yet.
enhancement
good first issue
- Dominant language
- Python
- Stars
- 122
- Forks
- 16
- PR merge metrics
- No merged PRs in 30d
Description
The difficultyand prevRandao cheatcodes are not implemented yet. When implementing ensure that if they are being called during the setUp function, the cells they modify are carried to the tests configuration. See #169
// Set block.difficulty
// Does not work from the Paris hard fork and onwards, and will revert instead.
function difficulty(uint256) external;
// Set block.prevrandao
// Does not work before the Paris hard fork, and will revert instead.
function prevrandao(bytes32) external;
Contributor guide
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Research direction
No files or tests are named. Start by locating the existing cheatcode implementations and the setUp-to-tests configuration path, then read #169 for the cell-propagation precedent. Done means both cheatcodes are available with the stated Paris fork behavior and values set during setUp reach the test configuration.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- python, solidity
- Domain
- blockchain, testing
- Issue type
- Feature
- Difficulty
- 4/5
- Estimated time
- 3-5 days
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 45/100