updated for zkless0.9.0