.. dyn_circuit.rs halo2_vk_ser.rs jsonrpc.rs network_transports.rs smt.rs socks5.rs vdf_eval.rs zkvm_opcodes.rs