issues
search
facebook
/
winterfell
A STARK prover and verifier for arbitrary computations
MIT License
773
stars
176
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
feat(utils): Implement `get_size_hint` for default impls
#332
PhilippGackstatter
closed
5 days ago
1
Fix bug parallel execution of input layer proving
#331
Al-Kindi-0
closed
3 days ago
0
Change `evaluate_query()`
#330
Al-Kindi-0
opened
1 week ago
0
Improve construction of MLEs from main trace segment
#329
Al-Kindi-0
closed
2 days ago
0
Reduce degree of sum-check round polynomials
#328
Al-Kindi-0
opened
1 week ago
0
Fixes multilinear built from a `NextRow` oracle
#327
plafer
closed
1 week ago
0
Parallelize s-column generation
#326
Al-Kindi-0
closed
3 days ago
0
Minor: Documentation of the default prover/verifier example causes issue in rust analyser
#325
radicleart
closed
1 week ago
0
Parallelize input layer generation
#324
Al-Kindi-0
closed
1 week ago
1
Parallelize evaluation of circuit in LogUp-GKR
#323
Al-Kindi-0
opened
1 week ago
0
Add tracing for auxiliary segment
#322
Al-Kindi-0
closed
1 week ago
0
Add instrumentation
#321
Al-Kindi-0
closed
1 week ago
1
Pass the evaluation domain into the constructor for constraint evaluation
#320
Al-Kindi-0
opened
1 week ago
0
Optimize `bind_least_significant_variable`
#319
plafer
closed
1 week ago
2
Re-add the associated type to the `Air` trait for `LogUpGkrEvaluator`.
#318
Al-Kindi-0
opened
1 week ago
0
Parallelize Lagrange constraints evaluation
#317
Al-Kindi-0
closed
1 week ago
0
Parallelize Lagrange constraints evaluation
#316
Al-Kindi-0
closed
1 week ago
3
Add LogUp-GKR benchmark
#315
Al-Kindi-0
closed
1 week ago
0
Cleanup AirContext
#314
Al-Kindi-0
closed
2 weeks ago
0
Remove duplicate degree check
#313
Al-Kindi-0
closed
2 weeks ago
0
Fix degree checks
#312
Al-Kindi-0
closed
2 weeks ago
0
Update constraint degree checks
#311
Al-Kindi-0
closed
2 weeks ago
1
Optimize handling of periodic column multi-linear extension for sum-check prover
#310
Al-Kindi-0
opened
2 weeks ago
0
fix: incorrect read_slice impl for ReadAdapter
#309
bitwalker
closed
3 weeks ago
2
ReadAdapter is broken
#308
bitwalker
closed
3 weeks ago
0
Add support for periodic columns in LogUp-GKR
#307
Al-Kindi-0
closed
2 weeks ago
3
Move s-column constraint evaluation logic into the regular constraint evaluator
#306
Al-Kindi-0
closed
1 week ago
1
Update constraint degree checks
#305
Al-Kindi-0
closed
2 weeks ago
2
Add support for periodic columns in LogUp-GKR
#304
Al-Kindi-0
closed
3 weeks ago
1
Optimize construction of multi-linear polynomials for final sum-check
#303
Al-Kindi-0
opened
1 month ago
0
Tracking PR for the LogUp-GKR integration
#302
irakliyk
opened
1 month ago
0
Improve benchmarks in sum-check crate
#301
Al-Kindi-0
closed
1 week ago
1
Reduce code duplication in the sum-check crate
#300
Al-Kindi-0
opened
1 month ago
0
Merge v0.9.1 release into next
#299
irakliyk
closed
1 month ago
0
Render Latex in docs
#298
plafer
opened
1 month ago
2
Add support for s-column as part of the support for LogUp-GKR
#297
Al-Kindi-0
closed
3 weeks ago
0
GKR backend for LogUp-GKR
#296
Al-Kindi-0
closed
1 month ago
0
Sumcheck IOP for LogUp-GKR
#295
Al-Kindi-0
closed
1 month ago
5
Add multi-linear polynomial support
#294
Al-Kindi-0
closed
1 month ago
0
Adding zero-knowledge
#293
Al-Kindi-0
opened
2 months ago
0
Refactor LogUp-GKR
#292
irakliyk
opened
2 months ago
0
Add `Item` associated type to `VectorCommitment`
#291
Al-Kindi-0
opened
3 months ago
0
Make a `DomainLength` trait for `VectorCommitment::Proof` and `VectorCommitment::MultiProof`
#290
Al-Kindi-0
opened
3 months ago
0
Add `Sync` as a required trait for `ElementHasher`.
#289
Al-Kindi-0
opened
3 months ago
0
Final LogUp-GKR fixes
#288
plafer
closed
2 weeks ago
4
Fix GKR-LogUp API
#287
plafer
closed
3 months ago
0
GKR-LogUp: additional required API changes
#286
plafer
closed
3 months ago
3
Abstract over the vector commitment scheme
#285
Al-Kindi-0
closed
2 months ago
3
Tracking PR for v0.10 release
#284
irakliyk
opened
3 months ago
0
Swapped `maybe-async` for `maybe-async-await`
#283
phklive
closed
3 months ago
2
Next