Succinct Proofs (SNARKs) on the Tech Tree