properties
properties copied to clipboard
crytic
Pre-built security properties for common Ethereum operations
### Describe the desired feature or improvement 1. How challenging would it be to create a generic set of merkle trie properties? 2. Do merkle trie library interfaces have enough...
### Describe the desired feature or improvement Since a lot of MultiSigs work in a relatively similar way (e.g., using signatures, some threshold of votes/signatures is required, only approved signers...
### Describe the desired feature or improvement I am reviewing a smart contract that contains a very complex logic to mint NFTs with random rarities using Chainlink VRF. Just by...
Which would cover everything in https://github.com/crytic/building-secure-contracts/blob/master/development-guidelines/token_integration.md#erc20-tokens, plus other edge cases we are aware of The idea would be to have helpers to ease the integration of erc20 edge case, like...
### Describe the desired feature or improvement ERC721 might be a good target
### Describe the issue: These 2 tests: ```java contract CryticABDKMath64x64Properties { ... function add_test_range(int128 x, int128 y) public view { int128 result; try this.add(x, y) { result = this.add(x, y);...
### Describe the desired feature or improvement We can re-use some of the work done for ABDK to support https://github.com/PaulRBerg/prb-math
context: we try to always treat compiler warnings as errors, to reliably catch some possible issues (such as not assigning to a return variable) as soon as possible, with foundry's...
