Asetra — Real-World Assets, Made Programmable