 Ian Goldberg
|
f0a54a8538
Abstract arithmetic expression parsing into an AExprFold trait
|
11 months ago |
|
Ian Goldberg
|
998d014072
Find all random private `Scalar`s (according to the [`TaggedVarDict`]) that appear exactly once in the [`StatementTree`].
|
11 months ago |
|
Ian Goldberg
|
1fc9daf16b
Flatten nested `And` nodes in a [`StatementTree`]
|
11 months ago |
|
Ian Goldberg
|
e6be0ce636
Slightly clean up the main crate's exports
|
11 months ago |
|
Ian Goldberg
|
008aa918be
Don't require the end user's code to manually depend on the group or ff crates
|
11 months ago |
|
Ian Goldberg
|
673157e12c
Convert arithmetic expressions of integer constants and (Scalar or Point) vars into a valid Rust expression
|
11 months ago |
|
Ian Goldberg
|
e7f804289e
Code generation for substitution statements
|
11 months ago |
|
Ian Goldberg
|
6f857f9dfd
Refactor codegen into its own module
|
11 months ago |
|
Ian Goldberg
|
f501f2c7f3
Allow << on constant expressions in statements
|
11 months ago |
|
Ian Goldberg
|
fa3d992bcc
Use the input TaggedVarDict, not the one modified by apply_substitutions, to generate the Params and Witness structures
|
11 months ago |
|
Ian Goldberg
|
3602aa75be
Apply the substitutions in the main sigma_compiler_core function
|
11 months ago |
|
Ian Goldberg
|
2a45909392
Look for, and apply, all of the substitutions specified in leaves of a StatementTree
|
11 months ago |
|
Ian Goldberg
|
3715b9f359
Make sigma::combiners::PrivScalarMap visible to other modules
|
11 months ago |
|
Ian Goldberg
|
eae6dbfe7b
Derive PartialEq, Eq for TaggedScalar, TaggedPoint, TaggedIdent
|
11 months ago |
|
Ian Goldberg
|
147638585a
impl Parse for TaggedPoint had gotten separated from the TaggedPoint definition
|
11 months ago |
|
Ian Goldberg
|
42ec7dd989
Start on the transform module
|
11 months ago |
|
Ian Goldberg
|
11006442d2
Derive Eq and PartialEq for StatementTree
|
11 months ago |
|
Ian Goldberg
|
f2c9dc79ac
AExprType implements Eq, not just PartialEq
|
11 months ago |
|
Ian Goldberg
|
3b24652274
Make rustdoc link directly to the correct method of SigmaCompSpec
|
11 months ago |
|
Ian Goldberg
|
e403812ad6
Rename one test for consistency with the others
|
11 months ago |
|
Ian Goldberg
|
d7ba2a9350
Enforce the disjunction invariant
|
11 months ago |
|
Ian Goldberg
|
7a84a547cf
A little more documentation
|
11 months ago |
|
Ian Goldberg
|
aeff156e4c
Touch up docs for syntax module
|
11 months ago |
|
Ian Goldberg
|
62f45215e5
A couple more doc touchups in sigma::types
|
11 months ago |
|
Ian Goldberg
|
081b5c17f7
typo in comment
|
11 months ago |
|
Ian Goldberg
|
c7363c9d40
More documentation for the sigma::combiners and sigma::types modules
|
11 months ago |
|
Ian Goldberg
|
ed8a9d43ed
A function to evaluate the types of arithmetic expressions on Scalars and Points
|
11 months ago |
|
Ian Goldberg
|
80b6fa75ac
The submodules that would be useful to have in the lower-level `sigma` crate are for now included as submodules of a local `sigma` module
|
11 months ago |
|
Ian Goldberg
|
0675969e9b
Parse the AND, OR, THRESH combiners when constructing the StatementTree
|
11 months ago |
|
Ian Goldberg
|
9525945aa9
Start making and using the StatementTree
|
11 months ago |
