-
Notifications
You must be signed in to change notification settings - Fork 155
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Addressing recent audit issues #1773
Conversation
468f0b3
to
32ada71
Compare
32ada71
to
3330660
Compare
fyi @uroboros, I had to increase |
I think we might as well double it to 10 |
@@ -134,5 +134,5 @@ defaultConstants = | |||
maxTreasury = 10000000, | |||
minReserves = 1000000, | |||
maxReserves = 10000000, | |||
genTxRetries = 5 | |||
genTxRetries = 6 |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
genTxRetries = 6 | |
genTxRetries = 10 |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
👍
This PR addresses several recent audit issues, all concerned with syncing the formal spec to the implementation. No semantic changes are made. I always preferred to change the formal spec over the implementation, but in a few places it was better to change the implementation.
The changes to the implementation were:
createRUpd
was previously taking the epoch in the implementation but not the formal spec. It was only used to get the "global constant"slotsPerEpoch
(the hard fork combinator can change this). Now both the spec and the implementation are passed this constant.closes #1728
closes #1745
closes #1748
closes #1751
closes #1752
closes #1753
closes #1764
closes #1765