Muppets: Vector commitment that has trade-offs between computation and space