Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / facebook/winterfell issues and pull requests

#332 - feat(utils): Implement `get_size_hint` for default impls

Pull Request - State: closed - Opened by PhilippGackstatter 5 days ago - 1 comment
Labels: cla signed

#331 - Fix bug parallel execution of input layer proving

Pull Request - State: closed - Opened by Al-Kindi-0 5 days ago
Labels: cla signed

#330 - Change `evaluate_query()`

Issue - State: open - Opened by Al-Kindi-0 9 days ago

#329 - Improve construction of MLEs from main trace segment

Pull Request - State: closed - Opened by Al-Kindi-0 9 days ago
Labels: cla signed

#328 - Reduce degree of sum-check round polynomials

Pull Request - State: open - Opened by Al-Kindi-0 9 days ago
Labels: cla signed

#327 - Fixes multilinear built from a `NextRow` oracle

Pull Request - State: closed - Opened by plafer 9 days ago
Labels: cla signed

#326 - Parallelize s-column generation

Pull Request - State: closed - Opened by Al-Kindi-0 9 days ago
Labels: cla signed

#325 - Minor: Documentation of the default prover/verifier example causes issue in rust analyser

Pull Request - State: closed - Opened by radicleart 9 days ago
Labels: cla signed

#324 - Parallelize input layer generation

Pull Request - State: closed - Opened by Al-Kindi-0 10 days ago - 1 comment
Labels: cla signed

#323 - Parallelize evaluation of circuit in LogUp-GKR

Issue - State: open - Opened by Al-Kindi-0 11 days ago

#322 - Add tracing for auxiliary segment

Pull Request - State: closed - Opened by Al-Kindi-0 11 days ago
Labels: cla signed

#321 - Add instrumentation

Pull Request - State: closed - Opened by Al-Kindi-0 11 days ago - 1 comment
Labels: cla signed

#319 - Optimize `bind_least_significant_variable`

Pull Request - State: closed - Opened by plafer 12 days ago - 2 comments
Labels: cla signed

#317 - Parallelize Lagrange constraints evaluation

Pull Request - State: closed - Opened by Al-Kindi-0 13 days ago
Labels: cla signed

#316 - Parallelize Lagrange constraints evaluation

Pull Request - State: closed - Opened by Al-Kindi-0 16 days ago - 3 comments
Labels: cla signed

#315 - Add LogUp-GKR benchmark

Pull Request - State: closed - Opened by Al-Kindi-0 16 days ago
Labels: cla signed

#314 - Cleanup AirContext

Pull Request - State: closed - Opened by Al-Kindi-0 17 days ago
Labels: cla signed

#313 - Remove duplicate degree check

Pull Request - State: closed - Opened by Al-Kindi-0 17 days ago
Labels: cla signed

#312 - Fix degree checks

Pull Request - State: closed - Opened by Al-Kindi-0 17 days ago
Labels: cla signed

#311 - Update constraint degree checks

Pull Request - State: closed - Opened by Al-Kindi-0 18 days ago - 1 comment
Labels: cla signed

#309 - fix: incorrect read_slice impl for ReadAdapter

Pull Request - State: closed - Opened by bitwalker 23 days ago - 2 comments
Labels: cla signed

#308 - ReadAdapter is broken

Issue - State: closed - Opened by bitwalker 24 days ago

#307 - Add support for periodic columns in LogUp-GKR

Pull Request - State: closed - Opened by Al-Kindi-0 26 days ago - 3 comments
Labels: cla signed

#305 - Update constraint degree checks

Pull Request - State: closed - Opened by Al-Kindi-0 about 1 month ago - 2 comments
Labels: cla signed

#304 - Add support for periodic columns in LogUp-GKR

Pull Request - State: closed - Opened by Al-Kindi-0 about 1 month ago - 1 comment
Labels: cla signed

#302 - Tracking PR for the LogUp-GKR integration

Pull Request - State: open - Opened by irakliyk about 1 month ago
Labels: cla signed

#301 - Improve benchmarks in sum-check crate

Issue - State: closed - Opened by Al-Kindi-0 about 1 month ago - 1 comment

#300 - Reduce code duplication in the sum-check crate

Issue - State: open - Opened by Al-Kindi-0 about 1 month ago

#299 - Merge v0.9.1 release into next

Pull Request - State: closed - Opened by irakliyk about 1 month ago
Labels: cla signed

#298 - Render Latex in docs

Issue - State: open - Opened by plafer about 1 month ago - 2 comments

#297 - Add support for s-column as part of the support for LogUp-GKR

Pull Request - State: closed - Opened by Al-Kindi-0 about 2 months ago
Labels: cla signed

#296 - GKR backend for LogUp-GKR

Pull Request - State: closed - Opened by Al-Kindi-0 about 2 months ago
Labels: cla signed

#295 - Sumcheck IOP for LogUp-GKR

Pull Request - State: closed - Opened by Al-Kindi-0 about 2 months ago - 5 comments
Labels: cla signed

#294 - Add multi-linear polynomial support

Pull Request - State: closed - Opened by Al-Kindi-0 about 2 months ago
Labels: cla signed

#293 - Adding zero-knowledge

Pull Request - State: open - Opened by Al-Kindi-0 2 months ago
Labels: cla signed

#292 - Refactor LogUp-GKR

Issue - State: open - Opened by irakliyk 2 months ago
Labels: enhancement

#291 - Add `Item` associated type to `VectorCommitment`

Issue - State: open - Opened by Al-Kindi-0 3 months ago

#288 - Final LogUp-GKR fixes

Pull Request - State: closed - Opened by plafer 3 months ago - 4 comments
Labels: cla signed

#287 - Fix GKR-LogUp API

Pull Request - State: closed - Opened by plafer 3 months ago
Labels: cla signed

#286 - GKR-LogUp: additional required API changes

Issue - State: closed - Opened by plafer 3 months ago - 3 comments

#285 - Abstract over the vector commitment scheme

Pull Request - State: closed - Opened by Al-Kindi-0 4 months ago - 3 comments
Labels: cla signed

#284 - Tracking PR for v0.10 release

Pull Request - State: open - Opened by irakliyk 4 months ago
Labels: cla signed

#283 - Swapped `maybe-async` for `maybe-async-await`

Pull Request - State: closed - Opened by phklive 4 months ago - 2 comments
Labels: cla signed

#282 - Remove un-needed vector utilities

Pull Request - State: closed - Opened by irakliyk 5 months ago
Labels: cla signed

#280 - Introduce async `Prover`

Pull Request - State: closed - Opened by plafer 5 months ago - 1 comment
Labels: cla signed

#279 - Tracking PR for v0.9 release

Pull Request - State: closed - Opened by irakliyk 5 months ago
Labels: cla signed

#278 - Verify GKR proof in `Trace::validate()`

Issue - State: open - Opened by plafer 5 months ago

#277 - `group_vector_elements` panics during account code compilation

Issue - State: closed - Opened by JohnDonavon 5 months ago - 2 comments

#276 - Introduces an `async` version of `Prover`

Pull Request - State: closed - Opened by plafer 5 months ago
Labels: cla signed

#275 - Introduce `AsyncProver`

Pull Request - State: closed - Opened by plafer 5 months ago - 1 comment
Labels: cla signed

#274 - Include Lagrange kernel trace polynomial term into DEEP composition polynomial

Pull Request - State: closed - Opened by Al-Kindi-0 5 months ago - 1 comment
Labels: cla signed

#272 - felt u64: add conversion to/from usize

Pull Request - State: closed - Opened by hackaugusto 5 months ago
Labels: cla signed

#271 - Generalize auxiliary trace building

Pull Request - State: closed - Opened by plafer 5 months ago - 2 comments
Labels: cla signed

#270 - CI: check msrv

Pull Request - State: closed - Opened by hackaugusto 6 months ago
Labels: cla signed

#268 - f64: additional conversions

Pull Request - State: closed - Opened by hackaugusto 6 months ago
Labels: cla signed

#267 - Explicitly only support 1 auxiliary segment

Pull Request - State: closed - Opened by plafer 6 months ago
Labels: cla signed

#266 - Refactor `TraceOodFrame`

Pull Request - State: closed - Opened by plafer 6 months ago
Labels: cla signed

#265 - DEEP polynomial with Lagrange kernel

Issue - State: closed - Opened by Al-Kindi-0 6 months ago - 1 comment

#264 - Consider using the standard benchmark harness instead of criterion

Issue - State: open - Opened by plafer 6 months ago - 1 comment

#263 - fix: re-add unintentionally removed re-exported liballoc macros

Pull Request - State: closed - Opened by bitwalker 7 months ago - 2 comments
Labels: cla signed

#262 - feat: extend range of possible implementations of bytereader/bytewriter

Pull Request - State: closed - Opened by bitwalker 7 months ago - 8 comments
Labels: cla signed

#261 - Generalize `TransitionConstraints` and `BoundaryConstraints`

Issue - State: closed - Opened by plafer 7 months ago - 1 comment

#260 - Simplify 2-d matrix types

Issue - State: open - Opened by plafer 7 months ago

#260 - Simplify 2-d matrix types

Issue - State: open - Opened by plafer 7 months ago

#259 - Change fri remainder max degree to 127 for the example

Pull Request - State: closed - Opened by adambor 7 months ago - 2 comments
Labels: cla signed

#258 - serde: add impl for String

Pull Request - State: closed - Opened by hackaugusto 7 months ago
Labels: cla signed

#258 - serde: add impl for String

Pull Request - State: closed - Opened by hackaugusto 7 months ago
Labels: cla signed

#257 - Generalize auxiliary trace building logic

Issue - State: closed - Opened by Al-Kindi-0 7 months ago - 2 comments

#256 - Fix typos and broken links

Pull Request - State: closed - Opened by destinyae 7 months ago - 2 comments
Labels: cla signed

#255 - Update logging of auxiliary trace building

Pull Request - State: closed - Opened by Overcastan 7 months ago
Labels: cla signed

#254 - Remove Griffin hash

Pull Request - State: closed - Opened by Nashtare 7 months ago
Labels: cla signed

#253 - serde: add support for some of the alloc collections

Pull Request - State: closed - Opened by hackaugusto 7 months ago
Labels: cla signed

#252 - Suggestion: Remove outdated griffin hash implementation

Issue - State: closed - Opened by Nashtare 7 months ago - 1 comment

#251 - Support into iterator

Pull Request - State: closed - Opened by hackaugusto 7 months ago - 1 comment
Labels: cla signed

#250 - Add boxed module

Pull Request - State: closed - Opened by hackaugusto 7 months ago
Labels: cla signed

#249 - Fix vec string warnings

Pull Request - State: closed - Opened by hackaugusto 7 months ago - 2 comments
Labels: cla signed

#248 - clippy: Fix lint about TryFrom & TryInto

Pull Request - State: closed - Opened by hackaugusto 7 months ago - 2 comments
Labels: cla signed

#247 - Implement Lagrange kernel constraints

Pull Request - State: closed - Opened by plafer 8 months ago - 6 comments
Labels: cla signed

#246 - `TraceTable::with_meta()` should be marked `unsafe`

Issue - State: open - Opened by plafer 8 months ago

#245 - Merge `TraceLayout` into `TraceInfo`

Pull Request - State: closed - Opened by plafer 8 months ago - 3 comments
Labels: cla signed

#244 - Add `TryFrom<u64>` and `TryFrom<u128>` bounds to the `FieldElement` trait

Pull Request - State: closed - Opened by Overcastan 8 months ago
Labels: cla signed

#243 - Remove `From` impls resulting in silent field element conversions

Pull Request - State: closed - Opened by irakliyk 8 months ago
Labels: cla signed

#242 - Make dependence on number of openings explicit in security estimator

Pull Request - State: closed - Opened by Al-Kindi-0 9 months ago - 1 comment
Labels: cla signed

#241 - Implementation of Tracing logger

Pull Request - State: closed - Opened by Overcastan 9 months ago - 6 comments
Labels: cla signed

#240 - Accomodating more expressive transition constraints

Issue - State: closed - Opened by Al-Kindi-0 9 months ago - 3 comments

#239 - Remove `Serializable` and `Deserializable` implementations from slices and vecs

Pull Request - State: closed - Opened by irakliyk 9 months ago
Labels: cla signed

#238 - Implement serialization and deserialization for `usize` type

Pull Request - State: closed - Opened by Overcastan 9 months ago - 2 comments
Labels: cla signed

#237 - Add serialization/deserialization for `usize` type

Issue - State: closed - Opened by irakliyk 10 months ago - 1 comment

#236 - bugfix: StarkProof is not always the last element in a serialization buffer

Pull Request - State: closed - Opened by hackaugusto 10 months ago
Labels: cla signed

#235 - Adding copyright header to tests file

Pull Request - State: closed - Opened by kevinlewi 10 months ago
Labels: cla signed