Rena Labs 是一个 TEE 抽象中间件，为可验证的 AI 用例创建链上基础设施。