Skip to content

nonnative arithmetic doesn't support < 3 limbs configuration #128

@slumber

Description

@slumber

The following code panics if you attempt to use configuration with 1 or 2 limbs

if 2 * params.bits_per_limb + ark_std::log2(params.num_limbs) as usize
> BaseField::MODULUS_BIT_SIZE as usize - 1
{
panic!("The current limb parameters do not support multiplication.");
}

However, I don't remember bellman-bignat having this limitation

// The following code is adapted from https://github.com/alex-ozdemir/bellman-bignat/blob/master/src/mp/bignat.rs#L567

This could be a problem if nonnative params become configurable

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions