KR12: Demo of verifiable computation over Filecoin data