Aligned Layer is a Yet Another Company product. It is a ZK verification layer developed on top of the EigenLayer. This will enable cost-effective verification of any SNARK proof, leveraging Ethereum validators' security without the limitations of Ethereum.