 Ian Goldberg
|
d3e99bbb43
Make sigma_compiler's codegen able to generate collision-free variable names
|
9 mesi fa |
|
Ian Goldberg
|
73b29275b1
Have prove() and verify() return Err(sigma_rs::errors::Error) on failure instead of Err(())
|
9 mesi fa |
|
Ian Goldberg
|
31e596b0c3
Code generation stubs for sigma_rs
|
9 mesi fa |
|
Ian Goldberg
|
7e4b865b1f
Refactor StructFieldList from codegen to sigma/codegen
|
9 mesi fa |
|
Ian Goldberg
|
edf24392d8
Handle const * Term and const * Pedersen in the Pedersen recognizer
|
9 mesi fa |
|
Ian Goldberg
|
68dc9d8f4b
One more test
|
9 mesi fa |
|
Ian Goldberg
|
eefffbe1c7
Pedersen commitment expression recognizer complete
|
9 mesi fa |
|
Ian Goldberg
|
8342b14159
A little more on the Pedersen commitment expression recognizer
|
9 mesi fa |
|
Ian Goldberg
|
26b617e6b3
A little more on the Pedersen commitment expression recognizer
|
9 mesi fa |
|
Ian Goldberg
|
42487e38ff
Start on the Pedersen commitment expression recognizer
|
9 mesi fa |
|
Ian Goldberg
|
f0a54a8538
Abstract arithmetic expression parsing into an AExprFold trait
|
9 mesi fa |
|
Ian Goldberg
|
998d014072
Find all random private `Scalar`s (according to the [`TaggedVarDict`]) that appear exactly once in the [`StatementTree`].
|
9 mesi fa |
|
Ian Goldberg
|
1fc9daf16b
Flatten nested `And` nodes in a [`StatementTree`]
|
9 mesi fa |
|
Ian Goldberg
|
e6be0ce636
Slightly clean up the main crate's exports
|
9 mesi fa |
|
Ian Goldberg
|
008aa918be
Don't require the end user's code to manually depend on the group or ff crates
|
9 mesi fa |
|
Ian Goldberg
|
673157e12c
Convert arithmetic expressions of integer constants and (Scalar or Point) vars into a valid Rust expression
|
9 mesi fa |
|
Ian Goldberg
|
e7f804289e
Code generation for substitution statements
|
9 mesi fa |
|
Ian Goldberg
|
6f857f9dfd
Refactor codegen into its own module
|
9 mesi fa |
|
Ian Goldberg
|
f501f2c7f3
Allow << on constant expressions in statements
|
9 mesi fa |
|
Ian Goldberg
|
fa3d992bcc
Use the input TaggedVarDict, not the one modified by apply_substitutions, to generate the Params and Witness structures
|
9 mesi fa |
|
Ian Goldberg
|
3602aa75be
Apply the substitutions in the main sigma_compiler_core function
|
10 mesi fa |
|
Ian Goldberg
|
2a45909392
Look for, and apply, all of the substitutions specified in leaves of a StatementTree
|
10 mesi fa |
|
Ian Goldberg
|
3715b9f359
Make sigma::combiners::PrivScalarMap visible to other modules
|
10 mesi fa |
|
Ian Goldberg
|
eae6dbfe7b
Derive PartialEq, Eq for TaggedScalar, TaggedPoint, TaggedIdent
|
10 mesi fa |
|
Ian Goldberg
|
147638585a
impl Parse for TaggedPoint had gotten separated from the TaggedPoint definition
|
10 mesi fa |
|
Ian Goldberg
|
42ec7dd989
Start on the transform module
|
10 mesi fa |
|
Ian Goldberg
|
11006442d2
Derive Eq and PartialEq for StatementTree
|
10 mesi fa |
|
Ian Goldberg
|
f2c9dc79ac
AExprType implements Eq, not just PartialEq
|
10 mesi fa |
|
Ian Goldberg
|
3b24652274
Make rustdoc link directly to the correct method of SigmaCompSpec
|
10 mesi fa |
|
Ian Goldberg
|
e403812ad6
Rename one test for consistency with the others
|
10 mesi fa |
