13 Commits

Author	SHA1	Message	Date
porcuquine	cf5d708202	Add InputOutputMismatch error.	2021-10-06 10:10:37 -07:00
Srinath Setty	f87f9a0580	minor nits	2021-10-05 14:39:48 -07:00
Srinath Setty	61ef5fc0b1	This commit introduces the following changes: ... * Separate types for Relaxed R1CS and R1CS instances and witnesses * Allows creating default values for Relaxed R1CS types * StepSNARK now folds a regular R1CS instance-witness into a running Relaxed R1CS instance-witness * We additionally enforce input chaining checks: the incoming instance must have input that matches the output of the incremental computation thus far	2021-10-04 16:07:17 -07:00
porcuquine	de5b8d6598	Support Pasta curves. (#4) ... * Support pasta curves directly. * Upgrade rand. * Simplify. * Don't deny missing docs. Co-authored-by: porcuquine <porcuquine@users.noreply.github.com>	2021-09-27 18:23:40 -07:00
Srinath Setty	25913f659a	update package name; make modules public and add docs	2021-09-02 12:56:51 -07:00
Srinath Setty	7020d7a714	address clippy	2021-09-02 12:39:01 -07:00
Srinath Setty	4b22ef2476	small cleanup	2021-09-01 10:19:56 -07:00
dignifiedquire	3ba8fd28aa	refactor: bring back compressed snark ... and cleanup some group op traits	2021-09-01 10:19:56 -07:00
Srinath Setty	732d937b09	generic traits for prime field elements and group elements	2021-09-01 10:19:56 -07:00
Srinath Setty	06b1c4d415	remove asserts	2021-07-27 16:30:08 -07:00
Srinath Setty	6075165c54	add acks and references	2021-07-26 11:58:39 -07:00
Srinath Setty	d52be5cf4a	small fixes	2021-07-23 15:03:51 -07:00
Srinath Setty	ba3a1e3922	initial commit	2021-07-23 14:15:07 -07:00