 Ian Goldberg
|
cbb021612f
Reject invalid tag combinations for TaggedIdent
|
6 months ago |
|
Ian Goldberg
|
ab74c8a3e8
clippy
|
6 months ago |
|
Ian Goldberg
|
14a9364364
Refactor the syntax parser into a module
|
6 months ago |
|
Ian Goldberg
|
266b07ad4f
Refactor sigma_compiler_derive into sigma_compiler_derive and sigma_compiler_core
|
6 months ago |
|
Ian Goldberg
|
b357d5236f
New sigma_compiler! syntax
|
6 months ago |
|
Ian Goldberg
|
6ceace1cf3
In prove(), check that all of the statements are actually true
|
7 months ago |
|
Ian Goldberg
|
36d4c43189
Make the dumping of the Params to stdout a compile-time feature
|
7 months ago |
|
Ian Goldberg
|
29d2894e50
Show the Params on both the prover and verifier side (they should match)
|
7 months ago |
|
Ian Goldberg
|
0b197255cd
Avoid having to "use super::*" in the generated submodule
|
7 months ago |
|
Ian Goldberg
|
c2e879c19e
Enough API implementation that other crates can use the sigma_compiler! macro
|
7 months ago |
|
Ian Goldberg
|
8dd608dd29
procedural macro subcrate
|
7 months ago |
|
Ian Goldberg
|
e5d127b3c3
Empty crate
|
7 months ago |
