Doctor/bioinformatician/cryptographer/hacker. Building next-generation cryptographic infrastructure for verifiable AI