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.
Add Merkle Mountain Range. It should be done using the merkle tree backends.
There are a series of optimizations that can be applied to MSM that are not leveraged right now. The following can be implemented and benched, with the fastest setted to...
Follow [this](https://eprint.iacr.org/2020/875.pdf) paper (page 14) to raise the result of the easy part to the power $3\Phi_{12}(p)/r$. Use a mix of [GS cyclotomic squaring](https://eprint.iacr.org/2009/565.pdf) and [Karabina's cyclotomic square](https://eprint.iacr.org/2009/565.pdf) for faster...
Curves are hidden in the short weierstrass form, they should be easier to access. A link to their fields should be added to the main list of fields
FTT/NTT is a bottleneck for some provers, any improvement in this operations is really useful - [ ] Bench against plonky2 architecture specific implementation of inplace bit reversal https://github.com/0xPolygonZero/plonky2/blob/a9060e61b8004525b6f84c69dd21ad1a5cd1c3b2/util/src/lib.rs#L110 -...
Referencing: https://github.com/lurk-lab/arecibo/issues/99 and http://bgillespie.com/doc/multilinear-evaluation.pdf Implement and benchmark the DenseMultilinearPoly::evaluate() using algorithm 4.
Round 1 of the Stark prover is one of the rounds that takes more time. We need to: - [ ] Add instruments to easily check where the time is...
Winterfell adapter is working with an old version of the Stark prover, it needs to be updated to the latest one, which has a new definition of the constraints
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.