Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Boost verifier #835

Merged
merged 1 commit into from
Aug 8, 2024
Merged

Boost verifier #835

merged 1 commit into from
Aug 8, 2024

Conversation

xevisalle
Copy link
Member

Resolves: #834

Copy link

codecov bot commented Aug 8, 2024

Codecov Report

Attention: Patch coverage is 95.45455% with 1 line in your changes missing coverage. Please review.

Project coverage is 85.44%. Comparing base (dc1d229) to head (522abf2).

Files Patch % Lines
src/proof_system/proof.rs 95.45% 1 Missing ⚠️
Additional details and impacted files

Impacted file tree graph

@@           Coverage Diff           @@
##           master     #835   +/-   ##
=======================================
  Coverage   85.44%   85.44%           
=======================================
  Files          57       57           
  Lines        3723     3725    +2     
=======================================
+ Hits         3181     3183    +2     
  Misses        542      542           
Files Coverage Δ
src/proof_system/proof.rs 95.23% <95.45%> (+0.05%) ⬆️

Continue to review full report in Codecov by Sentry.

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

CHANGELOG.md Outdated Show resolved Hide resolved
@@ -34,7 +34,7 @@ as the documentation regarding the data structures that it exports. To check thi
Benchmarks taken on `Apple M1`, for a circuit-size of `2^16` constraints:

- Proving time: `7.871s`
- Verification time: `3.732ms` **(This time does not vary depending on the circuit-size.)**
- Verification time: `2.821ms` **(This time does not vary depending on the circuit-size.)**
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

super!!

@xevisalle xevisalle merged commit 4c345c6 into master Aug 8, 2024
9 checks passed
@xevisalle xevisalle deleted the boost_verifier branch August 8, 2024 14:13
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Improve verifier time
2 participants