ANtutov
ANtutov
Custody backfill no longer uses the restart_failed_sync flag to gate restarts and never reads it, unlike the regular backfill logic. This change removes the unused field and its assignments from...
`BroadcastTransaction()` now waits for validation callbacks using the built-in `validation_signals>SyncWithValidationInterfaceQueue()` instead of creating a local `std::promise` and scheduling a lambda. This removes an unnecessary allocation and uses the canonical API.
Updated the tokens overview to include cross-links for ERC-6909 and ERC-4626, which are already present in the codebase and documentation. Adding these references improves discoverability and completeness of the standards...
This change prevents a potential panic in inspect.L1() by adding explicit precondition checks before dereferencing SuperchainDeployment and ImplementationsDeployment. These fields are pointer members of state.State that are set during the...
Switch TLOAD, TSTORE, SSTORE (un/metered) and SLOAD to guard Set/LoadOperation* calls with IsTracingOpLevelStorage rather than IsTracingStorage. This matches the ITxTracer contract and wrapper tracers, ensuring op-level traces are emitted when...
This change reduces redundant work in SparseTerm hot paths without altering semantics. In partial_cmp, computing degree() for both sides once and reusing the results avoids repeated summations during term sorting...
Wrap the original verification error instead of the finder error to preserve context in diagnostics. Use a sensible max bound (32) when inferring degree for diagnostics, aligned with Register. Improves...
The error handling in share/availability/full/availability.go used a disjunction combined with a conjunction without explicit parentheses, relying on Go’s operator precedence where && binds tighter than ||. As a result, shwap.ErrNotFound...
Add a short description and dedicated section for reserve.spec in the Certora specs README so that all existing specification files are reflected in the documentation and users can more easily...
Reuse a single Vec derived from DelegateAction during delegate execution. apply_delegate_action now computes inner actions once, passes them to validate_delegate_action_key and then moves the same Vec into the newly created...