 Ian Goldberg
|
d5683e25d2
The sigma-rs dependency has been renamed sigma-proofs
|
пре 3 недеља |
|
Ian Goldberg
|
14c998d048
A little refactoring of the top-level sigma_compiler_core module
|
пре 2 месеци |
|
Ian Goldberg
|
6cda94defa
First cut at enforce_disjunction_invariant
|
пре 2 месеци |
|
Ian Goldberg
|
f9e96f3456
Update a doc comment for pub mod sigma
|
пре 2 месеци |
|
Ian Goldberg
|
7d1cf334ed
Implement not-equals statements
|
пре 3 месеци |
|
Ian Goldberg
|
4641a3cabc
Allow statements that are equality of a public Scalar variable to a public Scalar expression.
|
пре 3 месеци |
|
Ian Goldberg
|
384b93e03a
Remove some commented-out test code
|
пре 3 месеци |
|
Ian Goldberg
|
5d0e38b711
Allow sigma::codegen to modify the StatementTree
|
пре 3 месеци |
|
Ian Goldberg
|
d8d24b7ac9
Finish range proofs
|
пре 3 месеци |
|
Ian Goldberg
|
af0748ec23
Prepare for handing range statements by finding all Pedersen assignment statements in the StatementTree
|
пре 3 месеци |
|
Ian Goldberg
|
9b8cbf4558
Refactor the substitution transformation into its own module
|
пре 3 месеци |
|
Ian Goldberg
|
65afb16310
Start on range statements
|
пре 3 месеци |
|
Ian Goldberg
|
cd47fcf33c
Be able to send extra generated public values along with the proof
|
пре 3 месеци |
|
Ian Goldberg
|
7e4b865b1f
Refactor StructFieldList from codegen to sigma/codegen
|
пре 3 месеци |
|
Ian Goldberg
|
998d014072
Find all random private `Scalar`s (according to the [`TaggedVarDict`]) that appear exactly once in the [`StatementTree`].
|
пре 3 месеци |
|
Ian Goldberg
|
e7f804289e
Code generation for substitution statements
|
пре 4 месеци |
|
Ian Goldberg
|
6f857f9dfd
Refactor codegen into its own module
|
пре 4 месеци |
|
Ian Goldberg
|
fa3d992bcc
Use the input TaggedVarDict, not the one modified by apply_substitutions, to generate the Params and Witness structures
|
пре 4 месеци |
|
Ian Goldberg
|
3602aa75be
Apply the substitutions in the main sigma_compiler_core function
|
пре 4 месеци |
|
Ian Goldberg
|
42ec7dd989
Start on the transform module
|
пре 4 месеци |
|
Ian Goldberg
|
3b24652274
Make rustdoc link directly to the correct method of SigmaCompSpec
|
пре 4 месеци |
|
Ian Goldberg
|
7a84a547cf
A little more documentation
|
пре 4 месеци |
|
Ian Goldberg
|
ed8a9d43ed
A function to evaluate the types of arithmetic expressions on Scalars and Points
|
пре 4 месеци |
|
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
|
пре 4 месеци |
|
Ian Goldberg
|
9525945aa9
Start making and using the StatementTree
|
пре 4 месеци |
|
Ian Goldberg
|
20057964af
Unify TaggedScalar and TaggedPoint into an enum TaggedIdent, and add VarDict type
|
пре 4 месеци |
|
Ian Goldberg
|
7e85e60df9
Separate TaggedIdent into TaggedScalar and TaggedPoint
|
пре 4 месеци |
|
Ian Goldberg
|
ab74c8a3e8
clippy
|
пре 4 месеци |
|
Ian Goldberg
|
14a9364364
Refactor the syntax parser into a module
|
пре 4 месеци |
|
Ian Goldberg
|
266b07ad4f
Refactor sigma_compiler_derive into sigma_compiler_derive and sigma_compiler_core
|
пре 4 месеци |
