pub fn empty_witnesses(zkbin: &ZkBinary) -> Result<Vec<Witness>>
Helper function for verifiers to generate empty witnesses for a given decoded zkas binary