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

#341 - Implement `core::error::Error` for all error types

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

#341 - Implement `core::error::Error` for all error types

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

#341 - Implement `core::error::Error` for all error types

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

#341 - Implement `core::error::Error` for all error types

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

#341 - Implement `core::error::Error` for all error types

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

#341 - Implement `core::error::Error` for all error types

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

#340 - Multi GPU partition fixes

Pull Request - State: open - Opened by gswirski 8 days ago - 2 comments
Labels: cla signed

#340 - Multi GPU partition fixes

Pull Request - State: open - Opened by gswirski 8 days ago - 2 comments
Labels: cla signed

#340 - Multi GPU partition fixes

Pull Request - State: open - Opened by gswirski 8 days ago - 2 comments
Labels: cla signed

#340 - Multi GPU partition fixes

Pull Request - State: open - Opened by gswirski 8 days ago - 2 comments
Labels: cla signed

#340 - Multi GPU partition fixes

Pull Request - State: open - Opened by gswirski 8 days ago - 2 comments
Labels: cla signed

#340 - Multi GPU partition fixes

Pull Request - State: open - Opened by gswirski 8 days ago - 2 comments
Labels: cla signed

#339 - use number of partitions for buffer allocation instead of partition size

Pull Request - State: closed - Opened by TheMenko 15 days ago - 4 comments
Labels: cla signed

#338 - Fix partition hashing

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

#337 - fixed maybe-async dependency

Pull Request - State: closed - Opened by irakliyk 27 days ago
Labels: cla signed

#336 - Option for partitioned trace committment

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

#336 - Option for partitioned trace committment

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

#334 - feat: Add `maybe_async_trait`

Pull Request - State: closed - Opened by igamigo about 2 months ago - 2 comments

#333 - Parallel circuits GKR

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

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

Pull Request - State: closed - Opened by PhilippGackstatter about 2 months ago - 1 comment
Labels: cla signed

#331 - Fix bug parallel execution of input layer proving

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

#330 - Change `evaluate_query()`

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

#329 - Improve construction of MLEs from main trace segment

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

#328 - Reduce degree of sum-check round polynomials

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

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

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

#326 - Parallelize s-column generation

Pull Request - State: closed - Opened by Al-Kindi-0 2 months 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 2 months ago
Labels: cla signed

#324 - Parallelize input layer generation

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

#323 - Parallelize evaluation of circuit in LogUp-GKR

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

#322 - Add tracing for auxiliary segment

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

#321 - Add instrumentation

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

#319 - Optimize `bind_least_significant_variable`

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

#317 - Parallelize Lagrange constraints evaluation

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

#316 - Parallelize Lagrange constraints evaluation

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

#315 - Add LogUp-GKR benchmark

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

#314 - Cleanup AirContext

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

#313 - Remove duplicate degree check

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

#312 - Fix degree checks

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

#311 - Update constraint degree checks

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

#309 - fix: incorrect read_slice impl for ReadAdapter

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

#308 - ReadAdapter is broken

Issue - State: closed - Opened by bitwalker 3 months ago

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

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

#305 - Update constraint degree checks

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

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

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

#302 - Tracking PR for the LogUp-GKR integration

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

#301 - Improve benchmarks in sum-check crate

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

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

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

#299 - Merge v0.9.1 release into next

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

#298 - Render Latex in docs

Issue - State: open - Opened by plafer 3 months 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 3 months ago
Labels: cla signed

#296 - GKR backend for LogUp-GKR

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

#295 - Sumcheck IOP for LogUp-GKR

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

#294 - Add multi-linear polynomial support

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

#293 - Adding zero-knowledge

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

#292 - Refactor LogUp-GKR

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

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

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

#288 - Final LogUp-GKR fixes

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

#287 - Fix GKR-LogUp API

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

#286 - GKR-LogUp: additional required API changes

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

#285 - Abstract over the vector commitment scheme

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

#284 - Tracking PR for v0.10 release

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

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

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

#282 - Remove un-needed vector utilities

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

#280 - Introduce async `Prover`

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

#279 - Tracking PR for v0.9 release

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

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

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

#277 - `group_vector_elements` panics during account code compilation

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

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

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

#275 - Introduce `AsyncProver`

Pull Request - State: closed - Opened by plafer 7 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 7 months ago - 1 comment
Labels: cla signed

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

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

#271 - Generalize auxiliary trace building

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

#270 - CI: check msrv

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

#268 - f64: additional conversions

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

#267 - Explicitly only support 1 auxiliary segment

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

#266 - Refactor `TraceOodFrame`

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

#265 - DEEP polynomial with Lagrange kernel

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

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

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

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

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

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

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

#261 - Generalize `TransitionConstraints` and `BoundaryConstraints`

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

#260 - Simplify 2-d matrix types

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

#260 - Simplify 2-d matrix types

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

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

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

#258 - serde: add impl for String

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

#258 - serde: add impl for String

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

#257 - Generalize auxiliary trace building logic

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

#256 - Fix typos and broken links

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