22 Commits

Author	SHA1	Message	Date
parazyd	587f0b4b93	make fix and minor manual cleanups.	2022-05-22 12:29:23 +02:00
parazyd	d765387fd0	Update dependencies and reduce compilation time. ... For release, we don't need halo2 dev stuff, so we move it into dev-deps.	2022-05-21 13:32:13 +02:00
aggstam	698db2bd9d	example/lead.rs: removed duplicate dependencies	2022-05-16 18:58:49 +03:00
parazyd	f8c2ee5617	Port codebase to latest halo2 API.	2022-05-16 17:30:46 +02:00
Dastan-glitch	5b467f4cef	update Cargo.lock and fix formatting	2022-05-16 16:19:37 +03:00
mohab	8b9bdac46f	miscellaneous changes	2022-05-16 13:56:00 +02:00
mohab	683b96369d	[example/lead] provingkey is panking on leadcontract, fallback to previous example	2022-05-16 13:56:00 +02:00
mohab	24882c8cc9	[example/lead] create_lead_coin_public_inputs	2022-05-16 13:56:00 +02:00
mohab	3ea82ee8a3	[example/lead] create_coins_sk as PRF derived from previous sks	2022-05-16 13:56:00 +02:00
lunar-mining	40e48eacb0	dnetview: cleanup msg log Span assignment and cargo fmt ... cargo fmt picked up a few issus in zk/circuit/lead_contract.rs and example/lead.rs	2022-05-08 10:39:14 +02:00
mohab	a9d9fa0abc	[zk/lead] pruned abit..	2022-05-08 05:03:31 +02:00
mohab	fe5e6f7def	[zk/lead] set commitment tree for product of point's coordinates	2022-05-08 05:03:31 +02:00
mohab	0d7c7ce3fc	[zk/lead] removed commit1, commit2 for the contract, constrained the commitment instead	2022-05-08 05:03:31 +02:00
mohab	ead5e339e7	[zk/lead] replaced failing hash with mul	2022-05-08 05:03:31 +02:00
mohab	8d5b757ab4	[zk/lead] cop with changed incrementalmerkletree api	2022-05-08 05:03:31 +02:00
mohab	acc15409b4	[zk/lead] removed unused imports	2022-05-01 21:50:22 +02:00
lunar-mining	fac25736a1	dnetview: remove unused data structures and cleanup	2022-05-01 10:29:56 +02:00
mohab	1aa3e0245c	[zk/lead_contract] used y_commit in place it's coordinates	2022-04-30 22:39:49 +02:00
mohab	6765f079df	[example/lead] serialize point to deserizlied base instead of PointNode	2022-04-30 22:39:49 +02:00
mohab	762d80ac8b	[zk/circuit/lead_contract] removed redundant serial number	2022-04-30 22:39:49 +02:00
mohab	d5cb5d3424	[example/lead] pad sk with zeros, mismatch in sk len, and node len	2022-04-30 22:39:49 +02:00
mohab	3d5ae40f40	WIP, lead example	2022-04-30 22:29:06 +02:00