766 commits

This branch

This branch

All branches

Author	SHA1	Message	Date
Sean Bowe	378c56b952	Sample of abstraction for writing PLONK circuits	2020-08-27 11:43:08 -06:00
Sean Bowe	9852913a32	Add some comments and documentation.	2020-08-27 10:46:54 -06:00
Sean Bowe	1b6c0e9a8b	Remove _x suffix from variable names	2020-08-27 10:25:36 -06:00
Sean Bowe	9099e9d9ba	Properly invert when computing expected opening.	2020-08-27 10:16:42 -06:00
Sean Bowe	ad106f1119	(WIP) broken implementation of generalized PLONK	2020-08-27 10:10:55 -06:00
Sean Bowe	6051814c4b	Split coset step up so that we can query wires at multiple spots.	2020-08-24 13:50:52 -06:00
Sean Bowe	c59513eb28	Minor adjustments for CI	2020-08-24 13:35:12 -06:00
ebfull	44613ebd33	Merge pull request #1 from zcash/actions ... Actions workflow for CI	2020-08-24 13:26:08 -06:00
Sean Bowe	24b7e6cc7c	Run SRS synthesis on an empty circuit in test.	2020-08-24 08:36:41 -06:00
Sean Bowe	36f9e87056	Implementation of gate/query API	2020-08-24 08:28:42 -06:00
Sean Bowe	c20f3fdf1a	Give fixed and advice wires separate types	2020-08-23 13:26:04 -06:00
Sean Bowe	7edffe0197	Allow commitments to generic advice wire polynomials	2020-08-22 16:10:27 -06:00
Sean Bowe	c16141be9a	Introduce Variable type	2020-08-22 15:15:39 -06:00
Sean Bowe	9dfc6ac379	Add first pieces of the API.	2020-08-22 15:09:47 -06:00
Sean Bowe	68ef6fdc09	Draft of github actions workflow for CI	2020-08-22 14:32:28 -06:00
Sean Bowe	dd1ad9f114	Initial commit	2020-08-22 14:15:39 -06:00