saymrwulf/pasta_curves-source
1
0
Fork 0
mirror of https://github.com/saymrwulf/pasta_curves-source.git synced 2026-09-04 20:03:39 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions
482 commits 1 branch 0 tags 1.7 MiB
Commit graph

482 commits

This branch
This branch
All branches
Author SHA1 Message Date
ebfull
da2d4eb71b
Merge pull request #179 from zcash/common-scalar 
Add common_scalar method to Transcript
 2021-02-12 09:19:21 -07:00
str4d
c5e2a5e310
Merge pull request #177 from zcash/book-proving-system 
[book] Fill out design section about proving system
 2021-02-13 05:10:56 +13:00
str4d
13ac4e7573
Merge pull request #178 from zcash/simple-example-comments 
Reflow simple-example.rs comments
 2021-02-13 05:09:15 +13:00
Sean Bowe
d3cd39fc6d
Add common_scalar method to Transcript. 2021-02-12 09:08:56 -07:00
Jack Grigg
4739aaae5c book: Clarify IPA inputs in tl;dr section 2021-02-12 16:05:44 +00:00
Jack Grigg
24eb3500cb examples: Fix typo 2021-02-12 15:53:04 +00:00
Jack Grigg
b3f85d3e69 examples: Reflow simple-example.rs comments for easier reading in book 2021-02-12 15:53:04 +00:00
Jack Grigg
126abd151c book: Clarify why fixed columns are shown separately in commitments 2021-02-12 15:30:48 +00:00
Jack Grigg
67b6d197aa book: Tweak wording for proving system stage 1 commitments 2021-02-12 15:18:12 +00:00
Jack Grigg
576796037a book: Move lookup argument design page to have consistent URI 2021-02-12 15:15:05 +00:00
Jack Grigg
7820083c0d book: Reword paragraph about degree of relation polynomials 2021-02-12 15:13:16 +00:00
Jack Grigg
3181a21cba book: Add beta and gamma requirements for lookup permutation product 
Co-authored-by: Daira Hopwood <daira@jacaranda.org>
 2021-02-12 15:08:00 +00:00
Jack Grigg
2c647009fc book: Fix notation for committing to lookup permutation product columns 2021-02-12 15:06:33 +00:00
Jack Grigg
f30cbcbfc9 book: Fix notation in example constraint system 2021-02-12 14:48:05 +00:00
str4d
0a2fb4781d
book: Small changes from review 
Co-authored-by: Daira Hopwood <daira@jacaranda.org>
 2021-02-13 03:43:35 +13:00
Jack Grigg
59010c4674 book: Document commitments to lookup and equality constraint arguments 2021-02-11 21:22:18 +00:00
Jack Grigg
7b7346c462 book: Add a placeholder page for explaining the IPA 
For now, it directs readers to the existing comparision page, which
describes Halo 2's IPA relative to another work.
 2021-02-11 19:54:45 +00:00
Jack Grigg
6da0adb4e1 book: Refactor the multipoint opening argument section 2021-02-11 19:54:45 +00:00
Jack Grigg
91a90f1d9d book: Renumber multipoint opening challenges to match implementation 2021-02-11 19:54:39 +00:00
Jack Grigg
ffa8dacaba book: Add section about vanishing argument 2021-02-11 19:54:38 +00:00
Jack Grigg
9e9a92a912 book: Add section about circuit commitments 2021-02-11 19:54:20 +00:00
Jack Grigg
e666f8b966 book: Add summary and succinct description of the Halo 2 protocol 2021-02-11 19:16:08 +00:00
Jack Grigg
4aceada21a book: Re-order "Proving system" sub-sections 2021-02-10 13:06:22 +00:00
str4d
7ac44e8d53
Merge pull request #168 from zcash/book-updates 
Book updates
 2021-02-10 12:01:53 +13:00
Jack Grigg
425c45d96b book: Add a simple example showing how the API is used 2021-02-08 15:56:16 +00:00
Jack Grigg
bfbfa80900 book: Add a comparison to BCMS20 2021-02-04 16:04:37 +00:00
ebfull
f566bf7fe0
Merge pull request #145 from zcash/circuit-annotations 
Circuit annotations and developer tooling
 2021-02-01 12:57:39 -07:00
Jack Grigg
0a378c3d0f Require Circuit::Config implement Clone instead of Copy 2021-02-01 19:05:19 +00:00
Jack Grigg
c95f0b7c0c circuit_layout: Darken the cells of the region that have been assigned to 
We record every instance of a cell assignment, so that cells which are
double-assigned (which is usually a mistake) will appear darker.
 2021-02-01 18:38:22 +00:00
Jack Grigg
3c1132ec59 Add halo2::dev::circuit_layout behind dev-graph feature flag 
This method renders circuits as tables, showing how the various regions
within them have been layed out.
 2021-02-01 18:38:20 +00:00
Jack Grigg
7dd6e65a5f Add halo2::dev::circuit_dot_graph behind dev-graph feature flag 
This method renders circuits as dot graphs, to help circuit developers
understand their structure.
 2021-02-01 18:38:16 +00:00
Jack Grigg
82da677add Add name field to ConstraintSystem::create_gate 
The name has type `&'static str`, as gates apply to every row and thus
do not require any runtime information to name.
 2021-02-01 18:38:13 +00:00
Jack Grigg
bf771a7446 Add namespacing and gadget name collection to Layouter 2021-02-01 18:38:04 +00:00
Jack Grigg
60061f64fd Add name field to Layouter::assign_region 2021-02-01 18:34:24 +00:00
Jack Grigg
4c3adf59d5 Add annotations to Region::{assign_advice, assign_fixed} 
This enables circuits to annotate individual cells with variable names
or similar protocol-specific metadata.
 2021-02-01 18:33:25 +00:00
ebfull
fb82730d85
Merge pull request #149 from zcash/transcript-blake2b 
Replace DummyHash with BLAKE2b
 2021-02-01 10:00:27 -07:00
therealyingtong
48bfea9782 Replace DummyHash with BLAKE2b 2021-02-02 00:53:53 +08:00
ebfull
a05f48be8f
Merge pull request #143 from zcash/multiproof 
Multi-proof prover
 2021-02-01 09:35:38 -07:00
therealyingtong
ea14d99a83 Renaming and cleanups from code review 
Co-authored-by: Sean Bowe <ewillbefull@gmail.com>
 2021-02-02 00:05:55 +08:00
str4d
a0282e7e15
Merge pull request #159 from daira/background-update2 
Further clarify notation and make sure that the discussion is correct for non-cyclic groups
 2021-02-02 00:33:02 +13:00
therealyingtong
a00d7c2fa6 Cleanups from code review 
Co-authored-by: Kris Nuttycombe <kris.nuttycombe@gmail.com>
Co-authored-by: Sean Bowe <ewillbefull@gmail.com>
 2021-01-31 11:48:32 +08:00
therealyingtong
de86391f0e Update test to pass multiple ConcreteCircuits 2021-01-31 11:48:32 +08:00
therealyingtong
def65609b1 Refactor PLONK verifier 2021-01-31 11:45:40 +08:00
therealyingtong
02b5b8442b Refactor PLONK prover 2021-01-31 11:45:40 +08:00
ebfull
5f89227cdd
Merge pull request #135 from zcash/serialize-params 
Serialize params
 2021-01-30 11:43:55 -07:00
Daira Hopwood
20f33f427f Further clarify notation and make sure that the discussion is correct for non-cyclic groups. 
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
 2021-01-30 16:16:22 +00:00
Daira Hopwood
fc0bddad8a
Merge pull request #158 from daira/background-update 
Improvements to background section
 2021-01-30 03:25:24 +00:00
Daira Hopwood
13f406acc1
Fix link 2021-01-30 03:24:35 +00:00
Daira Hopwood
7a5915ab09
Apply some suggestions from code review 
Co-authored-by: str4d <thestr4d@gmail.com>
 2021-01-30 02:49:40 +00:00
Daira Hopwood
cda768aa00 Improvements to background section: 
* describe groups in general, rather than via the example of F_p^*
* explain the isomorphism between group elements and scalars, and how it is useful
* corrections and pedantry :-)

Signed-off-by: Daira Hopwood <daira@jacaranda.org>
 2021-01-30 01:43:24 +00:00