mratsim / constantine

Constantine: modular, high-performance, zero-dependency cryptography stack for proof systems and blockchain protocols.
Other
272 stars 38 forks source link

EC: Scalar mul accepts scalar as field element as well as bigint #370

Closed mratsim closed 2 months ago

mratsim commented 2 months ago

Previously Constantine required to convert scalar input of scalar mul to bigint every-time before calling.

This does not refactor eth-verkle-ipa. It will be done in a second time.

mratsim commented 2 months ago

It seems like there is a regression in Nim 2.0.x devel branch that breaks type-checking:

image

No issue in Nim 2.0.2

image

Edit: or Nim 2.0.4

Investigation moved to https://github.com/mratsim/constantine/issues/373