129 Commits

Author	SHA1	Message	Date
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
rachel-rose	2cf8d414ff	got wallet generation working	2021-05-27 10:33:03 +02:00
rachel-rose	83485d8a01	changed darkcli to drk and made executable. moved to /scripts	2021-05-26 11:35:38 +02:00
narodnik	444770feda	rename sapvi namespace to drk	2021-05-22 15:45:02 +02:00
plato	f1a04cd6bb	Merge remote-tracking branch 'origin/master' into feature/lisp	2021-03-17 18:36:07 +01:00
plato	faaea967a6	added const for right and output on circuit enforce	2021-03-06 01:38:35 +01:00
narodnik	7996ed0e24	do not connect to self	2021-02-23 15:18:51 +01:00
narodnik	3140afef62	monitor the p2p network	2021-02-23 14:42:15 +01:00
narodnik	c42450c301	reorder logs tool	2021-02-01 14:22:11 +01:00