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 Poseidon fuzzer This PR attempt to add a fuzzer for testing Poseidon. I tried implementing the methods used in other fuzzers and benchmarks, but encountered type mismatches among...
This PR fixes fuzzers from the `no_gpu_fuzz` modules: fields and curves. The pairing operation in the bn254 fuzzer was removed since we don't have a pairing implementation there yet
# TITLE ## Description See #830 ## Type of change - [ ] New feature ## Checklist - [x] Linked to Github Issue - [x] Unit tests added - [x]...
## Description Unnecessarily long test shortened from 21s to ~0.1s
# Icicle NTT Integration ## Description Adds support for Icicle NTT integration. NOTE: Due to Icicle not supporting Stark252 the implementation currently implements a dummy trait for the Stark252 field...
# Add Additional Curve Tests ## Description This pr adds additional curve tests added in #811 to BLS12-381 and BLS12-377 ## Type of change - [x] New feature ## Checklist...
# Small perf adjustments for `ShortWeierstrassProjectivePoint` operations ## Description - In the `double` operation, the pull request implements an early return strategy to check if `self` is the neutral element...
Can I use the stark-platinum-prover in situations that need to hide private data? According to winterfell [Implement perfect zero-knowledge #9](https://github.com/facebook/winterfell/issues/9), it hasn't implemented the feature yet. From an [article](https://reilabs.io/blog/introducing-hints-in-cairo-programming-language/), it...
# LookUp Argument Interface and Plookup ## Description This Pr creates a trait interface for LookUp arguments and adds the Plookup Lookup Argument ## Type of change Please delete options...