The ff-uint from zeropoolnetwork

ff-uint's People

Contributors

Watchers

ff-uint's Issues

Implement procedural macro generated trait.

Currently, ff-uint create struct for prime field with following proc_macro_derive:

#[derive(PrimeField)]
#[PrimeFieldModulus = "6554484396890773809930967563523245729705921265872317281365359162392183254199"]
#[PrimeFieldGenerator = "7"]
pub struct Fs(U256);

(see https://github.com/zeropoolnetwork/ff-uint/blob/master/tests/ff-uint_tests.rs#L28 )

It should be rewritten in one code style with current uint implementation (https://github.com/zeropoolnetwork/ff-uint/blob/master/src/uint/mod.rs#L5).

To use macro_rules generated types, we need a procedural macro for constants computation for the following constants:

MODULUS
MODULUS_BITS
R
R2
INV
GENERATOR
S
ROOT_OF_UNITY

Constants should be computed from 2 input params: PrimeFieldModulus and PrimeFieldGenerator.

Resulting trait should be something like this:

impl PrimeFieldParams for Fs {
    type Inner = U256;
    const MODULUS: Self::Inner = ....,
    const MODULUS_BITS:u32 = ...
    ....
}

It could be obtained for following construction or something else like this:

construct_primefield_params! {
    impl PrimeFieldParams for Fs {
        type Inner = U256;
        const MODULUS: &'static str = "6554484396890773809930967563523245729705921265872317281365359162392183254199";
        const GENERATOR: &'static str = "7"
   }
}

Recommend Projects