lambdaworks
lambdaworks copied to clipboard
lambdaclass
lambdaworks offers implementations for both SNARKs and STARKs provers, along with the flexibility to leverage their individual components for constructing customized SNARKs.
The current [list of features](https://github.com/lambdaclass/lambdaworks?tab=readme-ov-file#list-of-features) compares Lambdaworks, Arkworks, Halo2, gnark, Constantine. Should I also add [Plonky3](https://github.com/Plonky3/Plonky3?tab=readme-ov-file#status) to this comparison as it has support for many listed fields, hashes, and PC...
[This function](https://github.com/lambdaclass/lambdaworks/blob/main/math/src/elliptic_curve/short_weierstrass/curves/bn_254/compression.rs#L68) is about x10 times slower than its correspondent in [rust-kzg-bn254](https://github.com/lambdaclass/rust-kzg-bn254/blob/master/src/helpers.rs#L267) which uses `ark_bn254`.
# Bug Report **lambdaworks-math version:** [021c3b6](https://github.com/lambdaclass/lambdaworks/commit/021c3b66de310aa7cc5af8e392cb958caadfae74) **Current behavior:** [`FieldElement`](https://github.com/lambdaclass/lambdaworks/blob/021c3b66de310aa7cc5af8e392cb958caadfae74/math/src/field/element.rs#L40) does not implement any zeroizing when it is dropped, opening the door for potential memory read attacks on sensitive information such...
Refactor crates/provers/stark/src/prover.rs commit_composition_polynomial to construct final Merkle leaf rows in a single pass using reverse_index(2i) and reverse_index(2i+1) for each part, removing the previous transpose + bit-reverse + merge pipeline and...
Replaced the cloning of FriLayer with a safe move by first copying the Merkle root ([u8; 32] Copy) into a local variable, then pushing the layer into the list and...
- Provide in-place operations. - Review and improve return types for basic functions.
Investigate adding support for these types of primes
- Refactor addition and subtraction implementations. - Implement new algorithms for multiplication and inversion. - Refactor utility functions.
Metadata
Owner
Metadata
lambdaworks offers implementations for both SNARKs and STARKs provers, along with the flexibility to leverage their individual components for constructing customized SNARKs.