Aligned Layer

Off-Chain (Private)

Audited on 2024/07/31

No active critical issues

Summary

Executive Summary This report presents the results of our engagement with Aligned to review Aligned Layer AVS Smart Contracts. The review was conducted over two weeks, from August 12 to August 16. A total of 2x5 person-days were spent. Aligned Layer AVS is a system that validates Zero-Knowledge and Validity proofs and publishes the results on Ethereum. Its core is implemented as an EigenLayer Actively Validated Service (AVS) that implements EigenLayer’s ServiceManager interface and verifies operator Stakes with EigenLayer’s BLSSignatureChecker.

Project

Aligned

Ethereum

Issues (20)

	Low	Medium	High	Critical	Total
Not fixed	1	1	-	-	2
Fixed	7	5	3	3	18
Total	8	6	3	3	20

Contracts (3)

#	File Name
1	contracts/src/core/BatcherPaymentService.sol
2	contracts/src/core/AlignedLayerServiceManager.sol
3	contracts/src/core/AlignedLayerServiceManagerStorage.sol

#	File Name
1	contracts/src/core/BatcherPaymentService.sol
2	contracts/src/core/AlignedLayerServiceManager.sol
3	contracts/src/core/AlignedLayerServiceManagerStorage.sol

Aligned Layer

Summary

Issues (20)

[Not-in-Scope] Avoid Changing Eigenlayer-Middleware Contracts Directlynot_fixed/medium

batchDataPointer Uncheckednot_fixed/low

Contracts (3)