Skip to content

Experiments on witness generator#6

Closed
recmo wants to merge 1 commit intomainfrom
recmo/witgen-experiments
Closed

Experiments on witness generator#6
recmo wants to merge 1 commit intomainfrom
recmo/witgen-experiments

Conversation

@recmo
Copy link
Copy Markdown
Contributor

@recmo recmo commented Mar 31, 2025

No description provided.

@recmo recmo closed this Apr 3, 2025
@recmo recmo deleted the recmo/witgen-experiments branch April 3, 2025 15:32
Bisht13 added a commit that referenced this pull request Feb 20, 2026
…cross-evals, PrefixCovector tests

- Remove R1CSSolver trait, convert test_witness_satisfaction to free fn (#3)
- Make w2_layers compression conditional on has_challenges (#4)
- Parallelize cross-evaluation dot products with rayon::join (~12% prove speedup) (#6)
- Add debug_assert in PrefixCovector::accumulate (#11)
- Add PrefixCovector unit tests: size, mle_evaluate, accumulate, prefix=logical (#2)
- Fix clippy: &mut Vec -> &mut [] in solve_witness_vec
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.

1 participant