Rena Labs 是一個 TEE 抽像中間件，為可驗證的 AI 用例創建鏈上基礎設施。