 Ian Goldberg
|
0e223e7e2d
Fix cargo doc
|
пре 6 месеци |
 Michele Orrù
|
6d13649911
fix: update refactor
|
пре 6 месеци |
|
Ian Goldberg
|
d53e48aec4
The sigma-rs API changed ShakeCodec to Shake128DuplexSponge
|
пре 7 месеци |
|
Ian Goldberg
|
839d55ae69
A test for public statements
|
пре 7 месеци |
|
Ian Goldberg
|
5206220822
Allow statements like C = a*B where a is a _public_ Scalar
|
пре 7 месеци |
|
Ian Goldberg
|
df27e5d5a2
The sigma-rs API changed NISigmaProtocol to Nizk
|
пре 7 месеци |
|
Ian Goldberg
|
e962e20a27
cargo fmt
|
пре 7 месеци |
|
Ian Goldberg
|
1697b5a234
Explicitly reject substitutions with invalid arithmetic expressions
|
пре 7 месеци |
|
Ian Goldberg
|
aa81399d1a
Update tests to match new subtraction code
|
пре 7 месеци |
|
Ian Goldberg
|
6d732299ca
Always implement subtraction as adding a negation when generating an Expr
|
пре 7 месеци |
|
Ian Goldberg
|
75f59c2be5
Remove unused "use" in subtract test
|
пре 7 месеци |
|
Ian Goldberg
|
a9175aa83e
Allow calling neg() in the sigma-rs generated code
|
пре 7 месеци |
|
Ian Goldberg
|
daa01f805a
Add a test for subtracting a constant from a Scalar
|
пре 7 месеци |
|
Ian Goldberg
|
b62dfc2a67
Add a simple test for OR proofs
|
пре 7 месеци |
|
Ian Goldberg
|
0cba256b25
Fix name of one test
|
пре 7 месеци |
|
Ian Goldberg
|
6cda94defa
First cut at enforce_disjunction_invariant
|
пре 7 месеци |
|
Ian Goldberg
|
fd27fc0757
Correct a comment in rangeproof.rs
|
пре 7 месеци |
|
Ian Goldberg
|
c2c275dfb1
Small refactor of collect_cind_points
|
пре 7 месеци |
|
Ian Goldberg
|
646f409856
Have for_each_disjunction_branch pass the path to each disjunction branch to the closure
|
пре 7 месеци |
|
Ian Goldberg
|
f9e96f3456
Update a doc comment for pub mod sigma
|
пре 7 месеци |
|
Ian Goldberg
|
bf90a33cbf
Don't bother to start a disjunction branch at a disjunction node
|
пре 7 месеци |
|
Ian Goldberg
|
081b1c8369
StatementTree::for_each_disjunction_branch_leaf method
|
пре 7 месеци |
|
Ian Goldberg
|
9985078308
StatementTree::for_each_disjunction_branch method
|
пре 7 месеци |
|
Ian Goldberg
|
b71a381bc5
Define a _disjunction branch_ in the rustdoc
|
пре 7 месеци |
|
Ian Goldberg
|
7cd67a94a6
Move convert_commitment and convert_randomness from the rangeproof to the pedersen module
|
пре 7 месеци |
|
Ian Goldberg
|
7d1cf334ed
Implement not-equals statements
|
пре 7 месеци |
|
Ian Goldberg
|
7b8bb375f0
Add a note to the documentation about how vector variables are represented in the `Instance` and `Witness` structs
|
пре 7 месеци |
|
Ian Goldberg
|
c961d683a0
Enforce that public Scalar equality statements only work on non-vector variables
|
пре 7 месеци |
|
Ian Goldberg
|
c8ec0fc605
Finish the documentation for the sigma_compiler macro
|
пре 7 месеци |
|
Ian Goldberg
|
4641a3cabc
Allow statements that are equality of a public Scalar variable to a public Scalar expression.
|
пре 7 месеци |
