We are a research collective focusing on projects that matter at the intersection of cryptography, programming languages & machine learning.