RAYO-93 : Implement CPA spec on Rayo