pub fn gen_deep_chain_circuit(depth: usize) -> TinyXgcfSpec
Generate a deep chain circuit: AND(AND(AND(…Lit(1)…)))