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
807 commits 1 branch 0 tags 1.7 MiB
Commit graph

807 commits

This branch
This branch
All branches
Author SHA1 Message Date
Daira Hopwood
db11c47045 Apply suggestions from code review 
Co-authored-by: ying tong <yingtong@z.cash>
 2021-02-19 15:52:11 +00:00
Daira Hopwood
fa3afc29bb Add an implementation of simplified SWU hash-to-curve. 
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
 2021-02-19 15:52:11 +00:00
str4d
c9b606212e
Merge pull request #196 from daira/book-improvements 
Book improvements
 2021-02-20 04:19:40 +13:00
str4d
e7562a471a
Merge pull request #200 from zcash/fix-bench-plonk 
Update bench::plonk to work with multi-proof prover
 2021-02-19 23:18:09 +13:00
therealyingtong
e98dba8521 Update bench::plonk to work with multi-proof prover 2021-02-19 15:46:32 +08:00
Jack Grigg
6717594c46 book: Render gtab and invtab as matrices 2021-02-19 01:13:16 +00:00
therealyingtong
b148c34c10 [book] Add Sarkar sqrt explanation to Fields section 2021-02-19 00:21:05 +00:00
Daira Hopwood
4d61ad8ff5 Need a borrow here. 
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
 2021-02-18 23:50:19 +00:00
ebfull
fb6111df5b
Merge pull request #176 from zcash/general-lookup 
Generalise lookup argument to work over expressions
 2021-02-18 16:32:48 -07:00
Daira Hopwood
e2f20770bb Edits from pairing with @str4d. This fixes an error in Z_P for the equality constraint argument, 
and also errors in the circuit commitments section.

Co-authored-by: Jack Grigg <jack@electriccoin.co>
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
 2021-02-18 23:27:42 +00:00
Sean Bowe
0316019a94
Add test for polynomial rotation in Lagrange form. 2021-02-18 16:25:00 -07:00
Sean Bowe
81af4e43d1
Update pinned verification key to account for circuit changes 2021-02-18 15:48:20 -07:00
therealyingtong
d29246b49b
Rename const_* -> constant_* 2021-02-18 15:41:36 -07:00
therealyingtong
4bf46fc349
Add Expression::Const variant 2021-02-18 15:41:36 -07:00
therealyingtong
6a7f869f66
Clippy fixes 2021-02-18 15:41:36 -07:00
therealyingtong
df2d818891
Account for Rotations of LagrangeCoeff values 2021-02-18 15:41:36 -07:00
therealyingtong
8e56b415fb
Rename column -> expression for lookups 2021-02-18 15:41:36 -07:00
therealyingtong
2f2de13887
Calculate required degree of lookup 2021-02-18 15:41:36 -07:00
therealyingtong
aca6de61f8
Evaluate Expressions and all variants 
Co-authored-by: Jack Grigg <jack@electriccoin.co>
 2021-02-18 15:41:36 -07:00
therealyingtong
d8534e1c50
Pass Expressions to meta.lookup() 2021-02-18 15:41:35 -07:00
ebfull
9401ceb68d
Merge pull request #173 from zcash/vk-transcript 
Hash verification key into transcript
 2021-02-18 13:28:57 -07:00
str4d
1e73f97a24
Merge pull request #197 from zcash/bump-deps 
Bump dependencies
 2021-02-19 09:20:35 +13:00
Sean Bowe
5e20b0f2a7
Automatically derive PinnedVerificationKey's Debug impl. 2021-02-18 07:51:41 -07:00
Sean Bowe
7fcd302d2d
cargo fmt 2021-02-17 15:40:41 -07:00
Sean Bowe
8060a12ea4
Fix minor nit (match ergonomics) 2021-02-17 15:39:46 -07:00
Sean Bowe
2b1c319ba0
Use pretty-printing in test of verification key pinning. 2021-02-17 15:38:43 -07:00
Sean Bowe
2fe4e0d900
Change personalization of BLAKE2b used in hash_into. 2021-02-17 15:20:19 -07:00
Sean Bowe
87536cea10
Use newtypes to simplify Debug implementations for pinning verification keys. 2021-02-17 15:20:19 -07:00
Sean Bowe
2076701fc3
cargo fmt 2021-02-17 15:19:34 -07:00
Sean Bowe
34a5bfd4b1
Remove unused TryInto import. 2021-02-17 15:19:34 -07:00
Sean Bowe
6226426be0
Restore whitespace 2021-02-17 15:19:34 -07:00
ebfull
bc9d05e67b
Apply suggestions from code review 
Co-authored-by: str4d <jack@electriccoin.co>
 2021-02-17 15:19:34 -07:00
Sean Bowe
98f5b17359
Remove unused import 2021-02-17 15:19:34 -07:00
Sean Bowe
ea563434f4
Remove hash_into from Rotation. 2021-02-17 15:19:34 -07:00
Sean Bowe
dfa7d96fa9
Refactor verification key hashing logic to use Display impls. 2021-02-17 15:19:34 -07:00
therealyingtong
f35e190455
Hash in field modulus, curve parameters 2021-02-17 15:19:34 -07:00
therealyingtong
52c028b4da
Disambiguate naming of hash() -> hash_into() 2021-02-17 15:19:34 -07:00
therealyingtong
e7d6f67564
Rename aux -> instance after rebasing 2021-02-17 15:19:34 -07:00
therealyingtong
b204ff74a8
Do not return hash results from component hash() methods 2021-02-17 15:19:34 -07:00
therealyingtong
4aa4b4463a
Hash domain and cs into transcript 2021-02-17 15:19:34 -07:00
therealyingtong
437782e902
Hash fixed_commitments and permutations into transcript 2021-02-17 15:19:33 -07:00
Daira Hopwood
ad771f89cb Book: improve the section explaining the permutation argument. 
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
 2021-02-17 21:26:39 +00:00
Jack Grigg
776016fe53 crossbeam-utils 0.8 2021-02-17 20:43:36 +00:00
Jack Grigg
0c4f779993 ff 0.9 2021-02-17 20:42:27 +00:00
Jack Grigg
2c77eccf01 metrics 0.14.2 2021-02-17 20:40:12 +00:00
Daira Hopwood
a73560c842 Book: cosmetics and minor corrections / wording improvements. 
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
 2021-02-17 17:10:11 +00:00
Daira Hopwood
07af9ea3e7 Book: generalize input columns to expressions in lookup argument. 
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
 2021-02-17 17:09:10 +00:00
ebfull
068babe3d0
Merge pull request #193 from zcash/any-permutation 
Allow permutations to be over all column types
 2021-02-17 09:06:27 -07:00
ebfull
b299542eea
Merge pull request #174 from zcash/ecc-gadget 
Add gadgets for elliptic curve operations
 2021-02-17 08:54:02 -07:00
therealyingtong
a19dc68dee Use Column<Any> in Permutation::Argument 2021-02-17 21:32:17 +08:00