 Ian Goldberg
|
6cda94defa
First cut at enforce_disjunction_invariant
|
7 месяцев назад |
|
Ian Goldberg
|
9bf1745c9a
Move leaf_true, is_leaf_true, and leaf_true_test into StatementTree
|
7 месяцев назад |
|
Ian Goldberg
|
af0748ec23
Prepare for handing range statements by finding all Pedersen assignment statements in the StatementTree
|
8 месяцев назад |
|
Ian Goldberg
|
9b8cbf4558
Refactor the substitution transformation into its own module
|
8 месяцев назад |
|
Ian Goldberg
|
76c318c74f
Return VerificationFailure rather than assert!()ing if the witness doesn't satisfy the statements
|
8 месяцев назад |
|
Ian Goldberg
|
26b617e6b3
A little more on the Pedersen commitment expression recognizer
|
8 месяцев назад |
|
Ian Goldberg
|
998d014072
Find all random private `Scalar`s (according to the [`TaggedVarDict`]) that appear exactly once in the [`StatementTree`].
|
8 месяцев назад |
|
Ian Goldberg
|
673157e12c
Convert arithmetic expressions of integer constants and (Scalar or Point) vars into a valid Rust expression
|
8 месяцев назад |
|
Ian Goldberg
|
e7f804289e
Code generation for substitution statements
|
8 месяцев назад |
|
Ian Goldberg
|
2a45909392
Look for, and apply, all of the substitutions specified in leaves of a StatementTree
|
8 месяцев назад |
|
Ian Goldberg
|
42ec7dd989
Start on the transform module
|
8 месяцев назад |
