Skip to content

Adds gnark-whir recursive verifier#110

Merged
batmendbar merged 11 commits into
mainfrom
add-recursive-verifier
Jun 2, 2025
Merged

Adds gnark-whir recursive verifier#110
batmendbar merged 11 commits into
mainfrom
add-recursive-verifier

Conversation

@batmendbar
Copy link
Copy Markdown
Collaborator

Adds the recursive verifier codebase that was previously hosted at https://github.com/reilabs/gnark-whir

@batmendbar batmendbar requested review from kustosz and recmo May 29, 2025 11:51
@Dzejkop
Copy link
Copy Markdown
Collaborator

Dzejkop commented May 29, 2025

Cool! Let's add CI workflows for Golang

@codspeed-hq
Copy link
Copy Markdown

codspeed-hq Bot commented May 29, 2025

CodSpeed Walltime Performance Report

Merging #110 will improve performances by ×25

Comparing add-recursive-verifier (2c857ab) with main (9a9656a)

⚠️ Unknown Walltime execution environment detected

Using the Walltime instrument on standard Hosted Runners will lead to inconsistent data.

For the most accurate results, we recommend using CodSpeed Macro Runners: bare-metal machines fine-tuned for performance measurement consistency.

Summary

⚡ 10 improvements
✅ 20 untouched benchmarks

Benchmarks breakdown

Benchmark BASE HEAD Change
ark_ff 6.3 µs 3.2 µs +99.65%
block_mul 4,092 ns 165 ns ×25
montgomery_interleaved_3 3.8 µs 1.9 µs +98.79%
montgomery_interleaved_4 6.3 µs 3.2 µs +98.13%
scalar_mul 6.1 µs 3.1 µs +99.09%
simd_mul 7.1 µs 1.8 µs ×3.9
ark_ff 5.2 µs 2.6 µs +98.24%
block_sqr 5.8 µs 2.9 µs +97.22%
scalar_sqr 5 µs 2.5 µs +98.14%
simd_sqr 5.4 µs 2.7 µs +97.56%

@batmendbar batmendbar force-pushed the add-recursive-verifier branch from 17c4bf8 to 2c857ab Compare May 30, 2025 09:32
Comment thread gnark-whir/README.md Outdated
@batmendbar batmendbar merged commit 3774c6f into main Jun 2, 2025
2 of 3 checks passed
@batmendbar batmendbar deleted the add-recursive-verifier branch June 23, 2025 08:23
dcbuild3r pushed a commit that referenced this pull request May 16, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants