These changes implmement range proofs based on Commpressed Sigma prot… - #1408
Closed
nitsatiisc wants to merge 3 commits into
Closed
These changes implmement range proofs based on Commpressed Sigma prot…#1408nitsatiisc wants to merge 3 commits into
nitsatiisc wants to merge 3 commits into
Conversation
…ocols: 1. transcript.go - contains a clean abstraction of Fiat-Shamir, where the function Absorb() adds the transcript message and Squeeze() produces a challenge based on absorbed messages so far. 2. csp.go - implements the logarithmic sized non-ZK argument for showing evaluation of a linear function on pedersen committed vector. 3. csp_rp.go - implements range proof wrapper to reduce range proofs to a csp instance. 4. lagrange-native.go - Uses underlying gnark-crypto fr.Element type for O(n^2) lagrange coefficient computation. Avoids mathlib cost of converting back and forth from big.Int Signed-off-by: Nitin Singh <nitisin1@in.ibm.com>
Signed-off-by: Nitin Singh <nitisin1@in.ibm.com>
Signed-off-by: Angelo De Caro <adc@zurich.ibm.com>
adecaro
force-pushed
the
csp-based-rangeproofs
branch
from
March 25, 2026 14:17
093d266 to
349e815
Compare
Contributor
|
It will be absorbed by another PR |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
2 participants
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
…ocols:
Achieves around 2.2x faster verification, with no significant degradation to prover time.