39 Commits

Author	SHA1	Message	Date
Sean Bowe	6e51712fce	Update `bn` crate.	2016-09-18 21:56:51 -06:00
Sean Bowe	97e2f2036d	Update bn and add logging.	2016-09-15 08:43:45 -06:00
Sean Bowe	983af331b2	Improve performance of verification.	2016-09-14 15:04:14 -06:00
Sean Bowe	02515e74b1	Read R1CS to disk, write final proving/verifying key to disk.	2016-09-14 11:46:45 -06:00
Sean Bowe	6fdcc6f75b	Refactor dummy CS instance creation.	2016-09-14 11:15:53 -06:00
Sean Bowe	653c92a668	Refactor locations of some structures.	2016-09-12 16:51:35 -06:00
Sean Bowe	96989f61ac	Switch to using BN crate and refactor implementation.	2016-09-12 16:32:36 -06:00
Sean Bowe	206d66ebc7	Perform byte for byte comparison between the two keys.	2016-08-19 00:41:57 -06:00
Sean Bowe	f28d2339c7	Perform complete comparison between simulated MPC keypair and hypothetical resulting keypair.	2016-08-19 00:33:42 -06:00
Sean Bowe	4c9ab85235	Check K query against proving key generated using shared secrets.	2016-08-16 11:53:01 -06:00
Sean Bowe	b6c4ed06f7	Generate keypair from shared secrets.	2016-08-16 11:20:42 -06:00
Sean Bowe	40a84a8cd1	Make deterministic key generation API in libsnark fork available.	2016-08-16 10:48:16 -06:00
Sean Bowe	24ecbdf5c7	Progress on protocol reimplementation.	2016-08-14 15:26:07 -06:00
Sean Bowe	d5414d7c3f	Rearrange CS constructor.	2016-08-09 01:03:52 -06:00
Sean Bowe	a487c8a2d8	Add additional alignment assertions.	2016-08-09 00:39:50 -06:00
Sean Bowe	2102573efd	Remove ate-pairing, we shouldn't need it.	2016-08-09 00:36:49 -06:00
Sean Bowe	5e838fe2b4	Implementation cleanup and reorganization.	2016-08-09 00:35:28 -06:00
Sean Bowe	15d017ab56	Refactorings, cleanup, start of full protocol simulation.	2016-08-06 22:47:43 -06:00
Sean Bowe	7468b3b327	Place d, num_vars, omega in CS.	2016-08-06 11:42:21 -06:00
Sean Bowe	4ad19126df	Make FFT and division by d parallel.	2016-08-06 11:32:31 -06:00
Sean Bowe	ff21686e97	More comparisons and tests of lagrange coefficients in G2.	2016-08-06 07:23:46 -06:00
Sean Bowe	5a929abebe	Evaluate Bt in G2.	2016-08-06 07:15:28 -06:00
Sean Bowe	5a93bf365a	Use uint64_t throughout FFI.	2016-08-06 01:31:23 -06:00
Sean Bowe	adfc73b997	Evaluate A, B, C in lagrange basis over G1.	2016-08-06 01:24:58 -06:00
Sean Bowe	dc87adf7fc	Carry the constraint system through and compute QAP reduction whenever necessary.	2016-08-05 12:06:51 -06:00
Ariel Gabizon	bc6fd2683e	returning qap	2016-08-05 20:30:52 +03:00
Sean Bowe	4f85755795	Add FFT for computing the H query.	2016-08-04 21:47:20 -06:00
Sean Bowe	977a8e8dab	Add Fr::inverse	2016-08-04 20:22:31 -06:00
Sean Bowe	2d15e9df46	More possible libsnark interactions (exponentiation of Fr, zero/one) and changes to `const` in interface.	2016-08-03 09:10:59 -06:00
Sean Bowe	f18273d8df	Add checks for sizes/alignment.	2016-08-02 23:30:47 -06:00
Sean Bowe	dcb0d44b00	Allow us to easily switch to ate-pairing later.	2016-08-02 23:06:22 -06:00
Sean Bowe	3d8a255235	Change opt level	2016-08-02 22:02:27 -06:00
Sean Bowe	c05c8c0d90	Randompowers subprotocol simulation	2016-08-02 16:19:04 -06:00
Sean Bowe	79e5782089	Fundamental pieces of the random powers subprotocol	2016-08-02 14:01:25 -06:00
Sean Bowe	27ad4bb114	Rename bnwrap to libsnarkwrap.	2016-08-02 10:35:28 -06:00
Sean Bowe	e25790b4ca	Add README to snark subcrate.	2016-08-02 10:28:56 -06:00
Sean Bowe	07f1411031	Rename mpc_snark to snark.	2016-08-02 10:25:57 -06:00
Sean Bowe	aa3e4602bc	Collapse mpc_snark's curve down.	2016-08-02 10:24:00 -06:00
Sean Bowe	4130c497da	Split libsnark interactions into subcrate	2016-08-02 10:22:35 -06:00