facebook/winterfell

View on GitHub

A STARK prover and verifier for arbitrary computations

Stars: 903
Forks: 233
Open beginner issues: 0
Indexed issues: 49

Dominant language: Rust
License: MIT
Last GitHub push: Jul 19, 2025
Latest indexed: Sep 15, 2026
Contributing guide: Contributing guide
Code of conduct: Code of conduct
Beginner labels: No beginner labels indexed
PR merge metrics: No merged PRs in 30d

Beginner friendly Everything

Open All

49 open issues indexed

Docs: constraint degree calculation and constant-column edge case Open

Difficulty 3/5 1-2 days Newbie friendliness 55/100

facebook/winterfell#412 · Opened Jul 27, 2026
Out-of-core proving over f64 Open

Difficulty 5/5 Over a week Newbie friendliness 25/100

facebook/winterfell#411 · Opened Jun 9, 2026
Make Digest trait generic over output size Open

Difficulty 4/5 3-5 days Newbie friendliness 35/100

facebook/winterfell#406 · 1 comment · Opened Dec 9, 2025
Proposal: In-circuit Winterfell STARK verifier (R1CS/arkworks) for review and potential upstream inclusion Open

Difficulty 5/5 Over a week Newbie friendliness 25/100

facebook/winterfell#404 · Opened Nov 10, 2025
Strange behavior of periodic columns Open

Difficulty 4/5 3-5 days Newbie friendliness 35/100

facebook/winterfell#397 · Opened Aug 4, 2025
`uninit_vector` should return `Vec<MaybeUninit<T>>` Open

Difficulty 3/5 1-2 days Newbie friendliness 55/100

facebook/winterfell#396 · 3 comments · Opened Jul 29, 2025
Consider renaming `BaseElement::as_int` to `BaseElement::to_u64` Open

Difficulty 3/5 1-2 days Newbie friendliness 48/100

facebook/winterfell#387 · Opened Jul 2, 2025
No way to privately report security issues without Facebook account Open

Difficulty 5/5 Over a week Newbie friendliness 25/100

facebook/winterfell#384 · Opened Jun 14, 2025
Avoid potential panic in `read_many` deserialization Open

Difficulty 2/5 1-3 hours Newbie friendliness 48/100

facebook/winterfell#377 · 2 comments · Opened Apr 16, 2025
Add support for more general boundary constraints Open

Difficulty 5/5 Over a week Newbie friendliness 30/100

facebook/winterfell#376 · Opened Apr 15, 2025
Using `winterfell` for neural networks Open

Difficulty 5/5 Over a week Newbie friendliness 25/100

facebook/winterfell#375 · 2 comments · Opened Apr 11, 2025
Consider revisiting `DeserializationError` design Open

Difficulty 5/5 Over a week Newbie friendliness 30/100

facebook/winterfell#374 · 1 comment · 1 reaction · Opened Apr 1, 2025
Refactor how we construct `ProofOptions` using a builder pattern Open

Difficulty 5/5 Over a week Newbie friendliness 25/100

facebook/winterfell#364 · Opened Feb 6, 2025
Change `VerifierChannel:read_trace_commitments()` to return `(H::Digest, Option<H::Digest>)` Open

Difficulty 3/5 1-2 days Newbie friendliness 35/100

facebook/winterfell#360 · Opened Feb 1, 2025
implementation of bitwise operators Open

Difficulty 5/5 Over a week Newbie friendliness 20/100

facebook/winterfell#355 · Opened Dec 25, 2024
Change `evaluate_query()` Open

Difficulty 4/5 3-5 days Newbie friendliness 25/100

facebook/winterfell#330 · Opened Sep 20, 2024
Parallelize evaluation of circuit in LogUp-GKR Open

Difficulty 4/5 3-5 days Newbie friendliness 35/100

facebook/winterfell#323 · Opened Sep 19, 2024
Pass the evaluation domain into the constructor for constraint evaluation Open

Difficulty 4/5 3-5 days Newbie friendliness 25/100

facebook/winterfell#320 · Opened Sep 17, 2024
Re-add the associated type to the `Air` trait for `LogUpGkrEvaluator`. Open

Difficulty 4/5 3-5 days Newbie friendliness 35/100

facebook/winterfell#318 · Opened Sep 17, 2024
Optimize handling of periodic column multi-linear extension for sum-check prover Open

Difficulty 4/5 3-5 days Newbie friendliness 32/100

facebook/winterfell#310 · Opened Sep 9, 2024
Optimize construction of multi-linear polynomials for final sum-check Open

Difficulty 5/5 Over a week Newbie friendliness 25/100

facebook/winterfell#303 · Opened Aug 21, 2024
Reduce code duplication in the sum-check crate Open

Difficulty 5/5 Over a week Newbie friendliness 25/100

facebook/winterfell#300 · Opened Aug 19, 2024
Render Latex in docs Open

Difficulty 3/5 1-2 days Newbie friendliness 35/100

facebook/winterfell#298 · 2 comments · Opened Aug 16, 2024
Refactor LogUp-GKR Open

enhancement

Difficulty 5/5 Over a week Newbie friendliness 20/100

facebook/winterfell#292 · Opened Jul 17, 2024
Add `Item` associated type to `VectorCommitment` Open

Difficulty 5/5 Over a week Newbie friendliness 25/100

facebook/winterfell#291 · Opened Jul 2, 2024
Make a `DomainLength` trait for `VectorCommitment::Proof` and `VectorCommitment::MultiProof` Open

Difficulty 3/5 1-2 days Newbie friendliness 45/100

facebook/winterfell#290 · Opened Jul 2, 2024
Add `Sync` as a required trait for `ElementHasher`. Open

Difficulty 3/5 1-2 days Newbie friendliness 35/100

facebook/winterfell#289 · Opened Jul 2, 2024
FFT-based division to improve DEEP composition polynomial computation Open

Difficulty 5/5 Over a week Newbie friendliness 30/100

facebook/winterfell#281 · 1 reaction · Opened May 9, 2024
Verify GKR proof in `Trace::validate()` Open

Difficulty 4/5 3-5 days Newbie friendliness 30/100

facebook/winterfell#278 · Opened May 6, 2024
`Proof::security_leve()` should take into account auxiliary proof Open

Difficulty 4/5 3-5 days Newbie friendliness 30/100

facebook/winterfell#273 · Opened May 2, 2024
`Deserializable` should have an associated type error Open

Difficulty 4/5 3-5 days Newbie friendliness 35/100

facebook/winterfell#269 · Opened Apr 4, 2024
Consider using the standard benchmark harness instead of criterion Open

Difficulty 5/5 Over a week Newbie friendliness 32/100

facebook/winterfell#264 · 1 comment · Opened Mar 23, 2024
Simplify 2-d matrix types Open

Difficulty 5/5 Over a week Newbie friendliness 30/100

facebook/winterfell#260 · Opened Mar 14, 2024
`TraceTable::with_meta()` should be marked `unsafe` Open

Difficulty 3/5 1-2 days Newbie friendliness 48/100

facebook/winterfell#246 · Opened Feb 15, 2024
mulfib8 example circuit is underconstrained Open

Difficulty 1/5 Under an hour Newbie friendliness 55/100

facebook/winterfell#229 · 1 reaction · Opened Nov 20, 2023
Implementing Keccak256 Open

Difficulty 5/5 Over a week Newbie friendliness 25/100

facebook/winterfell#227 · 4 comments · Opened Nov 5, 2023
panic in merkle's verify_batch Open

Difficulty 3/5 1-2 days Newbie friendliness 35/100

facebook/winterfell#200 · 1 comment · Opened May 15, 2023
Support for Tip5 Open

Difficulty 5/5 Over a week Newbie friendliness 25/100

facebook/winterfell#187 · 5 comments · Opened Apr 15, 2023
Safer implementation of the uninit_vector function Open

Difficulty 4/5 3-5 days Newbie friendliness 35/100

facebook/winterfell#170 · 2 comments · Opened Mar 21, 2023
Proposal: Extending StarkField to any finite field with large 2-adicity Open

enhancement

Difficulty 5/5 Over a week Newbie friendliness 25/100

facebook/winterfell#156 · 3 reactions · Opened Feb 23, 2023
merkle consistency proofs Open

Difficulty 5/5 Over a week Newbie friendliness 25/100

facebook/winterfell#123 · 5 comments · Opened Dec 1, 2022
Composition's poly expected degree mismatch Open

Difficulty 4/5 3-5 days Newbie friendliness 30/100

facebook/winterfell#98 · 2 comments · Opened Jun 17, 2022
Custom evaluation frames Open

enhancement

Difficulty 5/5 Over a week Newbie friendliness 35/100

facebook/winterfell#80 · 3 comments · 3 reactions · Opened Apr 4, 2022
Port Examples To Separate Repository. Open

Difficulty 5/5 Over a week Newbie friendliness 25/100

facebook/winterfell#66 · 4 comments · Opened Nov 16, 2021
Javascript Bindings Open

enhancement

Difficulty 4/5 3-5 days Newbie friendliness 25/100

facebook/winterfell#53 · 2 comments · Opened Aug 20, 2021
[FRI] First FRI layer handling Open

enhancement

Difficulty 4/5 3-5 days Newbie friendliness 35/100

facebook/winterfell#40 · Opened Jul 19, 2021
[FRI] Dynamic layer folding Open

enhancement

Difficulty 5/5 Over a week Newbie friendliness 35/100

facebook/winterfell#39 · Opened Jul 19, 2021
[crypto] Verkle tree commitments Open

enhancement

facebook/winterfell#38 · 2 comments · 2 reactions · 1 assignee · Opened Jul 19, 2021
Implement perfect zero-knowledge Open

enhancement

Difficulty 5/5 Over a week Newbie friendliness 25/100

facebook/winterfell#9 · 9 comments · 5 reactions · Opened Apr 28, 2021

facebook/winterfell

Get new issues in your inbox