| .. |
|
sigma
|
d21bea09f9
Flip multiplications around to suit sigma_rs
|
7 месяцев назад |
|
codegen.rs
|
d21bea09f9
Flip multiplications around to suit sigma_rs
|
7 месяцев назад |
|
lib.rs
|
5d0e38b711
Allow sigma::codegen to modify the StatementTree
|
7 месяцев назад |
|
pedersen.rs
|
ed1a2ab347
Implement and test LinScalar::to_expr()
|
7 месяцев назад |
|
rangeproof.rs
|
d21bea09f9
Flip multiplications around to suit sigma_rs
|
7 месяцев назад |
|
substitution.rs
|
9b8cbf4558
Refactor the substitution transformation into its own module
|
8 месяцев назад |
|
syntax.rs
|
998d014072
Find all random private `Scalar`s (according to the [`TaggedVarDict`]) that appear exactly once in the [`StatementTree`].
|
8 месяцев назад |
|
transform.rs
|
9bf1745c9a
Move leaf_true, is_leaf_true, and leaf_true_test into StatementTree
|
7 месяцев назад |
Ian Goldberg
d21bea09f9
Flip multiplications around to suit sigma_rs