Implement new Witness decoding function