zec
/
libsnark
mirror of https://github.com/zcash/libsnark.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity
211 Commits 10 Branches 1 Tag 1.4 MiB
Commit Graph

211 Commits

Author SHA1 Message Date
Ariel Gabizon 131c497569 commented out test 2017-03-31 18:48:14 +03:00
Ariel Gabizon 1b2803e7e9 addressing comments 2017-03-17 15:49:37 +01:00
Ariel Gabizon 3d3a94122b small fix 2017-02-02 18:58:04 +07:00
Ariel Gabizon 7145dd78f8 removed redundant parameters from r1cs_ppzksnark_batch_verifier 2017-02-02 18:37:34 +07:00
Ariel Gabizon c457991424 addressing comments 2017-01-30 11:08:59 +07:00
Ariel Gabizon 167ac3bf00 addressing comments 2017-01-29 11:35:24 +07:00
Ariel Gabizon 398815e4b1 added pdf with explanation of batch verification 2017-01-16 12:26:08 +02:00
Ariel Gabizon bb6d8a5f81 added pdf with explanation of batch verification 2017-01-16 12:00:31 +02:00
Ariel Gabizon 65fd1ab337 added multiple miller-loops, probabilistic and batch verification 2017-01-14 10:19:59 +02:00
Daira Hopwood 8b422be264 Merge pull request #8 from bitcartel/libsnark_1464_ncc_2016_008 
Zcash issue #1464 ncc 2016 008
 2016-10-21 03:52:09 +01:00
Simon 22e07a0dde Fixes CID 1352697 uninitialized scalar field. 2016-10-20 11:50:38 -07:00
Simon 98d079025b Fixes CID 1352708 uninitialized scalar field. 2016-10-20 11:49:42 -07:00
Simon a2511fc3d2 Fixes CID 1352662 uninitialized scalar field. 2016-10-20 11:48:22 -07:00
ebfull 2e6314a9f7 Merge pull request #6 from zcash/bigint-final 
Bigint and sqrt changes
 2016-10-16 11:24:21 -06:00
ebfull 7547ea019b Merge pull request #7 from zcash/remove-indeterminism 
Comment out the inclusion of timestamps in compiled library
 2016-10-16 11:16:00 -06:00
str4d 5943244cab
Comment out the inclusion of timestamps in compiled library 2016-10-16 11:36:48 -05:00
Sean Bowe 4d23a06660 Remove debugging output that is spamming stdout. 2016-09-05 11:58:03 -06:00
Sean Bowe 8d8ae229d2 Ensure that sqrt(0) returns 0. 2016-09-05 11:34:04 -06:00
Daira Hopwood 2600977633 Update AUTHORS. 
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
 2016-09-05 11:30:30 -06:00
Daira Hopwood 213e288174 Add tests for bigint. 
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
 2016-09-05 11:30:24 -06:00
Daira Hopwood 17249c4ee0 Remove unneeded methods from bigint. 
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
 2016-09-05 11:30:16 -06:00
Daira Hopwood dfb460a013 Minor cleanups to bigint. 
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
 2016-09-05 11:29:51 -06:00
Daira Hopwood fd3de2d534 Support for bigint addition, multiplication, quotient+remainder, and comparison. 
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
 2016-09-05 11:29:43 -06:00
ebfull cd51cb60a5 Merge pull request #3 from zcash/final-changes 
Final libsnark API changes
 2016-08-22 01:19:37 -06:00
Sean Bowe 8ae419bb79 assert_except here to avoid remote DoS. 2016-08-18 13:45:56 -06:00
Sean Bowe e813b3a88e [Zcash] Always perform square checking in `sqrt`. 2016-08-18 12:12:53 -06:00
Sean Bowe 9407b5904f [Zcash] Deterministic pk/vk generation routine. 2016-08-18 12:12:50 -06:00
ebfull b9bf0dca4a Merge pull request #1 from zcash/cleanup 
More cleanup
 2016-08-09 00:31:19 -06:00
Taylor Hornby 11242d8afe [Zcash] Change assertions to exceptions to avoid potential DoS vectors. 2016-07-21 18:33:06 -06:00
Sean Bowe e3779f9049 [Zcash] Remove things we don't need. 2016-07-21 15:39:34 -06:00
Sean Bowe 59adbefcc8 [Zcash] Remove potential DoS vectors from verifier. 2016-07-21 14:21:49 -06:00
Sean Bowe a7031481fd [Zcash] Taylor's compilation patch. 2016-07-15 10:28:19 -06:00
Sean Bowe 403671675a [Zcash] Don't (de)serialize the constraint system in the proving key. 2016-07-15 10:27:02 -06:00
Sean Bowe a6b0ad0c80 [Zcash] Use libsodium's PRNG. 2016-07-15 10:25:38 -06:00
Sean Bowe dcb78b24d9 [Zcash] Modify makefile to stop compiling things we removed. 2016-07-15 10:22:35 -06:00
Sean Bowe 9216072c3b [Zcash] Remove code that we don't use. 2016-07-15 10:17:56 -06:00
Eran Tromer 5c43c25fb5 Merge pull request #40 from maxhowald/master 
add a space in "<::" to maintain compatibility with older compilers
 2016-06-14 01:45:33 +03:00
Max Howald ee663f7f1d add a space to maintain compatibility with older compilers 
<::SomeClass> doesn't compile in older versions of g++ (<4.8).
 < ::SomeClass> compiles with g++ 4.7.3.
 2016-06-09 17:55:45 -04:00
Eran Tromer c833e32605 Mark additional intentionally unused arguments as such. 2016-05-22 20:55:16 +03:00
Madars Virza 98feb46e31 Raise an exception of getBit() is used with incompatible field type. 
This fixes #23.
 2016-05-22 20:55:08 +03:00
Madars Virza 183859120d Add a missing check for linear_combination::is_valid(). 2016-05-22 20:55:03 +03:00
Madars Virza c7177e61fc Fix signed/unsigned integer comparisons in gadgetlib2 tests. 2016-05-22 20:54:57 +03:00
Madars Virza b8a82cb2ca Mark intentionally unused arguments as such. 2016-05-22 20:54:42 +03:00
Madars Virza 7b7d7afc99 Add more debug assertions for multi-exponentiation. 2016-05-22 20:54:35 +03:00
Eran Tromer ea7c5468af Merge pull request #35 from ThisIsNotOfficialCodeItsJustForks/add-iota-header 
Include header required for std::iota.
 2016-05-22 20:42:01 +03:00
Taylor Hornby c437365ec9 Include header required for std::iota. 2016-05-18 10:49:58 -06:00
Madars Virza 0896e82163 Add static library files to .gitignore 2016-04-06 20:42:02 -04:00
Madars Virza 30dd11ddc5 Add pp-zkSNARK with security proof in the generic group model, based on [Gro16]. 2016-04-06 20:40:51 -04:00
Eran Tromer 0b928a7b36 README.md: comment about OMP_NUM_THREADS 2015-11-23 18:45:31 +02:00
Madars Virza 40fb45d2dd backtrace is glibc-specific extension, so only use it when available. 
This fixes building libsnark on musl libc-based Linux systems such as
Alpine Linux.
 2015-10-30 20:55:26 -07:00