Henrique Dias

• Integrating the latest verifiable credential standards in Credo’s TypeScript ecosystem of open source libraries, such as OpenID for Verifiable Credentials and W3C Verifiable Credentials. • Building digital identity and verifiable credential solutions, such as Paradym’s SaaS platform for credential issuance and verification; and Paradym Wallet for user-held credential storage.

• Built a TypeScript platform allowing developers to request verifiable credentials from users across multiple identity wallets via a single integration using open standards, abstracting over both proprietary and open wallet APIs (OpenID for Verifiable Presentations, SD-JWT, mDoc).

• Led the development of new features for Kubo, the reference Go implementation of IPFS, a decentralized, P2P, and content-addressed network; and co-authored and maintained specialized services bridging HTTP and P2P systems. • Designed and implemented specifications for HTTP services in Go and TypeScript, alongside hundreds of implementation-agnostic conformance tests. • Led the development of IPFS Desktop (Electron, cross-platform) and revamped IPFS Web UI (React), enabling users to interact with their IPFS node through a graphical interface. • Co-authored Testground, a Go-based testing and simulation platform for P2P systems at scale, leading the JavaScript SDK and Go synchronization service development.