therealyingtong
|
83eddd8857
|
ecc::chip.rs: Add Point::from_coordinates_unchecked() API
Co-authored-by: Jack Grigg <jack@electriccoin.co>
|
2021-06-19 18:14:22 +08:00 |
therealyingtong
|
8a8df98a50
|
add_incomplete::tests: Constrain output of `P + Q` test.
Also minor docfixes and refactors.
Co-authored-by: Jack Grigg <jack@electriccoin.co>
|
2021-06-14 00:19:21 +08:00 |
therealyingtong
|
7341996d2c
|
gadget::ecc.rs: Add EccInstructions::constrain_equal() instruction.
This allows us to constrain two points to be equal in value at the
gadget level.
Co-authored-by: Jack Grigg <jack@electriccoin.co>
|
2021-06-13 21:26:30 +08:00 |
therealyingtong
|
a11c2066ef
|
chip::add.rs: Use Expression::square() + other minor refactors
Co-authored-by: Jack Grigg <jack@electriccoin.co>
|
2021-06-12 20:25:12 +08:00 |
therealyingtong
|
e259bb3846
|
ecc::chip.rs: Use concrete pallas::Affine for Chip impl.
The EccInstructions trait is still generic over C: CurveAffine;
however, the EccChip implementation is specific to the pasta
curves.
|
2021-06-12 20:25:09 +08:00 |
therealyingtong
|
aec7a7f850
|
ecc::chip.rs: Stub out scalar-mul-related structs and types.
These will be updated or restored in #111.
|
2021-06-12 20:24:14 +08:00 |
ying tong
|
e1779dab70
|
Docfixes and minor refactors.
Co-authored-by: str4d <jack@electriccoin.co>
|
2021-06-12 12:41:27 +08:00 |
therealyingtong
|
6dabb16edc
|
chip::add.rs: Use batch inversion for alpha, beta, gamma, delta
|
2021-06-12 12:41:27 +08:00 |
therealyingtong
|
f655e38e3e
|
chip::add_incomplete.rs: Remove superfluous check.
Co-authored-by: Jack Grigg <jack@electriccoin.co>
|
2021-06-12 12:41:27 +08:00 |
therealyingtong
|
aff56e6763
|
ecc::chip.rs: Make EccPoint.x, EccPoint.y private fields
Also add public getters x() and y().
Co-authored-by: Jack Grigg <jack@electriccoin.co>
Co-authored-by: Daira Hopwood <daira@jacaranda.org>
|
2021-06-12 12:41:27 +08:00 |
therealyingtong
|
433791fcb0
|
chip::witness_point.rs: Allow witnessing the identity.
|
2021-06-12 12:41:27 +08:00 |
therealyingtong
|
6491ea90dd
|
ecc::chip.rs: Bound EccConfig on <C: CurveAffine>.
|
2021-06-12 12:41:27 +08:00 |
therealyingtong
|
e802e2917a
|
chip::add.rs: Implement complete addition instruction.
|
2021-06-12 12:41:27 +08:00 |
therealyingtong
|
7dc11b95d2
|
chip::add_incomplete.rs: Implement add_incomplete() instruction
|
2021-06-12 12:41:27 +08:00 |
therealyingtong
|
7eb86eb0c2
|
chip::witness_point.rs: Implement witness_point() instruction.
|
2021-06-12 12:41:27 +08:00 |
therealyingtong
|
6627b2258f
|
ecc::chip.rs: Add ECC chip.
Implement witness_scalar_var() and extract_p() instructions inline.
|
2021-06-12 12:41:27 +08:00 |