CAIP-380: Portable Proof