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.
Tried implementing the serealisation and deserealisation properties of Banderwagon which set it apart from Bandersnatch. However I am not really sure about the tests and ready to accept any advice...
## Description The current implementation of `hash_to_field`, specifically `os2ip`, is not compatible with the official [RFC specification](https://www.rfc-editor.org/rfc/pdfrfc/rfc8017.txt.pdf) (4.2, p. 12). This pull request updates the implementation of `os2ip` to be...
# TITLE ## Description Description of the pull request changes and motivation. ## Type of change Please delete options that are not relevant. - [ ] New feature - [...
## Description Changes doubling logic for unsigned integers from addition to bit shifting ## Type of change - [X] Optimization
## Description Addresses #455 by introducing a new **BatchProof** struct, allowing usage of the same Merkle tree to create batch proofs of inclusion and verification. Optimizes the number of nodes...
# TITLE Implements WNAF over EC points where an EC point is multiplied by a series of scalars. ## Type of change - [X] Optimization ## Checklist - [X] Unit...
# Add `to_bits_be` for `FieldElement` ## Description Following `to_bits_le`, an implementation of `to_bits_be` for `FieldElement` is added. A unit test is also integrated to validate the correct implementation of the...
Use RNG seeds from system when generating field elements in Groth16 ## Description Currently generating field elements in Groth16 uses fixed RNG feed, which creates same value every time. ```...
## Description This PR adds differential fuzzer for testing Pedersen and Poseidon using `starknet` and `pathfinder` implementations as a reference ## Type of change - [ ] New feature ##...
# Add cyclotomic square of `fp12` element ## Description This PR attempts to add [faster squaring for 6th cyclotomic subgroup elements](https://eprint.iacr.org/2009/565.pdf). I imagine this would be the first step towards...
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.