137 Commits

Author	SHA1	Message	Date
narodnik	181108ca90	mostly working halo1 impl	2021-07-24 15:15:59 +02:00
narodnik	b5243dcbbe	sonic: print constant_coefficient	2021-07-23 22:46:00 +02:00
narodnik	c3a65d8479	halo1 sage script	2021-07-23 22:45:33 +02:00
narodnik	db91508dc9	sonic: bugfix due to typo s/v/w/	2021-07-23 11:29:38 +02:00
narodnik	d890d902fc	halo1: polynomial commitment over ring example	2021-07-23 11:28:45 +02:00
narodnik	514e286fe0	create functions for polynomial commitment proofs in sage	2021-07-21 23:16:04 +02:00
narodnik	e51b0abc99	polynomial commitment proof based off groth16 inner product argument	2021-07-21 22:27:02 +02:00
narodnik	b907aaf5f3	groth inner product zero knowledge argument of knowledge	2021-07-21 19:37:15 +02:00
narodnik	49864a8349	sonic: add blinding factors to r(X, Y) for step zkP1	2021-07-18 14:52:12 +02:00
narodnik	c80be76d6d	comment out blinding factors for poly	2021-07-18 09:26:25 +02:00
narodnik	76cb1e37c0	sonic: add sonic protocol steps to sage version	2021-07-17 11:30:55 +02:00
narodnik	cd11aecbd8	sonic: add protocol steps	2021-07-17 11:24:41 +02:00
narodnik	8663911041	remove hardcoded fp	2021-07-17 11:18:08 +02:00
narodnik	f5b4e93f92	sage version of sonic arithmetization	2021-07-17 10:50:56 +02:00
narodnik	937ce246a0	sonic: filter out X^0 terms from t(X, Y) poly	2021-07-17 10:32:13 +02:00
narodnik	0b865a69c8	calculate sonic arithmetization equations	2021-07-17 10:16:56 +02:00
∞ − 0 − a + a + 0 = ∞	93458c7d93	Merge pull request #1 from parazyd/master ... Code linting	2021-07-17 09:13:53 +02:00
narodnik	b892d0dcb3	multipoly: subtraction	2021-07-16 22:58:33 +02:00
narodnik	7af2974d90	working multivariate polynomial multiplication	2021-07-16 22:49:47 +02:00
narodnik	4497eb0f83	multipoly: simplify addition code	2021-07-16 21:20:21 +02:00
narodnik	6c7a022ec5	working multivariate polynomial over finite field addition operation	2021-07-16 21:14:30 +02:00
narodnik	d3af533305	allow adding constants to the polynomial	2021-07-16 21:14:30 +02:00
parazyd	340631df2d	Code linting. ... For best and standard practices in Rust, acronyms should be CamelCase, and capitalization should be avoided; i.e. ZKCircuit -> ZkCircuit This commit replaces all such occurencies in the codebase.	2021-07-16 11:25:56 +02:00
narodnik	c63b1fca9a	add sonic linear constraints	2021-07-15 00:16:13 +02:00
narodnik	a4ad1d44a0	working sonic arithmetization	2021-07-14 23:58:19 +02:00
narodnik	6725b6c2d3	delete x^0 and skip terms with 0 coefficients from multivariate polynomials	2021-07-14 11:20:16 +02:00
narodnik	f62fcf0342	sonic arithmetization	2021-07-14 11:13:14 +02:00
lunar-mining	cbd8e49bea	moved python dark_client to scripts/old	2021-07-14 08:46:16 +02:00
narodnik	7676b74a8b	multivariable polynomial class	2021-07-11 13:24:54 +02:00
narodnik	824c822131	added r1cs to bootle16 example	2021-07-04 18:45:50 +02:00
narodnik	359a98382c	add simple zk arithmetization example, will be used for bootle16	2021-07-04 18:05:52 +02:00
narodnik	d54af89ea6	Merge branch 'asset-id'	2021-07-04 12:40:13 +02:00
rachel-rose	e0053026aa	added wallet tests. updated adapter functions to init_db()	2021-07-02 21:31:47 +02:00
rachel-rose	cf160aafb0	re-implemented drk cli function calls	2021-06-29 09:44:31 +02:00
narodnik	f28ec92099	EC addition function	2021-06-28 23:48:21 +02:00
Nym	015a7ec973	Add use of SAPLING_COMMITMENT_TREE_DEPTH if needed.	2021-06-28 20:25:52 +00:00
narodnik	2a8fb1ac27	add addition example	2021-06-28 21:17:36 +02:00
narodnik	44cd6e2803	update pasta files with better curve info data	2021-06-28 21:14:39 +02:00
narodnik	b6fe2c5457	symlink ff library for plonk impl	2021-06-28 20:59:13 +02:00
ghassmo	c8870bdc59	refactor dark_client and use async code	2021-06-27 09:50:24 +03:00
narodnik	091184f005	plonk circuit setup routines	2021-06-23 09:48:49 +02:00
rachel-rose	4c7ce86360	made walletdb constructor, modified darkfid.rs with reference to walletdb. updated walletdb with ... wallet variables. partially implemented cashier check.	2021-06-20 10:48:56 +02:00
rachel-rose	2744ddeeff	added subparsers to drk cli	2021-06-11 13:15:14 +02:00
rachel-rose	95bf3ccf45	cashier key gen test passed	2021-06-09 15:14:33 +02:00
rachel-rose	88df2426a9	added test case for pub key retrieval	2021-06-09 12:43:26 +02:00
rachel-rose	dd21e0a9f3	made path retreival more general	2021-06-07 11:42:28 +02:00
rachel-rose	124a24ec43	added debug statements	2021-06-03 09:48:37 +02:00
rachel-rose	b3c1768bd6	added cashier generation code to cli/ rpc	2021-05-30 14:32:32 +02:00
narodnik	149659c74d	Merge branch 'master' of github.com:darkrenaissance/darkfi	2021-05-30 10:42:19 +02:00
narodnik	ef6ee7e4bd	add vesta pasta curve script	2021-05-30 10:41:52 +02:00