Proof-Carrying CRDTs allow Succinct Non-Interactive Byzantine Update Validation. - Nick Marx; Florian Jacob; Hannes Hartenstein (PaPoC@EuroSys, 2025)