JackJack Proofs