 Ian Goldberg
|
edf24392d8
Handle const * Term and const * Pedersen in the Pedersen recognizer
|
il y a 8 mois |
|
Ian Goldberg
|
68dc9d8f4b
One more test
|
il y a 8 mois |
|
Ian Goldberg
|
eefffbe1c7
Pedersen commitment expression recognizer complete
|
il y a 8 mois |
|
Ian Goldberg
|
8342b14159
A little more on the Pedersen commitment expression recognizer
|
il y a 8 mois |
|
Ian Goldberg
|
26b617e6b3
A little more on the Pedersen commitment expression recognizer
|
il y a 8 mois |
|
Ian Goldberg
|
42487e38ff
Start on the Pedersen commitment expression recognizer
|
il y a 8 mois |
|
Ian Goldberg
|
f0a54a8538
Abstract arithmetic expression parsing into an AExprFold trait
|
il y a 8 mois |
|
Ian Goldberg
|
998d014072
Find all random private `Scalar`s (according to the [`TaggedVarDict`]) that appear exactly once in the [`StatementTree`].
|
il y a 8 mois |
|
Ian Goldberg
|
1fc9daf16b
Flatten nested `And` nodes in a [`StatementTree`]
|
il y a 8 mois |
|
Ian Goldberg
|
e6be0ce636
Slightly clean up the main crate's exports
|
il y a 8 mois |
|
Ian Goldberg
|
008aa918be
Don't require the end user's code to manually depend on the group or ff crates
|
il y a 8 mois |
|
Ian Goldberg
|
673157e12c
Convert arithmetic expressions of integer constants and (Scalar or Point) vars into a valid Rust expression
|
il y a 8 mois |
|
Ian Goldberg
|
e7f804289e
Code generation for substitution statements
|
il y a 8 mois |
|
Ian Goldberg
|
6f857f9dfd
Refactor codegen into its own module
|
il y a 8 mois |
|
Ian Goldberg
|
f501f2c7f3
Allow << on constant expressions in statements
|
il y a 8 mois |
|
Ian Goldberg
|
fa3d992bcc
Use the input TaggedVarDict, not the one modified by apply_substitutions, to generate the Params and Witness structures
|
il y a 8 mois |
|
Ian Goldberg
|
3602aa75be
Apply the substitutions in the main sigma_compiler_core function
|
il y a 8 mois |
|
Ian Goldberg
|
2a45909392
Look for, and apply, all of the substitutions specified in leaves of a StatementTree
|
il y a 8 mois |
|
Ian Goldberg
|
3715b9f359
Make sigma::combiners::PrivScalarMap visible to other modules
|
il y a 8 mois |
|
Ian Goldberg
|
eae6dbfe7b
Derive PartialEq, Eq for TaggedScalar, TaggedPoint, TaggedIdent
|
il y a 8 mois |
|
Ian Goldberg
|
147638585a
impl Parse for TaggedPoint had gotten separated from the TaggedPoint definition
|
il y a 8 mois |
|
Ian Goldberg
|
42ec7dd989
Start on the transform module
|
il y a 8 mois |
|
Ian Goldberg
|
11006442d2
Derive Eq and PartialEq for StatementTree
|
il y a 8 mois |
|
Ian Goldberg
|
f2c9dc79ac
AExprType implements Eq, not just PartialEq
|
il y a 8 mois |
|
Ian Goldberg
|
3b24652274
Make rustdoc link directly to the correct method of SigmaCompSpec
|
il y a 8 mois |
|
Ian Goldberg
|
e403812ad6
Rename one test for consistency with the others
|
il y a 8 mois |
|
Ian Goldberg
|
d7ba2a9350
Enforce the disjunction invariant
|
il y a 8 mois |
|
Ian Goldberg
|
7a84a547cf
A little more documentation
|
il y a 8 mois |
|
Ian Goldberg
|
aeff156e4c
Touch up docs for syntax module
|
il y a 8 mois |
|
Ian Goldberg
|
62f45215e5
A couple more doc touchups in sigma::types
|
il y a 8 mois |
