mirror of https://github.com/zcash/halo2.git
Apply suggestions from code review
Co-authored-by: str4d <jack@electriccoin.co>
This commit is contained in:
parent
d0056d9050
commit
d77cb82c8d
|
@ -57,7 +57,8 @@ pub trait EccInstructions<C: CurveAffine>: Chip<C::Base> + UtilitiesInstructions
|
||||||
) -> Result<(), Error>;
|
) -> Result<(), Error>;
|
||||||
|
|
||||||
/// Witnesses the given point as a private input to the circuit.
|
/// Witnesses the given point as a private input to the circuit.
|
||||||
/// This allows the point to be the identity.
|
/// This allows the point to be the identity, mapped to (0, 0) in
|
||||||
|
/// affine coordinates.
|
||||||
fn witness_point(
|
fn witness_point(
|
||||||
&self,
|
&self,
|
||||||
layouter: &mut impl Layouter<C::Base>,
|
layouter: &mut impl Layouter<C::Base>,
|
||||||
|
|
|
@ -1680,7 +1680,7 @@ mod tests {
|
||||||
.to_affine();
|
.to_affine();
|
||||||
NonIdentityPoint::new(
|
NonIdentityPoint::new(
|
||||||
ecc_chip,
|
ecc_chip,
|
||||||
layouter.namespace(|| "witness g_d"),
|
layouter.namespace(|| "witness cm"),
|
||||||
Some(point),
|
Some(point),
|
||||||
)?
|
)?
|
||||||
};
|
};
|
||||||
|
|
Loading…
Reference in New Issue