provides funding for Kulla-RIV: A composing model with integrity verification for efficient and reliable data processing services Article