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.
Currently public inputs are not given a pre verification. The following tasks improve robustness of the verifier: - [ ] Change the proving mode with a trace to actually use...
Add BN254 to Lambdaworks (ethereum altbn128) - [x] Add the finite field used by the curve, using MontgomeryBackend - [x] Add the curve - [x] Add the degree 2 extensión...
# Adds Hyrax PCS Scheme ## Description - Adds the Hyrax Multilinear PCS scheme. - Adds a new trait interface for polynomial commitments IsPolynomialCommitmentScheme (to be iterated on) - Modifies...
ref: https://github.com/a16z/arkworks-algebra/pull/2/files#diff-7830ebdf416f2ace973431d668eefbb8f115b76179c792dcc3a9b073a7a8dc2dR835
Ref: https://github.com/a16z/arkworks-algebra/pull/2/files#diff-f289134c6a8b02c2affc79fbe0d20475f093b4cb1253eb5beefbb0ee79ad41f9R69
Currently montgomery backend works with limbs of 64 bits. For really small fields, like babybear, it may be useful to have a 32 bits version. This version doesn't need to...
While working on [cairo-hints](https://github.com/reilabs/cairo-hints), we’ve noticed that the latest lambdaworks prover for Cairo 1 is unable to verify a proof it _successfully_ generated from `cairo1-run`’s trace and memory files (`cairo1-run`...
# Polynomial commitment scheme based on IPA ## Description A folder was created within 'commitments' where everything related to the new polynomial commitment scheme is located. ## Type of change...
# Add Zeromorph PCS ## Description Refactors IsCommitmentScheme to be more generic and accepting of different PCS schemes. - Modifies KZG commitments and the Plonk prover to accomodate said interface...
# TITLE ## Description rescue hash ## Type of change - [x] New feature ## Checklist - [x] Unit tests added
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.