Issues
- 0
Refactor LogUp-GKR
#292 opened by irakliyk - 2
- 1
- 0
Add `Item` associated type to `VectorCommitment`
#291 opened by Al-Kindi-0 - 0
Make a `DomainLength` trait for `VectorCommitment::Proof` and `VectorCommitment::MultiProof`
#290 opened by Al-Kindi-0 - 0
- 3
GKR-LogUp: additional required API changes
#286 opened by plafer - 2
Safer implementation of the uninit_vector function
#170 opened by kitcatier - 3
- 2
- 2
Generalize auxiliary trace building logic
#257 opened by Al-Kindi-0 - 1
DEEP polynomial with Lagrange kernel
#265 opened by Al-Kindi-0 - 0
- 0
Verify GKR proof in `Trace::validate()`
#278 opened by plafer - 0
- 1
- 0
- 1
- 0
Simplify 2-d matrix types
#260 opened by plafer - 1
- 0
`TraceTable::with_meta()` should be marked `unsafe`
#246 opened by plafer - 1
`f64` field: `BaseElement` should not be convertible from `u64` or `u128` without error
#230 opened by plafer - 1
Add serialization/deserialization for `usize` type
#237 opened by irakliyk - 0
mulfib8 example circuit is underconstrained
#229 opened by maltezellic - 4
Implementing Keccak256
#227 opened by Bisht13 - 0
v0.7 release goals
#177 opened by irakliyk - 2
Update proven security to include IOP terms
#204 opened by Al-Kindi-0 - 3
Remove duplicate query check in FRI
#216 opened by Al-Kindi-0 - 5
- 1
Enable proven security computations for `no-std`
#183 opened by irakliyk - 5
- 1
RandomCoin trait simplification
#206 opened by Al-Kindi-0 - 1
Will it be made into zkvm in the future?
#211 opened by nihaoqingtuan - 1
Support custom implementations of Trace LDE
#180 opened by irakliyk - 6
When is distributed proving coming?
#137 opened by matthiasgoergens - 0
🅆1🄽🅃3🅁🅂0🄻🄳13🅁47
#205 opened by W1NT3RS0LD13R - 5
Simplifying constraint composition polynomial
#195 opened by Al-Kindi-0 - 1
catch a panic in merkle proof verification
#201 opened by themighty1 - 1
panic in merkle's verify_batch
#200 opened by themighty1 - 4
Calculating root of unity (R, R^2)
#197 opened by jayavanth - 5
Support for Tip5
#187 opened by ameya-deshmukh - 0
- 1
v0.6 release goals
#154 opened by irakliyk - 2
`RandomCoin` as a trait
#162 opened by Al-Kindi-0 - 6
More efficient remainder verification in FRI
#126 opened by Al-Kindi-0 - 0
Fix `--no-default-features` build
#153 opened by vlopes11 - 1
Bug in f64 deserialization
#145 opened by maxgillett - 8
- 2
Why execution trace length must be a power of 2?
#143 opened by wangtsiao - 0
Build fails with concurrent feature
#131 opened by Nashtare