lambdaworks
lambdaworks copied to clipboard
lambdaworks offers implementations for both SNARKs and STARKs provers, along with the flexibility to leverage their individual components for constructing customized SNARKs.
# Add Icicle as a GPU backend ## Description This pr adds wrappers for conversion of lambaworks types -> Icicle types and adds methods to interface with the Icicle GPU...
# Some small refactorings ## Description Small refactorings. ## Type of change Please delete options that are not relevant. - [X] Optimization ## Checklist - [ ] Linked to Github...
AIR design has been extended and simplified over these PRs: #834 #697 But the changes are coupled with a change on how Cairo is proven. We need to bring only...
# TITLE ## Description Description of the pull request changes and motivation. ## Type of change Please delete options that are not relevant. - [ ] New feature - [...
Add serde to desearialize a file with the matrix and inputs. Includes an example of how to read a file contents to a Struct
# TITLE ## Description Description of the pull request changes and motivation. ## Type of change I made the short weiestrass curves accessible through the main list of fields Please...
There are some problems with CUDA and possibly Metal operations panicking or failing with inputs which order are close to `32`. For example, as noticed by @Juan-M-V and @daphneherlambda, CUDA's...
CUDA - Icicle overhaul - [ ] Remove Lambdaworks CUDA implementation - [ ] Change icicle implementation to work by enabling the feature, instead of needing a direct call, where...
Short Weierstrass is the most used EC form of our library. Lambdaworks should support jacobian coordinates that are faster - [ ] Add JacobianPoint in short weierstrass point.rs .Implement the...
# Multilinear Sumcheck ## Description Adds an implementation of the multilinear sumcheck protocol and its quadratic, and cubic variations. This follows the work done by the spartan and Lasso teams....