We're contributors in security research and verifiable compute