File	Line Coverage			Functions		Branches
mod.rs	0%	0%	0 / 570	0%	0 / 37	100%	0 / 0
utils.rs	0%	0%	0 / 57	0%	0 / 9	100%	0 / 0
verify_prover_version.rs	80.95%	80.95%	34 / 42	100%	4 / 4	100%	0 / 0