Issues

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

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

• Out-of-core proving over f64

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

• Make Digest trait generic over output size

  facebook/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

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

• Strange behavior of periodic columns

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

• uninit_vector should return Vec<MaybeUninit<T>>

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

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

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

• No way to privately report security issues without Facebook account

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

• Avoid potential panic in read_many deserialization

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

• Add support for more general boundary constraints

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

• Using winterfell for neural networks

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

• Consider revisiting DeserializationError design

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

• Refactor how we construct ProofOptions using a builder pattern

  facebook/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>)

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

• implementation of bitwise operators

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

• Change evaluate_query()

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

• Parallelize evaluation of circuit in LogUp-GKR

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

• Pass the evaluation domain into the constructor for constraint evaluation

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

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

  facebook/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

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

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

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

• Reduce code duplication in the sum-check crate

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

• Render Latex in docs

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

• Refactor LogUp-GKR

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

• Add Item associated type to VectorCommitment

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