A multiprover interactive proof system for the local Hamiltonian problem - Tech Talk