Will the final proof size and verification time be acceptable for Filecoin?