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