.. witness arithmetic.zk burn.zk encrypt.zk inclusion_proof.zk lead.zk mint.zk opcodes.zk set_v1.zk smt.zk tx.zk voting.zk