Interactive & Zero-Knowledge Proofs on the Tech Tree