 Ian Goldberg
|
a90bde0b2c
cargo fmt
|
преди 7 месеца |
|
Ian Goldberg
|
5033b41669
Use sigma_compiler_prover or sigma_compiler_verifier as appropriate
|
преди 7 месеца |
|
Ian Goldberg
|
aedf3fbda9
Enable the range statements in the wallet test
|
преди 7 месеца |
|
Ian Goldberg
|
2cc1771ea8
prepare() and handle() now take a session id as an additional argument
|
преди 7 месеца |
|
Ian Goldberg
|
e7b44882fc
Ensure the rng implements CryptoRng + RngCore
|
преди 7 месеца |
|
Ian Goldberg
|
324e24d42a
Add create_MAC and compute_MAC_coeff functions to CMZCred
|
преди 8 месеца |
|
Ian Goldberg
|
42ccd5f0dc
curve25519-dalek is only needed for tests; move it to dev-depencencies
|
преди 9 месеца |
|
Ian Goldberg
|
33d34a16f7
clippy
|
преди 9 месеца |
|
Ian Goldberg
|
032b63af60
Use new sigma_compiler! syntax
|
преди 9 месеца |
|
Ian Goldberg
|
99a84ebefe
Add visit-mut to syn features so that this subcrate can be built on its own
|
преди 9 месеца |
|
Ian Goldberg
|
3d7fee936c
Allow ZKP statements to refer to revealed and implicit attributes of shown credentials
|
преди 9 месеца |
|
Ian Goldberg
|
3b272ee3f9
Change "cmz_gen_keys" to "cmz14_gen_keys" for consistency with the rest of the API
|
преди 9 месеца |
|
Ian Goldberg
|
de9d1efc2b
Handle (and test) credentials declared in different modules from where a protocol using them is declared
|
преди 9 месеца |
|
Ian Goldberg
|
42e06646a9
Change the macro name for CMZ14 from CMZProtocol to CMZ14Protocol
|
преди 9 месеца |
|
Ian Goldberg
|
5a12ecfd87
CMZ14 client ZKP
|
преди 9 месеца |
|
Ian Goldberg
|
425df68506
A function for creating fake MACs on a credential
|
преди 9 месеца |
|
Ian Goldberg
|
a45db1a350
For shown credentials with optional validity proofs, emit the proof when explicitly asked
|
преди 9 месеца |
|
Ian Goldberg
|
4af16121dc
Don't emit optional validity proofs by default
|
преди 9 месеца |
|
Ian Goldberg
|
ef94f40afd
Enable shown credentials in a protocol to only optionally have their validity proven
|
преди 9 месеца |
|
Ian Goldberg
|
2b86683b15
µCMZ client ZKP
|
преди 9 месеца |
|
Ian Goldberg
|
5cb948fc85
Start on the client ZKP
|
преди 9 месеца |
|
Ian Goldberg
|
699d041268
Make the StructFieldList API a little cleaner
|
преди 9 месеца |
|
Ian Goldberg
|
712147dbbb
More carefully separate out the client and issuer contributions to Joint attributes
|
преди 10 месеца |
|
Ian Goldberg
|
237c5f8281
Generate the issuer proof statement for CMZ14
|
преди 10 месеца |
|
Ian Goldberg
|
1f406f5593
A couple of comment touchups
|
преди 10 месеца |
|
Ian Goldberg
|
c5ab17a0d8
Generate the issuer proof statement for muCMZ
|
преди 10 месеца |
|
Ian Goldberg
|
a1f97113dd
µCMZ issuing protocol complete, except for ZKPs
|
преди 10 месеца |
|
Ian Goldberg
|
3e329df9b6
Ensure that the credentials passed to prepare and handle are for the right protocol (CMZ14 or µCMZ)
|
преди 10 месеца |
|
Ian Goldberg
|
88476de090
µCMZ showing is just a one-line change from CMZ14
|
преди 10 месеца |
|
Ian Goldberg
|
bd19afd6c0
Touch up the basic test
|
преди 10 месеца |
