diff --git a/examples/finite_prime_field.rs b/examples/finite_prime_field.rs index bd368ef..8673735 100644 --- a/examples/finite_prime_field.rs +++ b/examples/finite_prime_field.rs @@ -235,16 +235,16 @@ impl Distributive for FinitePrimeField {} impl FiniteField for FinitePrimeField { type ScalarType = FieldElement; - fn characteristic() -> Self::ScalarType { + fn characteristic() -> u64 { // For a prime field, the characteristic is the same as the modulus // This is a placeholder implementation - FieldElement([2; L]) // Example: characteristic 2 + 2 // Example: characteristic 2 } - fn order() -> Self::ScalarType { + fn order() -> u64 { // For a prime field, the order is the same as the modulus // This is a placeholder implementation - FieldElement([4; L]) // Example: order 4 + 4 // Example: order 4 } }