search

fluidex / plonkit

A zkSNARK toolkit to work with circom zkp DSL in plonk proof system.
https://t.me/fluid_dex
MIT License
158 stars 26 forks source link

feat: add RecursiveVerifierGeneration #117

Closed HAOYUatHZ closed 2 years ago

noel2004 commented 2 years ago

We may need to made the repo of dependened package (https://github.com/fluidex/solidity_recursive_plonk_verifier.git) solidity_recursive_plonk_verifier being public

codecov-commenter commented 2 years ago

Codecov Report

Merging #117 (c482551) into master (9b0e6c0) will increase coverage by 2.84%. The diff coverage is 23.52%.

:exclamation: Current head c482551 differs from pull request most recent head 9ebf964. Consider uploading reports for the commit 9ebf964 to get more accurate results Impacted file tree graph

@@            Coverage Diff             @@
##           master     #117      +/-   ##
==========================================
+ Coverage   52.26%   55.11%   +2.84%     
==========================================
  Files           9        8       -1     
  Lines         530      499      -31     
==========================================
- Hits          277      275       -2     
+ Misses        253      224      -29
Impacted Files Coverage Δ
src/reader.rs 33.91% <0.00%> (ø)
src/recursive/mod.rs 0.00% <0.00%> (ø)
src/plonk.rs 64.28% <33.33%> (-1.60%) :arrow_down:
src/r1cs_file.rs 93.61% <100.00%> (ø)

Continue to review full report at Codecov.

Legend - Click here to learn more Δ = absolute <relative> (impact), ø = not affected, ? = missing data Powered by Codecov. Last update 9b0e6c0...9ebf964. Read the comment docs.