Larry
|
5d5862a85e
|
bitcore
|
7 years ago |
Kent Sommer
|
6a531923b2
|
1.0.13 Dev Rollup
|
7 years ago |
David Mercer
|
78335e6d9d
|
remove duplicate declaration
|
7 years ago |
Sean Bowe
|
bc59f53722
|
Isolate verification to a `ProofVerifier` context object that allows verification behavior to be tuned by the caller.
|
8 years ago |
J-Stuhlman
|
594189f1ff
|
Update JoinSplit.cpp
|
8 years ago |
Simon
|
13e9a639b7
|
Fix threading issue when initializing public params.
|
8 years ago |
Sean Bowe
|
78df9f0211
|
Process verification keys to perform online verification.
|
8 years ago |
Sean Bowe
|
5f0a73ce11
|
Improve accuracy of constraint system violation diagnostics.
|
8 years ago |
Sean Bowe
|
c4643bd949
|
Throw more descriptive exceptions when the constraint system is violated.
|
8 years ago |
Sean Bowe
|
0a958ae7f6
|
Write R1CS output to file in GenerateParams.
|
8 years ago |
Simon
|
4eb1a96f9a
|
Add public field 'memo' to JSOutput to enable creation of notes with custom memos.
|
8 years ago |
Jack Grigg
|
5db5e42ec3
|
Add optional bool to disable computation of proof in JSDescription constructor
|
8 years ago |
Sean Bowe
|
7ee82c4361
|
Deallocate the public parameters during Shutdown.
|
8 years ago |
Sean Bowe
|
f0dab51cf3
|
Implement zkSNARK compression.
|
8 years ago |
Simon
|
d81c31f5fb
|
Extend try catch block around calls to libsnark, per discussion in #1126.
|
8 years ago |
Sean Bowe
|
25d2197043
|
Remove more from libsnark, and fix potential remote-DoS.
|
8 years ago |
Sean Bowe
|
bf76024eb7
|
Pass our constraint system to libsnark, so that it doesn't need to (de)serialize it in the proving key.
|
8 years ago |
Sean Bowe
|
2668a1bc13
|
Remove the rest of libzerocash.
|
8 years ago |
Taylor Hornby
|
6aae9d1a55
|
Sign JoinSplit transactions
|
8 years ago |
Sean Bowe
|
9285bba885
|
Enable binary serializations of proofs and r1cs keys, and make the `CPourTx` proof field fixed-size.
|
8 years ago |
Sean Bowe
|
defe37a6d4
|
Enforce first four bits are zero for all spending keys and phi.
|
8 years ago |
Sean Bowe
|
81469bbb83
|
`Note` values should be little-endian byte order.
|
8 years ago |
Sean Bowe
|
032164d5d5
|
Rename hmac -> mac in circuit.
|
8 years ago |
Sean Bowe
|
5e61a78fec
|
zkSNARK: Enforce disclosure of commitments to output notes.
|
8 years ago |
Sean Bowe
|
074eb3a2cf
|
zkSNARK: Foundations of circuit design and verification logic.
|
8 years ago |
Sean Bowe
|
369df06583
|
Introduce new `libzcash` Zcash protocol API and crypto constructions surrounding the zkSNARK circuit.
|
8 years ago |