Added witness generation