 Ian Goldberg
|
0cba256b25
Fix name of one test
|
пре 9 месеци |
|
Ian Goldberg
|
6cda94defa
First cut at enforce_disjunction_invariant
|
пре 9 месеци |
|
Ian Goldberg
|
fd27fc0757
Correct a comment in rangeproof.rs
|
пре 9 месеци |
|
Ian Goldberg
|
c2c275dfb1
Small refactor of collect_cind_points
|
пре 9 месеци |
|
Ian Goldberg
|
646f409856
Have for_each_disjunction_branch pass the path to each disjunction branch to the closure
|
пре 9 месеци |
|
Ian Goldberg
|
f9e96f3456
Update a doc comment for pub mod sigma
|
пре 9 месеци |
|
Ian Goldberg
|
bf90a33cbf
Don't bother to start a disjunction branch at a disjunction node
|
пре 9 месеци |
|
Ian Goldberg
|
081b1c8369
StatementTree::for_each_disjunction_branch_leaf method
|
пре 9 месеци |
|
Ian Goldberg
|
9985078308
StatementTree::for_each_disjunction_branch method
|
пре 9 месеци |
|
Ian Goldberg
|
b71a381bc5
Define a _disjunction branch_ in the rustdoc
|
пре 9 месеци |
|
Ian Goldberg
|
7cd67a94a6
Move convert_commitment and convert_randomness from the rangeproof to the pedersen module
|
пре 9 месеци |
|
Ian Goldberg
|
7d1cf334ed
Implement not-equals statements
|
пре 10 месеци |
|
Ian Goldberg
|
7b8bb375f0
Add a note to the documentation about how vector variables are represented in the `Instance` and `Witness` structs
|
пре 10 месеци |
|
Ian Goldberg
|
c961d683a0
Enforce that public Scalar equality statements only work on non-vector variables
|
пре 10 месеци |
|
Ian Goldberg
|
c8ec0fc605
Finish the documentation for the sigma_compiler macro
|
пре 10 месеци |
|
Ian Goldberg
|
4641a3cabc
Allow statements that are equality of a public Scalar variable to a public Scalar expression.
|
пре 10 месеци |
|
Ian Goldberg
|
3adab6c783
Change the nomenclature of "params" to "instance" to match the sigma_rs crate
|
пре 10 месеци |
|
Ian Goldberg
|
027760ffde
Start on the documentation of the main sigma_compiler macro
|
пре 10 месеци |
|
Ian Goldberg
|
f0104198ed
Add sigma_compiler_{prover,verifier} macros to only emit one party's code
|
пре 10 месеци |
|
Ian Goldberg
|
82058d6cda
Only emit the protocol_witness function if emit_prover is set
|
пре 10 месеци |
|
Ian Goldberg
|
384b93e03a
Remove some commented-out test code
|
пре 10 месеци |
|
Ian Goldberg
|
edc6d2b636
Make the dump feature flag work again
|
пре 10 месеци |
|
Ian Goldberg
|
d21bea09f9
Flip multiplications around to suit sigma_rs
|
пре 10 месеци |
|
Ian Goldberg
|
dcf9c81a49
Code generation to use the sigma-rs API
|
пре 10 месеци |
|
Ian Goldberg
|
b2d950a090
The underlying sigma-rs crate supports scalar_var * scalar_const but not the other way around, so change the tests to do that
|
пре 10 месеци |
|
Ian Goldberg
|
0f1e6699cb
Typo fix to range proof generated statement
|
пре 10 месеци |
|
Ian Goldberg
|
f77454f70e
Simplify the proto_witness_codegen API a bit
|
пре 10 месеци |
|
Ian Goldberg
|
9bf1745c9a
Move leaf_true, is_leaf_true, and leaf_true_test into StatementTree
|
пре 10 месеци |
|
Ian Goldberg
|
8222e13d60
Ensure sigma_rs is visible to the generated code
|
пре 10 месеци |
|
Ian Goldberg
|
828b37a001
Generalize expr_type_tokens to expr_type_tokens_id_closure
|
пре 10 месеци |
