Pratyush Mishra
1e935b0b94
Fix to_non_unique_bytes for BLS12::G1Prepared
2020-12-16 10:46:02 -08:00
Pratyush Mishra
0fd45d3d83
Reduce allocations in UInts
2020-12-08 23:13:33 -08:00
jon-chuang
905e7284b2
Reduce density of ThreeBitCondNegLookup
2020-11-25 00:26:32 -08:00
Weikeng Chen
68f08b94d2
Add UInt128 for u128 ( #21 )
2020-11-23 15:26:10 -08:00
Nirvan Tyagi
77dfd7dac6
'cargo +stable fmt'
2020-11-20 18:38:25 -08:00
Nirvan Tyagi
45a4c3b326
'cargo fmt'
2020-11-20 18:38:25 -08:00
Nirvan Tyagi
957ac48da4
Apply suggestions from code review
...
Co-authored-by: Pratyush Mishra <pratyushmishra@berkeley.edu >
2020-11-20 18:38:25 -08:00
Nirvan Tyagi
0abb3a7dfe
CondSelectGadget for UInts
2020-11-20 18:38:25 -08:00
Weikeng Chen
edc9a8ce02
Allow CS being none for into_edwards ( #16 )
...
* allow cs being none for into_edwards
2020-11-16 01:39:07 -08:00
Weikeng Chen
18824c0c83
Allow CS being none for into_edwards ( #15 )
2020-11-16 00:11:35 -08:00
Weikeng Chen
f4691621ee
Add ToConstraintFieldGadget for ProjectiveVar ( #13 )
2020-11-12 01:41:59 -08:00
Weikeng Chen
8dca325042
Make ToBitsGadget for FpVar's output constant-length ( #12 )
...
This is related to a Zexe issue https://github.com/scipr-lab/zexe/issues/289
Basically, ToBitsGadget for FpVar may produce shorter output for a constant value, which is undesired for a few reasons.
2020-11-12 01:18:43 -08:00
Pratyush Mishra
6077f51c97
*Actually* fix to_affine for SW points.
...
The prior PR (#9 ) multiplied by `self.z` instead of `self.z.inverse()`.
2020-11-11 23:14:25 -08:00
Pratyush Mishra
ceec513f62
Fix SW to_affine ( #9 )
...
Adds constraints to check that the conversion to affine coordinates happened correctly.
2020-11-10 10:46:44 -08:00
Kobi Gurkan
e5ec2e66d3
fix: fix wrong constant case detection in three_bit_cond_neg_lookup
2020-10-30 15:40:15 -07:00
yelhousni
2e2df52f79
replace frob(6) by unitary_inverse in bls12
2020-10-21 08:01:31 -07:00
Pratyush Mishra
636f93a3e5
Update to arkworks libraries ( #3 )
...
Co-authored-by: Nicholas Ward <npward@berkeley.edu >
2020-10-19 11:07:59 -07:00
