refactor: restrict visibility of ECC

src/circuit.rs

@@ -7,11 +7,11 @@
 use crate::{
   constants::{NIO_NOVA_FOLD, NUM_FE_WITHOUT_IO_FOR_CRHF, NUM_HASH_BITS},
   gadgets::{
-    ecc::AllocatedPoint,
     r1cs::{AllocatedR1CSInstance, AllocatedRelaxedR1CSInstance},
     utils::{
       alloc_num_equals, alloc_scalar_as_base, alloc_zero, conditionally_select_vec, le_bits_to_num,
     },
+    AllocatedPoint,
   },
   r1cs::{R1CSInstance, RelaxedR1CSInstance},
   traits::{

src/gadgets/ecc.rs

@@ -113,6 +113,7 @@ impl<G: Group> AllocatedPoint<G> {
   }
 
   /// Returns coordinates associated with the point.
+  #[allow(unused)]
   pub const fn get_coordinates(
     &self,
   ) -> (
@@ -596,11 +597,13 @@ pub struct AllocatedPointNonInfinity<G: Group> {
 
 impl<G: Group> AllocatedPointNonInfinity<G> {
   /// Creates a new `AllocatedPointNonInfinity` from the specified coordinates
+  #[allow(unused)]
   pub const fn new(x: AllocatedNum<G::Base>, y: AllocatedNum<G::Base>) -> Self {
     Self { x, y }
   }
 
   /// Allocates a new point on the curve using coordinates provided by `coords`.
+  #[allow(unused)]
   pub fn alloc<CS: ConstraintSystem<G::Base>>(
     mut cs: CS,
     coords: Option<(G::Base, G::Base)>,
@@ -636,6 +639,7 @@ impl<G: Group> AllocatedPointNonInfinity<G> {
   }
 
   /// Returns coordinates associated with the point.
+  #[allow(unused)]
   pub const fn get_coordinates(&self) -> (&AllocatedNum<G::Base>, &AllocatedNum<G::Base>) {
     (&self.x, &self.y)
   }

src/gadgets/mod.rs

@@ -1,6 +1,9 @@
 //! This module implements various gadgets necessary for Nova and applications built with Nova.
-pub mod ecc;
+mod ecc;
+pub(crate) use ecc::AllocatedPoint;
+
 mod nonnative;
-pub use nonnative::{bignat::nat_to_limbs, util::f_to_nat};
+pub(crate) use nonnative::{bignat::nat_to_limbs, util::f_to_nat};
+
 pub(crate) mod r1cs;
 pub(crate) mod utils;

src/supernova/circuit.rs

@@ -14,7 +14,6 @@
 use crate::{
   constants::{NIO_NOVA_FOLD, NUM_HASH_BITS},
   gadgets::{
-    ecc::AllocatedPoint,
     r1cs::{
       conditionally_select_alloc_relaxed_r1cs,
       conditionally_select_vec_allocated_relaxed_r1cs_instance, AllocatedR1CSInstance,
@@ -23,6 +22,7 @@ use crate::{
     utils::{
       alloc_num_equals, alloc_scalar_as_base, alloc_zero, conditionally_select_vec, le_bits_to_num,
     },
+    AllocatedPoint,
   },
   r1cs::{R1CSInstance, RelaxedR1CSInstance},
   traits::{commitment::CommitmentTrait, Engine, ROCircuitTrait, ROConstantsCircuit},