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