Search results

Out-of-core proving over f64

Status: Open.

#411 In facebook/winterfell;

· nzengi opened on Jun 9, 2026

Make Digest trait generic over output size

Status: Open.

#406 In facebook/winterfell;

· Farukest opened on Dec 9, 2025

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

Status: Open.

#404 In facebook/winterfell;

· sidhujag opened on Nov 10, 2025

Strange behavior of periodic columns

Status: Open.

#397 In facebook/winterfell;

· iStrannik opened on Aug 4, 2025

uninit_vector should return Vec<MaybeUninit<T>>

Status: Open.

#396 In facebook/winterfell;

· plafer opened on Jul 29, 2025

Consider renaming BaseElement::as_int to BaseElement::to_u64

Status: Open.

#387 In facebook/winterfell;

· PhilippGackstatter opened on Jul 2, 2025

No way to privately report security issues without Facebook account

Status: Open.

#384 In facebook/winterfell;

· maltesl opened on Jun 14, 2025

Avoid potential panic in read_many deserialization

Status: Open.

#377 In facebook/winterfell;

· PhilippGackstatter opened on Apr 16, 2025

Add support for more general boundary constraints

Status: Open.

#376 In facebook/winterfell;

· Al-Kindi-0 opened on Apr 15, 2025

Using winterfell for neural networks

Status: Open.

#375 In facebook/winterfell;

· timk11 opened on Apr 11, 2025

Consider revisiting DeserializationError design

Status: Open.

#374 In facebook/winterfell;

· PhilippGackstatter opened on Apr 1, 2025

Refactor how we construct ProofOptions using a builder pattern

Status: Open.

#364 In facebook/winterfell;

· Al-Kindi-0 opened on Feb 6, 2025