From dc44baa592c4f7b5659123cf7f8ad5722ef9be05 Mon Sep 17 00:00:00 2001 From: Nicholas Ward Date: Fri, 4 Feb 2022 09:27:02 -0800 Subject: [PATCH] simpler test --- plonky2/src/gadgets/curve.rs | 1 + plonky2/src/gadgets/glv.rs | 8 +++++--- 2 files changed, 6 insertions(+), 3 deletions(-) diff --git a/plonky2/src/gadgets/curve.rs b/plonky2/src/gadgets/curve.rs index 8c182345..9183a07a 100644 --- a/plonky2/src/gadgets/curve.rs +++ b/plonky2/src/gadgets/curve.rs @@ -329,6 +329,7 @@ mod tests { } #[test] + #[ignore] fn test_curve_random() -> Result<()> { const D: usize = 2; type C = PoseidonGoldilocksConfig; diff --git a/plonky2/src/gadgets/glv.rs b/plonky2/src/gadgets/glv.rs index a75ead7e..0a4afb3c 100644 --- a/plonky2/src/gadgets/glv.rs +++ b/plonky2/src/gadgets/glv.rs @@ -92,6 +92,7 @@ mod tests { use plonky2_field::secp256k1_scalar::Secp256K1Scalar; use crate::curve::curve_types::{Curve, CurveScalar}; + use crate::curve::glv::glv_mul; use crate::curve::secp256k1::Secp256K1; use crate::iop::witness::PartialWitness; use crate::plonk::circuit_builder::CircuitBuilder; @@ -117,9 +118,10 @@ mod tests { let scalar = Secp256K1Scalar::rand(); let scalar_target = builder.constant_nonnative(scalar); - let randot_times_scalar = builder.curve_scalar_mul(&randot, &scalar_target); - let randot_glv_scalar = builder.glv_mul(&randot, &scalar_target); - builder.connect_affine_point(&randot_times_scalar, &randot_glv_scalar); + let rando_glv_scalar = glv_mul(rando.to_projective(), scalar); + let expected = builder.constant_affine_point(rando_glv_scalar.to_affine()); + let actual = builder.glv_mul(&randot, &scalar_target); + builder.connect_affine_point(&expected, &actual); let data = builder.build::(); let proof = data.prove(pw).unwrap();