tornado-packages/phase2-bn254
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Commit Graph

  • c93a47f8ef makes verify_transform verify intersection between chunks Kobi Gurkan 2019-09-04 18:19:46 +03:00
  • 1388c0a55e removes debug prints Kobi Gurkan 2019-09-04 15:54:48 +03:00
  • 470dff3d92 adds verify.rs to verify transcript and working phase2 for bn254 Kobi Gurkan 2019-09-04 13:15:17 +03:00
  • 5d6690f9b8 Add 'powersoftau/' from commit '34b4d09b4ccc459d757a77c94b391a1f64f66f76' Kobi Gurkan 2019-09-02 15:50:38 +03:00
  • 37bdc022d6 makes phase2 compile Kobi Gurkan 2019-09-02 15:50:18 +03:00
  • c08803f3be Add 'bellman/' from commit '1aff83c6ec670a1e4722f079351c55c79e2e6ef5' Kobi Gurkan 2019-09-02 15:34:51 +03:00
  • 1ac4b55786 Add 'phase2/' from commit '58ebd37d9d25b6779320b0ca99b3c484b679b538' Kobi Gurkan 2019-08-29 13:12:42 +03:00
  • ed7c89f767 adds readme Kobi Gurkan 2019-08-29 13:12:33 +03:00
  • 1aff83c6ec
         Merge pull request from matter-labs/optimizations Alexander 2019-07-13 22:01:21 +03:00
  • d23b855f76 prepare to publish Alex Vlasov 2019-07-13 21:59:48 +03:00
  • e93d939ae0
         Merge pull request from matter-labs/playground Alexander 2019-07-13 21:58:58 +03:00
  • bfb809c1cd prepare to publish Alex Vlasov 2019-07-13 21:58:06 +03:00
  • 4bf78bb978 finish with prefetch Alex Vlasov 2019-07-13 21:54:06 +03:00
  • 07ca2e83b6 implement prefetch for nightly Alex Vlasov 2019-07-13 17:39:38 +03:00
  • 2d9f5528d4 fix for newer pairing and ff Alex Vlasov 2019-07-13 16:58:25 +03:00
  • 2567aab84d fix for edition 2018 Alex Vlasov 2019-07-12 22:05:30 +03:00
  • 1dae6b69db start migrating to edition 2018 Alex Vlasov 2019-07-12 21:59:06 +03:00
  • b6160fcd1b add some traits to efficiently work with Poseidon hash for now Alex Vlasov 2019-06-28 15:57:17 +03:00
  • dc47502ad2 update readme Alex Vlasov 2019-06-17 20:17:19 +03:00
  • 2e53ffc97f done as a principal part, now should add public API Alex Vlasov 2019-06-17 19:55:05 +03:00
  • fafa64749e done? now fix transcripts for multiple challenges Alex Vlasov 2019-06-11 21:31:32 +03:00
  • ae9716a428 TODO: reformulate permutation argument Alex Vlasov 2019-06-11 15:43:27 +03:00
  • eaaff874fc start eliminating excessive commitments Alex Vlasov 2019-06-07 20:07:01 +03:00
  • d4dd7d27fa cleanup succinct arguments for batched verification Alex Vlasov 2019-06-06 22:12:38 +03:00
  • da501f4572 succinct sonics! now refactor Alex Vlasov 2019-06-06 18:50:57 +03:00
  • 3d65dcbb6b huge verbosity, but problem is pinned Alex Vlasov 2019-06-06 17:12:02 +03:00
  • b8d4b0cea4 permutation argument works as itself, but not for verifier Alex Vlasov 2019-06-06 14:24:21 +03:00
  • 95b91fc0b0 make succinct transformation working, can now make full protocol Alex Vlasov 2019-06-06 00:50:46 +03:00
  • 76c2d3451f fix warning Alex Vlasov 2019-06-02 21:26:26 +03:00
  • b75da3d8dc fix BE to LE Alex Vlasov 2019-06-02 16:55:34 +03:00
  • 47948ef8a5 implement decoding from raw representation Alex Vlasov 2019-06-01 14:08:44 +03:00
  • 9228d20862 prepare for gpu integration Alex Vlasov 2019-05-30 18:14:18 +03:00
  • 74f0a18f31 cleaner NAF form Alex Vlasov 2019-05-30 16:13:01 +03:00
  • 8cfacca862 fix imports in SONICs Alex Vlasov 2019-03-31 10:27:08 +03:00
  • 4e738abd38 rebase on 0.3.0 Alex Vlasov 2019-03-31 10:24:48 +03:00
  • ca1f41c7ff prepare for cleanup of SONIC feature Alex Vlasov 2019-03-31 09:00:50 +03:00
  • c53de6eee8 use PDF instead for bookkeeping Alex Vlasov 2019-03-18 21:53:39 +03:00
  • b7be1049ce add discussion document Alex Vlasov 2019-03-18 21:48:10 +03:00
  • cc692ccb36 finish with parallelization. Kate division is next Alex Vlasov 2019-03-15 21:49:31 +03:00
  • 500f33d1e6 temporary commit Alex Vlasov 2019-03-15 18:00:52 +03:00
  • 2a5dc08cf6 implemented parallelized kate division, with a lot of TODOs Alex Vlasov 2019-03-11 14:57:14 +01:00
  • 9f887847f7 update readme for 0.2.0 version Alex Vlasov 2019-03-06 18:16:09 +01:00
  • 86e3f9c442 prepare for publishing Alex Vlasov 2019-03-31 09:31:34 +03:00
  • 4ed620ebf2 prepare for publishing Alex Vlasov 2019-03-31 09:08:33 +03:00
  • 219929ee33
         Merge pull request from poma/wasm Alexander 2019-03-31 16:34:46 +03:00
  • 55f589ae13
         Update README.md Petr Korolev 2019-03-31 11:57:50 +03:00
  • 5512528364 prepare for cleanup of SONIC feature Alex Vlasov 2019-03-31 09:00:50 +03:00
  • d2c8b93fe9 prepare for publishing Alex Vlasov 2019-03-31 09:00:01 +03:00
  • 34b4d09b4c
         Merge pull request from matter-labs/update-readme Petr Korolev 2019-03-27 23:15:50 +02:00
  • 812e4082fe add instructions for ceremony Petr Korolev 2019-03-26 23:52:14 +02:00
  • 04a69f9e1d add compile error poma 2019-03-26 10:20:20 +03:00
  • afa9326c81 fix log macros poma 2019-03-24 11:43:42 +03:00
  • 4aad6f3fdf Fix singlecore warning poma 2019-03-24 09:29:07 +03:00
  • 4ed859e151 WASM compatibility poma 2019-03-24 09:28:54 +03:00
  • 9819e9e08b Merge singlecore and multicore configs poma 2019-03-24 07:47:47 +03:00
  • 23f4616815 use PDF instead for bookkeeping Alex Vlasov 2019-03-18 21:53:39 +03:00
  • 3962151035 add discussion document Alex Vlasov 2019-03-18 21:48:10 +03:00
  • 08cbd05a26 finish with parallelization. Kate division is next Alex Vlasov 2019-03-15 21:49:31 +03:00
  • a0aaf7a6e4 temporary commit Alex Vlasov 2019-03-15 18:00:52 +03:00
  • 2173354b1f implemented parallelized kate division, with a lot of TODOs Alex Vlasov 2019-03-11 14:57:14 +01:00
  • c46bc9b4ad disable async flush of memmap for now, before further investigation Alex Vlasov 2019-03-08 21:31:59 +01:00
  • 847b22826f add explicit non-infinity checks Alex Vlasov 2019-03-08 15:37:36 +01:00
  • 8260b7dfa9 update tools for more clear messages about hashes of files Alex Vlasov 2019-03-08 01:23:02 +01:00
  • 6e784deda8 update readme for 0.2.0 version Alex Vlasov 2019-03-06 18:16:09 +01:00
  • 2edd90248c choose 2^25 powers for test ceremony in Paris Alex Vlasov 2019-03-05 11:41:00 +01:00
  • e62cb6a09b use versioning for reproducible builds Alex Vlasov 2019-03-05 10:35:30 +01:00
  • 6e45a4b233
         Merge pull request from matter-labs/sonic Alexander 2019-03-05 10:27:31 +01:00
  • f12986aaeb fix compilation warnings, disable sonics in default features Alex Vlasov 2019-03-05 10:26:28 +01:00
  • 2a453c3325 improve message about domain sizes and operation timings Alex Vlasov 2019-03-05 09:58:59 +01:00
  • c2af46cac3 fix reexports finally Alex Vlasov 2019-03-05 09:47:43 +01:00
  • a99132955a fixed singlecore dense multiexp Alex Vlasov 2019-03-05 09:44:38 +01:00
  • 810bb92cee start transitioning to versioning + more elegant re-exports Alex Vlasov 2019-03-04 23:04:39 +03:00
  • 67f1b080c2 update version Alex Vlasov 2019-03-04 19:49:52 +03:00
  • 0c5a295c8a reexport properly Alex Vlasov 2019-03-04 19:49:14 +03:00
  • 443e40de5f prefer to re-expose ff in pairing to avoid dependency hell Alex Vlasov 2019-03-04 19:35:10 +03:00
  • 04454890b9 permutation argument is complete Alex Vlasov 2019-02-28 20:37:33 +03:00
  • 4db0a32f5b cleanup for freeze Alex Vlasov 2019-02-27 19:10:19 +03:00
  • 0a2ed705dc start making permutation argument Alex Vlasov 2019-02-27 01:06:14 +03:00
  • c64438e800 start implementing permutation argument Alex Vlasov 2019-02-26 18:10:33 +03:00
  • b70af73621 grand product argument is complete Alex Vlasov 2019-02-26 16:58:47 +03:00
  • f8d99df957 first part of the grand product argument is complete Alex Vlasov 2019-02-26 16:07:57 +03:00
  • 5fdb9cf353 first step of the grand product argument Alex Vlasov 2019-02-25 20:57:43 +03:00
  • be62b361ed start preparing grand product argument Alex Vlasov 2019-02-23 16:46:34 -05:00
  • cbf95acb11 update a progress Alex Vlasov 2019-02-23 16:04:31 -05:00
  • b5e024162d implement tests for well formed argument Alex Vlasov 2019-02-23 16:02:38 -05:00
  • 08f1384c7c finish wellformedness argument, can now test Alex Vlasov 2019-02-21 20:42:56 -05:00
  • 0089b98439 start making wellformedness argument Alex Vlasov 2019-02-21 20:26:45 -05:00
  • 37f57a99a6 implement s2 commitment Alex Vlasov 2019-02-21 18:55:56 -05:00
  • d4b8a481f1 start implementing unhelped sonic Alex Vlasov 2019-02-18 17:56:15 -05:00
  • 6dc9055cf3 introduce blindings Alex Vlasov 2019-02-18 18:56:11 +01:00
  • 5f8618b437 ok, blinding are may be in place, but need more carefull evaluation cause r(zy, 1) != r(z, y) if follow the algorithm 1 from the paper Alex Vlasov 2019-02-12 02:31:07 +03:00
  • 2d69758c18 parallelize almost everything Alex Vlasov 2019-02-12 01:52:18 +03:00
  • 57a6ce94e8 use another sync primitive for dense multiexp Alex Vlasov 2019-02-11 21:58:23 +03:00
  • b7d59787ed implement high-level helper api Alex Vlasov 2019-02-10 19:44:53 +03:00
  • f98b6eaaf4 introduce high-level verifier api Alex Vlasov 2019-02-10 19:20:06 +03:00
  • 2327a4527b proper use of features for compilation Alex Vlasov 2019-02-10 01:44:01 +03:00
  • 3f766246de continue to integrate helped SONIC. Now only verifier left Alex Vlasov 2019-02-10 01:36:40 +03:00
  • 614d486b99 introduce error handling Alex Vlasov 2019-02-07 17:25:24 +03:00
  • 056b7873cc implement parallelized polynomial evaluation Alex Vlasov 2019-02-07 17:19:20 +03:00
  • dc5e5ffe31 whoops, prover needs not 3*n, but 4*n Alex Vlasov 2019-02-07 15:04:40 +03:00