diff --git a/client/library/library/audits/veda-92.html b/client/library/library/audits/veda-92.html new file mode 100644 index 00000000..e035f69a --- /dev/null +++ b/client/library/library/audits/veda-92.html @@ -0,0 +1,34 @@ + + + + The audit was performed by the Macro security team on July 15th, 2026. + + + + + + + + + + diff --git a/content/collections/public/veda-92-issues.html b/content/collections/public/veda-92-issues.html new file mode 100644 index 00000000..77989da5 --- /dev/null +++ b/content/collections/public/veda-92-issues.html @@ -0,0 +1,12 @@ + + Scoped Impact + + ## [I-1] Constructor bound checks apply only to newly deployed accountants + + [PR 748](https://github.com/Veda-Labs/boring-vault/pull/748) adds five input-validation guards to the `AccountantWithRateProviders` constructor so that an accountant can no longer be *deployed* with parameters its own setters would reject. + + Previously, the five setters (`updateUpper`, `updatePlatformFee`, etc.) enforced these bounds, but the constructor, as written, would write those same values straight into `accountantState` unchecked. In theory, an accountant could have been deployed in a state that normal operation would never reach. + + This change closes that gap by creating consistent checks across both the setters *and* the constructor. No onchain behavior is affected with this change. + +