pseXperiments/ff-Goldilocks
1
0
Fork 0
mirror of https://github.com/pseXperiments/ff-Goldilocks.git synced 2026-01-09 04:57:59 -05:00
Code Issues Packages Projects Releases Wiki Activity

feat: trait bound for base field

Browse Source
This commit is contained in:
zhenfei
2024-01-04 20:01:58 -05:00
parent 2725d23136
commit 2a5aa77ebe
1 changed files with 2 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
src/field.rs
View File

@@ -1,6 +1,7 @@
//! This module defines our customized field trait.
use ff::Field;
use ff::FromUniformBytes;
use ff::PrimeField;
use halo2curves::serde::SerdeObject;
use rand_core::RngCore;
@@ -10,7 +11,7 @@ use crate::{fp2::GoldilocksExt2, Goldilocks, GoldilocksExt3};
pub trait SmallField: PrimeField + Serialize + SerdeObject {
/// Base field
type BaseField;
type BaseField: SmallField + FromUniformBytes<64>;
/// Extension degree of the Field
const DEGREE: usize;
/// Identifier string