Aleo

IDPartner is a startup focused on online identity verification, leveraging a network of financial institutions. The company has developed an identity network application that enables users to verify their identities across various online platforms. This application supports the creation of a trusted, user-controlled global marketplace for reusable digital identities, facilitating secure online interactions. By allowing businesses to efficiently confirm the identities of millions of customers, IDPartner enhances trust and safety in digital transactions, making it easier for individuals to thrive in the online environment.

Nucleo will promote the adoption of blockchain technologies that protect user privacy with its non-custodial, programmable, and auditability solutions. It uses powerful multi-signature and zero-knowledge cryptography to give any organisation with the privacy infrastructure necessary to benefit from better capital formation, allocation, and distributed ownership.

Veridise is a blockchain security company that specializes in identifying and addressing vulnerabilities in various blockchain applications. Founded by a team of experienced researchers, Veridise is renowned for its expertise in auditing Zero-Knowledge Circuits, MetaMask Snaps, smart contracts, and various decentralized finance protocols. The firm employs a hybrid approach that combines traditional auditing methods with automated Web3 security tools, enabling it to uncover critical vulnerabilities that other firms may overlook. In the first half of 2023, Veridise identified over 100 high-severity bugs, demonstrating its effectiveness in enhancing blockchain security. The company also offers a comprehensive platform for automatically auditing smart contracts, allowing clients to implement formal methods for improved security and correctness in their blockchain projects.