Issues

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

  meta/winterfell#412 · Filter by author atoranzo opened on Jul 27, 2026

• Out-of-core proving over f64

  meta/winterfell#411 · Filter by author nzengi opened on Jun 9, 2026

• Make Digest trait generic over output size

  meta/winterfell#406 · Filter by author Farukest opened on Dec 9, 2025
  1

• Proposal: In-circuit Winterfell STARK verifier (R1CS/arkworks) for review and potential upstream inclusion

  meta/winterfell#404 · Filter by author sidhujag opened on Nov 10, 2025

• Strange behavior of periodic columns

  meta/winterfell#397 · Filter by author iStrannik opened on Aug 4, 2025

• uninit_vector should return Vec<MaybeUninit<T>>

  meta/winterfell#396 · Filter by author plafer opened on Jul 29, 2025
  3

• Consider renaming BaseElement::as_int to BaseElement::to_u64

  meta/winterfell#387 · Filter by author PhilippGackstatter opened on Jul 2, 2025

• No way to privately report security issues without Facebook account

  meta/winterfell#384 · Filter by author maltesl opened on Jun 14, 2025

• Avoid potential panic in read_many deserialization

  meta/winterfell#377 · Filter by author PhilippGackstatter opened on Apr 16, 2025
  2

• Add support for more general boundary constraints

  meta/winterfell#376 · Filter by author Al-Kindi-0 opened on Apr 15, 2025

• Using winterfell for neural networks

  meta/winterfell#375 · Filter by author timk11 opened on Apr 11, 2025
  2

• Consider revisiting DeserializationError design

  meta/winterfell#374 · Filter by author PhilippGackstatter opened on Apr 1, 2025
  1

• Refactor how we construct ProofOptions using a builder pattern

  meta/winterfell#364 · Filter by author Al-Kindi-0 opened on Feb 6, 2025

• Change VerifierChannel:read_trace_commitments() to return (H::Digest, Option<H::Digest>)

  meta/winterfell#360 · Filter by author Al-Kindi-0 opened on Feb 1, 2025

• implementation of bitwise operators

  meta/winterfell#355 · Filter by author iStrannik opened on Dec 25, 2024

• Change evaluate_query()

  meta/winterfell#330 · Filter by author Al-Kindi-0 opened on Sep 20, 2024

• Parallelize evaluation of circuit in LogUp-GKR

  meta/winterfell#323 · Filter by author Al-Kindi-0 opened on Sep 19, 2024

• Pass the evaluation domain into the constructor for constraint evaluation

  meta/winterfell#320 · Filter by author Al-Kindi-0 opened on Sep 17, 2024

• Re-add the associated type to the Air trait for LogUpGkrEvaluator.

  meta/winterfell#318 · Filter by author Al-Kindi-0 opened on Sep 17, 2024

• Optimize handling of periodic column multi-linear extension for sum-check prover

  meta/winterfell#310 · Filter by author Al-Kindi-0 opened on Sep 9, 2024

• Optimize construction of multi-linear polynomials for final sum-check

  meta/winterfell#303 · Filter by author Al-Kindi-0 opened on Aug 21, 2024

• Reduce code duplication in the sum-check crate

  meta/winterfell#300 · Filter by author Al-Kindi-0 opened on Aug 19, 2024

• Render Latex in docs

  meta/winterfell#298 · Filter by author plafer opened on Aug 16, 2024
  2

• Refactor LogUp-GKR

  enhancement
  meta/winterfell#292 · Filter by author irakliyk opened on Jul 17, 2024

• Add Item associated type to VectorCommitment

  meta/winterfell#291 · Filter by author Al-Kindi-0 opened on Jul 2, 2024