Verifying only K3 subset of proof indices

[poszu]

No description provided.

[codecov-commenter]

Codecov Report

Merging #19 (902c12c) into main (0c9d4c3) will increase coverage by 0.6%.
The diff coverage is 100.0%.

@@           Coverage Diff           @@
##            main     #19     +/-   ##
=======================================
+ Coverage   95.5%   96.2%   +0.6%     
=======================================
  Files         11      12      +1     
  Lines        788     927    +139     
=======================================
+ Hits         753     892    +139     
  Misses        35      35             

Impacted Files	Coverage Δ
src/config.rs	0.0% <ø> (ø)
src/lib.rs	100.0% <ø> (ø)
src/prove.rs	94.9% <100.0%> (ø)
src/random_values_gen.rs	100.0% <100.0%> (ø)
src/verification.rs	92.2% <100.0%> (+0.7%)	⬆️

Help us with your feedback. Take ten seconds to tell us how you rate us. Have a feature suggestion? Share it here.