 Ian Goldberg
|
1a6011d2f7
Clarify in a comment that ranges must always have strictly more than 1 element in them
|
10 mesi fa |
|
Ian Goldberg
|
9b8cbf4558
Refactor the substitution transformation into its own module
|
10 mesi fa |
|
Ian Goldberg
|
45a262b32c
Add a test for range statement recognition with public Scalar expressions for the range endpoints
|
10 mesi fa |
|
Ian Goldberg
|
65afb16310
Start on range statements
|
10 mesi fa |
|
Ian Goldberg
|
22dd8f33fd
Add a recognizer for expressions that evaluate to public Scalars
|
10 mesi fa |
|
Ian Goldberg
|
676304ef47
Add a recognizer for LinScalar expressions
|
10 mesi fa |
|
Ian Goldberg
|
90da138200
prove() will require an RNG that is an impl CryptoRng + RngCore
|
10 mesi fa |
|
Ian Goldberg
|
76c318c74f
Return VerificationFailure rather than assert!()ing if the witness doesn't satisfy the statements
|
10 mesi fa |
|
Ian Goldberg
|
28e485e5ed
Add a test using public Scalars
|
10 mesi fa |
|
Ian Goldberg
|
22253acc49
Touch up instructions in a comment
|
10 mesi fa |
|
Ian Goldberg
|
cd47fcf33c
Be able to send extra generated public values along with the proof
|
10 mesi fa |
|
Ian Goldberg
|
d3e99bbb43
Make sigma_compiler's codegen able to generate collision-free variable names
|
10 mesi fa |
|
Ian Goldberg
|
73b29275b1
Have prove() and verify() return Err(sigma_rs::errors::Error) on failure instead of Err(())
|
10 mesi fa |
|
Ian Goldberg
|
31e596b0c3
Code generation stubs for sigma_rs
|
10 mesi fa |
|
Ian Goldberg
|
7e4b865b1f
Refactor StructFieldList from codegen to sigma/codegen
|
10 mesi fa |
|
Ian Goldberg
|
edf24392d8
Handle const * Term and const * Pedersen in the Pedersen recognizer
|
10 mesi fa |
|
Ian Goldberg
|
68dc9d8f4b
One more test
|
10 mesi fa |
|
Ian Goldberg
|
eefffbe1c7
Pedersen commitment expression recognizer complete
|
10 mesi fa |
|
Ian Goldberg
|
8342b14159
A little more on the Pedersen commitment expression recognizer
|
10 mesi fa |
|
Ian Goldberg
|
26b617e6b3
A little more on the Pedersen commitment expression recognizer
|
10 mesi fa |
|
Ian Goldberg
|
42487e38ff
Start on the Pedersen commitment expression recognizer
|
10 mesi fa |
|
Ian Goldberg
|
f0a54a8538
Abstract arithmetic expression parsing into an AExprFold trait
|
10 mesi fa |
|
Ian Goldberg
|
998d014072
Find all random private `Scalar`s (according to the [`TaggedVarDict`]) that appear exactly once in the [`StatementTree`].
|
10 mesi fa |
|
Ian Goldberg
|
1fc9daf16b
Flatten nested `And` nodes in a [`StatementTree`]
|
10 mesi fa |
|
Ian Goldberg
|
e6be0ce636
Slightly clean up the main crate's exports
|
10 mesi fa |
|
Ian Goldberg
|
008aa918be
Don't require the end user's code to manually depend on the group or ff crates
|
10 mesi fa |
|
Ian Goldberg
|
673157e12c
Convert arithmetic expressions of integer constants and (Scalar or Point) vars into a valid Rust expression
|
10 mesi fa |
|
Ian Goldberg
|
e7f804289e
Code generation for substitution statements
|
10 mesi fa |
|
Ian Goldberg
|
6f857f9dfd
Refactor codegen into its own module
|
10 mesi fa |
|
Ian Goldberg
|
f501f2c7f3
Allow << on constant expressions in statements
|
10 mesi fa |
