.svg)
Summary
The most critical subjects covered in our audit are access control and functional correctness. The general subjects covered are documentation and trustworthiness. Minor inconsistencies between the documentation and the implementation were found and reported, see Specification Mismatches and Inconsistencies.
In summary, we find that the codebase provides a high level of security.
It is important to note that security audits are time-boxed and cannot uncover all vulnerabilities. They complement but don't replace other vital measures to secure a project.
About Sky PAU Assembler
Sky implements DefaultPAUAssembler, a permissionless helper contract that deploys and fully configures a complete PAU stack together with any number of AdministeredAgent allocators. It assigns all administrative and operator roles to caller-supplied addresses and renounces every role it holds during setup, retaining no privilege over the deployed contracts.