Bedrock2 End2End field and co-Z operations for secp256k1#1954

Merged

andres-erbsen merged 12 commits intomit-plv:masterfrom andres-erbsen:CoZJoyeBedrock

Oct 31, 2024

+2,533-61

Commits on Oct 29, 2024

Point doubling formula in jacobian coordinates for short Weierstrass curves when a=0

atrieu
authored and
andres-erbsen
committed
WIP

atrieu
authored and
andres-erbsen
committed
Bedrock2 secp256k1 point operations

atrieu
authored and
andres-erbsen
committed
Bedrock2 WordByWordMontgomery felem_copy_func_correct

atrieu
authored and
andres-erbsen
committed
secp256k1 scalarmult wip

atrieu
authored and
andres-erbsen
committed
secp256k1_inv using addchain

atrieu
authored and
andres-erbsen
committed
Change spec_of_secp256k1_inv to make F.inv appear

atrieu
authored and
andres-erbsen
committed
update unverified secp256k1 ladder

atrieu
authored and
andres-erbsen
committed
Verified secp256k1_laddermul

atrieu
authored and
andres-erbsen
committed
Verified linking lemma for secp256k1 64 bits scalar multiplication

atrieu
authored and
andres-erbsen
committed
Move secp256k1 out of End2End, remove compiler dep
andres-erbsen
committed
exclude Bedrock2 Joye ladder from lite target
andres-erbsen
committed