This website works better with JavaScript
Home
Explore
Help
Sign In
SigmaProtocol
/
sigma-compiler
Watch
3
Star
1
Fork
0
Files
Tree:
76c318c74f
Branches
Tags
feature/sigma-rs
main
0.1.0
0.1.0-rc2
0.1.0-rc1
sigma-compiler
/
sigma_compiler_core
Ian Goldberg
76c318c74f
Return VerificationFailure rather than assert!()ing if the witness doesn't satisfy the statements
4 months ago
..
src
76c318c74f
Return VerificationFailure rather than assert!()ing if the witness doesn't satisfy the statements
4 months ago
Cargo.toml
d7ba2a9350
Enforce the disjunction invariant
5 months ago