updates for zkless v0.9.0