Commit Graph

  • eb469f5e53
    Split Digest into Digest512/Digest256 using blake2b/blake2s. Sean Bowe 2016-09-23 22:42:27 -0600
  • 73e6e9fda4
    Add ISO generation dockerfile. Sean Bowe 2016-09-22 23:42:01 -0600
  • 4cdf29d806
    Working DVD communication utilities. Sean Bowe 2016-09-21 16:35:11 -0600
  • 46c9a5e436
    Clean up constants. Sean Bowe 2016-09-20 13:39:52 -0600
  • 82b4aaa915
    Remove unnecessary logging. Sean Bowe 2016-09-20 13:33:29 -0600
  • 68d921912d
    Split `Digest` into its own module. Sean Bowe 2016-09-20 12:33:06 -0600
  • 434100df1e
    Add NIZKs to `PublicKey` to ensure the participant knows the respective secrets. Sean Bowe 2016-09-19 19:57:26 -0600
  • 32d3db8421
    Refactor well-formedness checks. Sean Bowe 2016-09-19 19:18:35 -0600
  • 82c90ad2de
    Change name of public key fields. Sean Bowe 2016-09-19 19:00:54 -0600
  • 4c13088cf6 Schnorr NIZKs. Ariel Gabizon 2016-09-19 18:48:01 -0600
  • 486f06ae79
    Coordinator shouldn't construct the keypair, verifier can. Sean Bowe 2016-09-19 10:48:31 -0600
  • a66949d24a
    Add BLAKE2. Sean Bowe 2016-09-19 10:35:32 -0600
  • 6e51712fce
    Update `bn` crate. Sean Bowe 2016-09-18 21:56:51 -0600
  • 2ffb9552e9
    Added more tests. Sean Bowe 2016-09-17 22:18:34 -0600
  • f86b6d2613
    Multithreading improvements. Sean Bowe 2016-09-17 20:49:56 -0600
  • f65e36a684
    Test that keypair isn't correct when it shouldn't be. Sean Bowe 2016-09-17 20:20:44 -0600
  • 2a2e10d3e0
    Added simulator binary for R1CS. Sean Bowe 2016-09-17 14:48:08 -0600
  • 10c65393a9
    More parallel. Sean Bowe 2016-09-17 12:53:13 -0600
  • 00a7c93ea0
    Multithread the last step of the FFT. Sean Bowe 2016-09-17 12:17:41 -0600
  • 8a32e77949
    K query in parallel. Sean Bowe 2016-09-17 12:02:05 -0600
  • 1aa90ee32e
    Factor out crossbeam slightly. Sean Bowe 2016-09-17 11:34:11 -0600
  • 5ceed54d63
    Clarify comments. Sean Bowe 2016-09-16 17:48:45 -0600
  • 1571ff5f90
    Reorganization of multicore/qap/spair. Sean Bowe 2016-09-16 17:25:50 -0600
  • 5f50eea70d
    Added public verifier tool. Sean Bowe 2016-09-16 17:11:46 -0600
  • 84cee5476d
    Make these methods available only in test mode. Sean Bowe 2016-09-16 15:32:56 -0600
  • 7bbd385fbf
    Another large refactoring. Sean Bowe 2016-09-15 16:50:20 -0600
  • 79ac89d6e9
    Refactor construction of k query and Stage2Values. Sean Bowe 2016-09-15 12:59:02 -0600
  • 97e2f2036d
    Update bn and add logging. Sean Bowe 2016-09-15 08:43:45 -0600
  • 983af331b2
    Improve performance of verification. Sean Bowe 2016-09-14 15:04:14 -0600
  • b06d48c728
    Refactor checking slightly for multithreading. Sean Bowe 2016-09-14 14:19:16 -0600
  • 02515e74b1
    Read R1CS to disk, write final proving/verifying key to disk. Sean Bowe 2016-09-14 11:46:45 -0600
  • 6fdcc6f75b
    Refactor dummy CS instance creation. Sean Bowe 2016-09-14 11:15:53 -0600
  • f2c79f9111
    Writing coordinator/player implementations. Sean Bowe 2016-09-13 14:57:25 -0600
  • 07ab5b6898
    Reorganize into `coordinator` and `player` binaries. Sean Bowe 2016-09-13 13:33:29 -0600
  • 6e987d78b1
    No need to clone this. Sean Bowe 2016-09-13 11:42:11 -0600
  • 5a6f2cd903
    Improve tau power performance. Sean Bowe 2016-09-12 17:19:36 -0600
  • fb0d84bac2
    Parallelize vector group multiplication. Sean Bowe 2016-09-12 16:59:13 -0600
  • 653c92a668
    Refactor locations of some structures. Sean Bowe 2016-09-12 16:51:35 -0600
  • 96989f61ac
    Switch to using BN crate and refactor implementation. Sean Bowe 2016-09-12 16:32:36 -0600
  • 5e6e1f7f7d
    Add links for Ariel/Matthew Sean Bowe 2016-08-19 01:24:48 -0600
  • 206d66ebc7
    Perform byte for byte comparison between the two keys. Sean Bowe 2016-08-19 00:41:57 -0600
  • f28d2339c7
    Perform complete comparison between simulated MPC keypair and hypothetical resulting keypair. Sean Bowe 2016-08-18 23:10:12 -0600
  • 4c9ab85235
    Check K query against proving key generated using shared secrets. Sean Bowe 2016-08-16 11:53:01 -0600
  • b6c4ed06f7
    Generate keypair from shared secrets. Sean Bowe 2016-08-16 11:20:42 -0600
  • fa278a429d
    Remove simulation of dropped parties to simplify comparison with libsnark. Sean Bowe 2016-08-16 11:02:54 -0600
  • 1665f37360
    Prepare to simulate against libsnark's key generation. Sean Bowe 2016-08-16 10:58:31 -0600
  • 40a84a8cd1
    Make deterministic key generation API in libsnark fork available. Sean Bowe 2016-08-16 10:48:16 -0600
  • 755b676345
    Fix more nits. Sean Bowe 2016-08-16 10:45:20 -0600
  • 9d5ddb67da
    Merge branch 'fixnits' Sean Bowe 2016-08-16 10:41:10 -0600
  • 6790f230a3
    Fix nits. Sean Bowe 2016-08-16 10:40:53 -0600
  • 7abcb61cf5 added random coeffs part II to protocol Ariel Gabizon 2016-08-16 18:49:39 +0300
  • 77b26caf29 added rho_b function. added pk_B_temp everywhere Ariel Gabizon 2016-08-16 18:27:20 +0300
  • 4f94bfa908 implemented random_coeffs_part_two Ariel Gabizon 2016-08-16 16:47:18 +0300
  • 1ac23bc647 implemented check_random_coeffs_part_two Ariel Gabizon 2016-08-16 13:26:35 +0300
  • b2312e1b43 added elements for second random coeffs round Ariel Gabizon 2016-08-15 23:04:19 +0300
  • 10523fe9cc
    Improve variable names. Sean Bowe 2016-08-14 23:44:53 -0600
  • 5b6bc30ef2
    Clean implementation a bit. Sean Bowe 2016-08-14 23:23:20 -0600
  • fda5691de4
    Add some comments Sean Bowe 2016-08-14 23:14:37 -0600
  • 40288e0c65
    Refactor QAP related functions. Sean Bowe 2016-08-14 23:07:00 -0600
  • 24ecbdf5c7
    Progress on protocol reimplementation. Sean Bowe 2016-08-14 15:26:07 -0600
  • dfe3f4d0ba started random coeffs Ariel Gabizon 2016-08-09 23:03:58 +0300
  • 29bf81ac9e use hashmap Ariel Gabizon 2016-08-09 22:27:26 +0300
  • d9d5c82e21 changed method names Ariel Gabizon 2016-08-09 22:10:08 +0300
  • 39ecc79d3e checked in spair::new that both elements non-zero Ariel Gabizon 2016-08-09 21:54:12 +0300
  • 278987d1f8
    Minor nits and cleanup Sean Bowe 2016-08-09 12:02:31 -0600
  • d32bed7b72
    Progress on protocol implementation rewrite. Sean Bowe 2016-08-09 11:44:35 -0600
  • d5414d7c3f
    Rearrange CS constructor. Sean Bowe 2016-08-09 01:03:52 -0600
  • a487c8a2d8
    Add additional alignment assertions. Sean Bowe 2016-08-09 00:39:50 -0600
  • 2102573efd
    Remove ate-pairing, we shouldn't need it. Sean Bowe 2016-08-09 00:33:35 -0600
  • 5e838fe2b4
    Implementation cleanup and reorganization. Sean Bowe 2016-08-08 22:54:30 -0600
  • 15d017ab56
    Refactorings, cleanup, start of full protocol simulation. Sean Bowe 2016-08-06 22:47:43 -0600
  • 7468b3b327
    Place d, num_vars, omega in CS. Sean Bowe 2016-08-06 11:42:21 -0600
  • ea0b341eed
    lagrange_coeffs can infer the degree. Sean Bowe 2016-08-06 11:35:12 -0600
  • 4ad19126df
    Make FFT and division by d parallel. Sean Bowe 2016-08-06 11:32:31 -0600
  • ac39f38e90
    Rename fft module to lagrange. Sean Bowe 2016-08-06 07:28:07 -0600
  • ff21686e97
    More comparisons and tests of lagrange coefficients in G2. Sean Bowe 2016-08-06 07:23:46 -0600
  • 5a929abebe
    Evaluate Bt in G2. Sean Bowe 2016-08-06 07:15:28 -0600
  • 5a93bf365a
    Use uint64_t throughout FFI. Sean Bowe 2016-08-06 01:31:23 -0600
  • adfc73b997
    Evaluate A, B, C in lagrange basis over G1. Sean Bowe 2016-08-06 01:24:58 -0600
  • 6ae611cbcb
    Move spair to root of crate. Sean Bowe 2016-08-05 23:36:42 -0600
  • 8b90db0c36
    Add more tests for random power verification Sean Bowe 2016-08-05 23:34:15 -0600
  • 6574e8c9f6
    Refactor spair and remove old randompowers module. Sean Bowe 2016-08-05 23:23:37 -0600
  • 3aab758a11
    Start splitting protocol specific routines off. Sean Bowe 2016-08-05 23:12:34 -0600
  • dc87adf7fc
    Carry the constraint system through and compute QAP reduction whenever necessary. Sean Bowe 2016-08-05 12:06:51 -0600
  • a736e51e7f Merge pull request #9 from Electric-Coin-Company/carry_qap ebfull 2016-08-05 11:36:24 -0600
  • bc6fd2683e returning qap Ariel Gabizon 2016-08-05 20:30:52 +0300
  • 4f85755795
    Add FFT for computing the H query. Sean Bowe 2016-08-04 21:47:20 -0600
  • 977a8e8dab
    Add Fr::inverse Sean Bowe 2016-08-04 20:22:31 -0600
  • 2d15e9df46
    More possible libsnark interactions (exponentiation of Fr, zero/one) and changes to `const` in interface. Sean Bowe 2016-08-03 09:10:59 -0600
  • f18273d8df
    Add checks for sizes/alignment. Sean Bowe 2016-08-02 23:30:47 -0600
  • dcb0d44b00
    Allow us to easily switch to ate-pairing later. Sean Bowe 2016-08-02 22:50:39 -0600
  • 3d8a255235
    Change opt level Sean Bowe 2016-08-02 22:02:27 -0600
  • c05c8c0d90
    Randompowers subprotocol simulation Sean Bowe 2016-08-02 16:14:05 -0600
  • 79e5782089
    Fundamental pieces of the random powers subprotocol Sean Bowe 2016-08-02 14:01:25 -0600
  • 27ad4bb114
    Rename bnwrap to libsnarkwrap. Sean Bowe 2016-08-02 10:35:28 -0600
  • e25790b4ca
    Add README to snark subcrate. Sean Bowe 2016-08-02 10:28:56 -0600
  • 07f1411031
    Rename mpc_snark to snark. Sean Bowe 2016-08-02 10:25:57 -0600
  • aa3e4602bc
    Collapse mpc_snark's curve down. Sean Bowe 2016-08-02 10:24:00 -0600
  • 4130c497da
    Split libsnark interactions into subcrate Sean Bowe 2016-08-02 10:22:35 -0600
  • 104c624271
    Turn mpc into library. Sean Bowe 2016-08-02 10:13:13 -0600