 Ian Goldberg
|
d9ca5c733f
Convert commitments and randomness of one LinScalar to that of another LinScalar of the same variable
|
пре 10 месеци |
|
Ian Goldberg
|
3247addd99
Make clippy happier
|
пре 10 месеци |
|
Ian Goldberg
|
ed1a2ab347
Implement and test LinScalar::to_expr()
|
пре 10 месеци |
|
Ian Goldberg
|
90f3f371de
Find or generate a Pedersen commitment to start handling range statements
|
пре 10 месеци |
|
Ian Goldberg
|
d080daa250
PedersenAssignment::var() convenience function
|
пре 10 месеци |
|
Ian Goldberg
|
af0748ec23
Prepare for handing range statements by finding all Pedersen assignment statements in the StatementTree
|
пре 10 месеци |
|
Ian Goldberg
|
1a6011d2f7
Clarify in a comment that ranges must always have strictly more than 1 element in them
|
пре 11 месеци |
|
Ian Goldberg
|
9b8cbf4558
Refactor the substitution transformation into its own module
|
пре 11 месеци |
|
Ian Goldberg
|
45a262b32c
Add a test for range statement recognition with public Scalar expressions for the range endpoints
|
пре 11 месеци |
|
Ian Goldberg
|
65afb16310
Start on range statements
|
пре 11 месеци |
|
Ian Goldberg
|
22dd8f33fd
Add a recognizer for expressions that evaluate to public Scalars
|
пре 11 месеци |
|
Ian Goldberg
|
676304ef47
Add a recognizer for LinScalar expressions
|
пре 11 месеци |
|
Ian Goldberg
|
90da138200
prove() will require an RNG that is an impl CryptoRng + RngCore
|
пре 11 месеци |
|
Ian Goldberg
|
76c318c74f
Return VerificationFailure rather than assert!()ing if the witness doesn't satisfy the statements
|
пре 11 месеци |
|
Ian Goldberg
|
28e485e5ed
Add a test using public Scalars
|
пре 11 месеци |
|
Ian Goldberg
|
22253acc49
Touch up instructions in a comment
|
пре 11 месеци |
|
Ian Goldberg
|
cd47fcf33c
Be able to send extra generated public values along with the proof
|
пре 11 месеци |
|
Ian Goldberg
|
d3e99bbb43
Make sigma_compiler's codegen able to generate collision-free variable names
|
пре 11 месеци |
|
Ian Goldberg
|
73b29275b1
Have prove() and verify() return Err(sigma_rs::errors::Error) on failure instead of Err(())
|
пре 11 месеци |
|
Ian Goldberg
|
31e596b0c3
Code generation stubs for sigma_rs
|
пре 11 месеци |
|
Ian Goldberg
|
7e4b865b1f
Refactor StructFieldList from codegen to sigma/codegen
|
пре 11 месеци |
|
Ian Goldberg
|
edf24392d8
Handle const * Term and const * Pedersen in the Pedersen recognizer
|
пре 11 месеци |
|
Ian Goldberg
|
68dc9d8f4b
One more test
|
пре 11 месеци |
|
Ian Goldberg
|
eefffbe1c7
Pedersen commitment expression recognizer complete
|
пре 11 месеци |
|
Ian Goldberg
|
8342b14159
A little more on the Pedersen commitment expression recognizer
|
пре 11 месеци |
|
Ian Goldberg
|
26b617e6b3
A little more on the Pedersen commitment expression recognizer
|
пре 11 месеци |
|
Ian Goldberg
|
42487e38ff
Start on the Pedersen commitment expression recognizer
|
пре 11 месеци |
|
Ian Goldberg
|
f0a54a8538
Abstract arithmetic expression parsing into an AExprFold trait
|
пре 11 месеци |
|
Ian Goldberg
|
998d014072
Find all random private `Scalar`s (according to the [`TaggedVarDict`]) that appear exactly once in the [`StatementTree`].
|
пре 11 месеци |
|
Ian Goldberg
|
1fc9daf16b
Flatten nested `And` nodes in a [`StatementTree`]
|
пре 11 месеци |
