Skip to content

Commit

Permalink
Update EIP-5283: few grammatical corrections (#8036)
Browse files Browse the repository at this point in the history
typo fix
  • Loading branch information
sqltrigger authored May 3, 2024
1 parent ad74c94 commit 350cd7f
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions EIPS/eip-5283.md
Original file line number Diff line number Diff line change
Expand Up @@ -59,9 +59,9 @@ abstract contract ReentrancyGuard2 {
}
```

### Parallellizable storage-based RPGs
### Parallelizable storage-based RPGs

The only way to paralellize prexistent contracts that are using the storage RPG construction is that the VM automatically detects that a storage variable is used for the RPG, and proves that is works as required. This requires static code analysys. This is difficult to implement in consensus for two reasons. First, the CPU cost of detection and/or proving may be high. Second, some contract functions may not be protected by the RPG, meaning that some execution paths do not alter the RPG, which may complicate proving. Therefore this proposal aims to protect future contracts and let them be parallelizable, rather than to paralellize already deployed ones.
The only way to parallelize preexistent contracts that are using the storage RPG construction is that the VM automatically detects that a storage variable is used for the RPG, and proves that it works as required. This requires static code analysis. This is difficult to implement in consensus for two reasons. First, the CPU cost of detection and/or proving may be high. Second, some contract functions may not be protected by the RPG, meaning that some execution paths do not alter the RPG, which may complicate proving. Therefore this proposal aims to protect future contracts and let them be parallelizable, rather than to parallelize already deployed ones.

### Alternatives

Expand Down

0 comments on commit 350cd7f

Please sign in to comment.