 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
|
пре 1 година |
|
Ian Goldberg
|
0675969e9b
Parse the AND, OR, THRESH combiners when constructing the StatementTree
|
пре 1 година |
|
Ian Goldberg
|
9525945aa9
Start making and using the StatementTree
|
пре 1 година |
|
Ian Goldberg
|
20057964af
Unify TaggedScalar and TaggedPoint into an enum TaggedIdent, and add VarDict type
|
пре 1 година |
|
Ian Goldberg
|
7e85e60df9
Separate TaggedIdent into TaggedScalar and TaggedPoint
|
пре 1 година |
|
Ian Goldberg
|
cbb021612f
Reject invalid tag combinations for TaggedIdent
|
пре 1 година |
|
Ian Goldberg
|
ab74c8a3e8
clippy
|
пре 1 година |
|
Ian Goldberg
|
14a9364364
Refactor the syntax parser into a module
|
пре 1 година |
|
Ian Goldberg
|
266b07ad4f
Refactor sigma_compiler_derive into sigma_compiler_derive and sigma_compiler_core
|
пре 1 година |
|
Ian Goldberg
|
b357d5236f
New sigma_compiler! syntax
|
пре 1 година |
|
Ian Goldberg
|
6ceace1cf3
In prove(), check that all of the statements are actually true
|
пре 1 година |
|
Ian Goldberg
|
36d4c43189
Make the dumping of the Params to stdout a compile-time feature
|
пре 1 година |
|
Ian Goldberg
|
29d2894e50
Show the Params on both the prover and verifier side (they should match)
|
пре 1 година |
|
Ian Goldberg
|
0b197255cd
Avoid having to "use super::*" in the generated submodule
|
пре 1 година |
|
Ian Goldberg
|
c2e879c19e
Enough API implementation that other crates can use the sigma_compiler! macro
|
пре 1 година |
|
Ian Goldberg
|
8dd608dd29
procedural macro subcrate
|
пре 1 година |
|
Ian Goldberg
|
e5d127b3c3
Empty crate
|
пре 1 година |
