Tachyon utilizes recursive SNARKs to aggregate zero-knowledge proofs into a single proof per block for full nodes to verify