Hey) Thank you for you note. We are targeting projects and developers who are interested in technologically-assured trust, primarily focusing on cryptography verification, but also including areas such as zero-knowledge proofs, blockchain, and more.