 Sean Bowe
|
394f41853b
|
Integrate low memory prover.
|
2017-11-01 02:11:49 +13:00 |
|
|
Sean Bowe
|
c8a7f74753
|
Add streaming prover.
|
2017-11-01 02:11:49 +13:00 |
|
|
Sean Bowe
|
abf4af12df
|
Refactor proof generation function.
|
2017-11-01 02:11:46 +13:00 |
|
|
Sean Bowe
|
1a9543d064
|
Remove crusty old "loadVerifyingKey"/"loadProvingKey" APIs and associated invariants.
|
2017-10-21 15:42:41 +03:00 |
|
|
Sean Bowe
|
26a8f68ea8
|
Remove libsnark from depends system and integrate it into build system.
|
2017-08-02 15:49:30 +01:00 |
|
|
Sean Bowe
|
15a9937654
|
Revert "Delete old protocol version constants and simplify code that used them."
This reverts commit 5a49c929dd.
|
2017-06-23 18:19:25 -06:00 |
|
|
Sean Bowe
|
9ad9a25eff
|
Revert "Remove an unneeded version workaround as per @str4d's review comment."
This reverts commit 1e9db0b38a.
|
2017-06-23 18:19:17 -06:00 |
|
|
Sean Bowe
|
9eb9eebbb8
|
Check that pairings work properly when the G1 point is at infinity.
|
2017-05-23 16:31:41 -06:00 |
|
|
Sean Bowe
|
802ea76b3a
|
Allow Rust-language related assets to be disabled with --disable-rust.
|
2017-03-18 07:47:40 -06:00 |
|
|
Sean Bowe
|
6a0c7ceae9
|
Introduce librustzcash and Rust to depends system.
|
2017-03-17 11:46:41 -06:00 |
|
|
Sean Bowe
|
69566ad756
|
Update libsnark.
|
2017-02-09 15:30:09 -07:00 |
|
|
Sean Bowe
|
05ec7887f1
|
Fix use after free in transaction_tests.
|
2017-02-09 14:35:33 -07:00 |
|
|
Sean Bowe
|
0d317cd522
|
Bump protocol version in release process if necessary.
|
2017-02-09 14:25:20 -07:00 |
|
|
Sean Bowe
|
5046d8cd05
|
Update release notes and Debian package.
|
2017-01-19 19:25:00 -07:00 |
|
|
Sean Bowe
|
b8f737b364
|
Bump version to 1.0.5.
|
2017-01-19 19:21:32 -07:00 |
|
|
Sean Bowe
|
620c0e2845
|
Add test for z_importkey rescanning from beginning of chain.
|
2017-01-19 16:59:29 -07:00 |
|
|
Sean Bowe
|
fc31ea8739
|
Add 'CreateJoinSplit' standalone utility to gitignore.
|
2017-01-05 00:31:22 -07:00 |
|
|
Sean Bowe
|
fc538ec2ea
|
Add test for IncrementalMerkleTree::size().
|
2016-12-16 13:50:55 -07:00 |
|
|
Sean Bowe
|
c4fce3fc81
|
Check that E' points are actually in G2 by ensuring they are of order r.
|
2016-12-12 19:14:42 -07:00 |
|
|
Sean Bowe
|
37cce214a4
|
ASSERT_TRUE -> ASSERT_FALSE
|
2016-12-08 23:14:23 -07:00 |
|
|
Sean Bowe
|
690171e268
|
Add more tests for ProofVerifier.
|
2016-12-08 12:47:41 -07:00 |
|
|
Sean Bowe
|
eb82238dd0
|
Rename Dummy to Disabled.
|
2016-12-08 12:32:39 -07:00 |
|
|
Sean Bowe
|
53dc6a41eb
|
Ensure ProofVerifier cannot be accidentally copied.
|
2016-12-06 18:42:31 -07:00 |
|
|
Sean Bowe
|
ebd9aa11b1
|
Ensure cache contains valid entry when anchor is popped.
|
2016-12-06 12:54:56 -07:00 |
|
|
Sean Bowe
|
08de001a25
|
Regression test.
|
2016-12-06 12:54:53 -07:00 |
|
|
Sean Bowe
|
bc59f53722
|
Isolate verification to a ProofVerifier context object that allows verification behavior to be tuned by the caller.
|
2016-12-05 12:40:06 -07:00 |
|
|
Sean Bowe
|
f398a94766
|
Anchors and nullifiers should always be inherited from the parent cache.
|
2016-11-17 11:43:54 -07:00 |
|
|
Sean Bowe
|
3e2e8b5b42
|
Add test that last and element will throw exception when the tree is blank.
|
2016-11-15 12:17:19 -07:00 |
|
|
Sean Bowe
|
78df9f0211
|
Process verification keys to perform online verification.
|
2016-11-14 10:24:07 -07:00 |
|
|
Sean Bowe
|
226a6b3248
|
Initialize after profiling messages are suppressed.
|
2016-11-14 10:19:46 -07:00 |
|
|
Sean Bowe
|
d92bea9888
|
Add tests for witness element and tree last methods. Strengthen testing by inserting a different commitment into the tree at each step.
|
2016-11-14 10:13:06 -07:00 |
|
|
Sean Bowe
|
996fccf267
|
1.0.2 release.
|
2016-11-07 19:03:20 -07:00 |
|
|
Sean Bowe
|
5f0a73ce11
|
Improve accuracy of constraint system violation diagnostics.
|
2016-11-05 11:27:23 -06:00 |
|
|
Sean Bowe
|
b55744e1ad
|
Regression test for constraint system violation.
|
2016-11-05 11:15:16 -06:00 |
|
|
Sean Bowe
|
eb2e2b7043
|
1.0.1 release.
|
2016-11-03 22:26:15 -06:00 |
|
|
Sean Bowe
|
52676958d1
|
Test that a pure joinsplit will mine if other transactions are in the mempool.
|
2016-11-02 14:25:07 -06:00 |
|
|
Sean Bowe
|
c4643bd949
|
Throw more descriptive exceptions when the constraint system is violated.
|
2016-11-01 14:52:03 -06:00 |
|
|
Sean Bowe
|
73363c3d9a
|
Add checkpoint at block 2500.
|
2016-11-01 09:16:51 -06:00 |
|
|
Sean Bowe
|
2b2bc69e8c
|
Properly account for joinsplit value when deciding if a transaction should be placed in a mined block.
|
2016-10-29 11:53:16 -06:00 |
|
|
Sean Bowe
|
7662d72bf4
|
Make more string changes.
|
2016-10-26 13:57:22 -06:00 |
|
|
Sean Bowe
|
58c4c0bba3
|
Change some Bitcoin strings to Zcash strings.
|
2016-10-26 13:29:05 -06:00 |
|
|
Sean Bowe
|
2399b1f9ad
|
Add manpages for zcashd and zcash-cli binaries for debian.
|
2016-10-25 18:35:08 -06:00 |
|
|
Sean Bowe
|
27e3f362f0
|
Zcash zk-SNARK public parameters for 1.0 "Sprout".
|
2016-10-24 11:22:39 -06:00 |
|
|
Sean Bowe
|
74f15a73a1
|
Make 100KB transaction size limit a consensus rule, rather than a standard rule.
|
2016-10-08 00:00:23 -06:00 |
|
|
Sean Bowe
|
796c7ee52f
|
Update to beta2 public parameters, remove regtest/testnet3 parameters
subdirectories.
|
2016-10-03 15:58:02 -06:00 |
|
|
Sean Bowe
|
0a958ae7f6
|
Write R1CS output to file in GenerateParams.
|
2016-09-14 15:57:54 -06:00 |
|
|
Sean Bowe
|
80259d4b4f
|
Add release notes for 1.0.0-beta1.
|
2016-09-09 00:41:41 -06:00 |
|
|
Sean Bowe
|
88188dc2a3
|
Update pchMessageStart and add testnet DNS boostrapper.
|
2016-09-09 00:37:49 -06:00 |
|
|
Sean Bowe
|
f11099e2f0
|
Change version to 1.0.0. This is just a beta.
|
2016-09-09 00:33:20 -06:00 |
|
|
Sean Bowe
|
a4b00373ab
|
Fix transaction test in test_bitcoin.
|
2016-09-07 13:55:31 -06:00 |
|
|
Sean Bowe
|
50aba0ec19
|
Remove TODO 808.
|
2016-09-05 13:03:32 -06:00 |
|
|
Sean Bowe
|
d7eeb7455b
|
Fix CheckTransaction bugs.
|
2016-09-05 12:18:43 -06:00 |
|
|
Sean Bowe
|
f6b6c9bed8
|
Update libsnark again.
|
2016-09-05 12:00:50 -06:00 |
|
|
Sean Bowe
|
7ee82c4361
|
Deallocate the public parameters during Shutdown.
|
2016-08-26 16:55:43 -06:00 |
|
|
Sean Bowe
|
393b2b7834
|
Update proving/verifying keys.
|
2016-08-22 15:48:43 -06:00 |
|
|
Sean Bowe
|
decde3864d
|
Enable MONTGOMERY_OUTPUT everywhere.
|
2016-08-22 15:48:43 -06:00 |
|
|
Sean Bowe
|
6a1653f009
|
Update libsnark dependency.
|
2016-08-22 15:48:20 -06:00 |
|
|
Sean Bowe
|
ae6b333c75
|
Perform curve parameter initialization at start of gtest suite.
|
2016-08-22 15:47:00 -06:00 |
|
|
Sean Bowe
|
f0dab51cf3
|
Implement zkSNARK compression.
|
2016-08-22 00:36:12 -06:00 |
|
|
ebfull
|
2ee6ed64eb
|
Add parenthesis around macro value definition
|
2016-08-18 10:43:58 -06:00 |
|
|
Sean Bowe
|
f5e5707d4c
|
Change memo field size and relocate ciphertexts field of JoinSplit description.
|
2016-08-15 09:39:14 -06:00 |
|
|
Sean Bowe
|
167aece517
|
z7 Release
|
2016-07-22 15:50:04 -06:00 |
|
|
Sean Bowe
|
4d66f8f68a
|
Add test for non-intuitive merkle tree gadget witnessing behavior.
|
2016-07-21 19:28:58 -06:00 |
|
|
Sean Bowe
|
25d2197043
|
Remove more from libsnark, and fix potential remote-DoS.
|
2016-07-21 18:34:59 -06:00 |
|
|
Sean Bowe
|
697cc53b29
|
Bump the (minimum) protocol version to avoid invoking legacy behavior from upstream.
|
2016-07-19 19:07:14 -06:00 |
|
|
Sean Bowe
|
1737627c4e
|
Introduce zcsamplejoinsplit for creating a raw joinsplit description, and use it to construct the joinsplit for the performance tests that verify joinsplits.
|
2016-07-19 15:49:11 -06:00 |
|
|
Sean Bowe
|
1477fd3f40
|
Remove the constraint system from the alpha proving key.
|
2016-07-19 14:01:58 -06:00 |
|
|
Sean Bowe
|
d36098f873
|
Rename pour in RPC tests.
|
2016-07-18 10:43:17 -06:00 |
|
|
Sean Bowe
|
b78daf7de7
|
Change serial to nf in txdb.
|
2016-07-18 10:07:30 -06:00 |
|
|
Sean Bowe
|
22de160219
|
Fixes for indentation and local variable names.
|
2016-07-18 10:07:29 -06:00 |
|
|
Sean Bowe
|
28173cd0de
|
Remove more usage of serial.
|
2016-07-18 10:06:18 -06:00 |
|
|
Sean Bowe
|
fd933ed05e
|
Fix tests
|
2016-07-18 10:06:18 -06:00 |
|
|
Sean Bowe
|
6e33353ea2
|
Rename pour RPC tests
|
2016-07-18 10:06:18 -06:00 |
|
|
Sean Bowe
|
ffcfe76d4f
|
Change encryptedbucket1 to encryptednote1.
|
2016-07-18 10:06:18 -06:00 |
|
|
Sean Bowe
|
9e511dbbdd
|
Rename CSerialsCacheEntry.
|
2016-07-18 10:06:18 -06:00 |
|
|
Sean Bowe
|
1d184d53e1
|
Rename cacheSerials to cacheNullifiers and fix tests.
|
2016-07-18 10:06:18 -06:00 |
|
|
Sean Bowe
|
cc01120a17
|
Rename more usage of serial.
|
2016-07-18 10:06:18 -06:00 |
|
|
Sean Bowe
|
b7e4abd6f7
|
Rename some usage of 'pour'.
|
2016-07-18 10:06:18 -06:00 |
|
|
Sean Bowe
|
bb64be52fe
|
Rename mapSerials to mapNullifiers.
|
2016-07-18 10:06:18 -06:00 |
|
|
Sean Bowe
|
d889a287ae
|
Rename CSerialsMap to CNullifiersMap.
|
2016-07-18 10:06:18 -06:00 |
|
|
Sean Bowe
|
d90e46ba8d
|
Renaming SetSerial to SetNullifier.
|
2016-07-18 10:06:18 -06:00 |
|
|
Sean Bowe
|
616f8d05af
|
Rename GetSerial to GetNullifier.
|
2016-07-18 10:06:18 -06:00 |
|
|
Sean Bowe
|
ee964faf3d
|
Rename HavePourRequirements to HaveJoinSplitRequirements.
|
2016-07-18 10:06:18 -06:00 |
|
|
Sean Bowe
|
942bc46756
|
Rename GetPourValueIn to GetJoinSplitValueIn
|
2016-07-18 10:06:18 -06:00 |
|
|
Sean Bowe
|
8f95cd3c26
|
Test fixes.
|
2016-07-18 10:06:18 -06:00 |
|
|
Sean Bowe
|
bfeaf0049a
|
Rename JSDescription's serials to nullifiers.
|
2016-07-18 10:06:18 -06:00 |
|
|
Sean Bowe
|
8675d94b63
|
Rename vpour to vjoinsplit.
|
2016-07-18 10:06:18 -06:00 |
|
|
Sean Bowe
|
a8c68ffe99
|
Rename CPourTx to JSDescription.
|
2016-07-18 10:06:18 -06:00 |
|
|
Sean Bowe
|
bf76024eb7
|
Pass our constraint system to libsnark, so that it doesn't need to (de)serialize it in the proving key.
|
2016-07-15 10:45:59 -06:00 |
|
|
Sean Bowe
|
1fad6b87e5
|
Initialize libsodium in this routine, which is now necessary because libsnark uses its PRNG.
|
2016-07-15 10:45:22 -06:00 |
|
|
Sean Bowe
|
e9f9a73ab7
|
Update libsnark to our fork.
|
2016-07-15 10:45:09 -06:00 |
|
|
Sean Bowe
|
35f82c35fe
|
Rename samplepour to samplejoinsplit
|
2016-07-11 11:33:14 -06:00 |
|
|
Sean Bowe
|
92b73b0dbb
|
Remove zerocash tests from full-test-suite.
|
2016-07-11 10:05:55 -06:00 |
|
|
Sean Bowe
|
f4091941f5
|
Reorder initialization routines to ensure verifying key log messages appear in debug.log.
|
2016-07-10 21:10:02 -06:00 |
|
|
Sean Bowe
|
ffcd1c57cc
|
Update tests with cache usage computations
|
2016-07-10 20:53:33 -06:00 |
|
|
Sean Bowe
|
2668a1bc13
|
Remove the rest of libzerocash.
|
2016-07-10 20:25:02 -06:00 |
|
|
Sean Bowe
|
2fbbde597c
|
Always check valid joinsplits during performance tests, and avoid recomputing them every time we change the circuit.
|
2016-07-09 14:31:43 -06:00 |
|
|
Sean Bowe
|
000383c193
|
Increase block size to 2MB and update performance test.
|
2016-07-07 16:53:16 -06:00 |
|
|
Sean Bowe
|
9c45b501ad
|
Make validatelargetx test more accurate, reduce block size limit to 1MB for now.
|
2016-07-06 12:07:50 -06:00 |
|
|
Sean Bowe
|
2ba9641767
|
Fix performance test for block verification.
|
2016-07-05 07:55:35 -06:00 |
|