RAYO-93
Implement CPA spec on Rayo