batch proof