Montgomery Multiplication for refactored metal EC backend#23

Merged

moven0831 merged 14 commits intomainfrom feat/metal/mont_mul

Dec 21, 2024

+1,197-74

Commits on Dec 21, 2024

feat: import mont_mul backend from https://github.com/geometryxyz/msl-secp256k1
moven0831
committed
feat: conversion between bigint and arbitrary limb size
moven0831
committed
test(bigint): add host test
moven0831
committed
test(bigint): adapt from https://github.com/geometryxyz/msl-secp256k1
moven0831
committed
refactor: add overflow detection and correct suitable bigint val for each cases
moven0831
committed
chore: update path for contants.metal
moven0831
committed
test(mont_mul): adapted mont mul tests from https://github.com/geometryxyz/msl-secp256k1
moven0831
committed
feat(mont_mul): adapted utils function related to mont_mul from https://github.com/geometers/multiprecision
moven0831
committed
feat: add limbs conversion from ark_ff bigint to arbitrary limbs in Vec<u32>
moven0831
committed
chore: update path for utils for limb conversion
moven0831
committed
fix(mont_mul): correct the conversion from arkworks' scalarfield to arbitrary limbs of Vec<u32>
moven0831
committed
test(mont_mul): adapted benchmark functions from https://github.com/geometryxyz/msl-secp256k1
moven0831
committed
feat(metal): add mont_mul cios
moven0831
committed
test(mont_mul): add cios mont_mul test and benchmark
moven0831
committed