default to magnitude 8->1 in Dettman multiplication

mit-plv · Jul 31, 2023 · eeacbbd · eeacbbd
1 parent be2bfa6
commit eeacbbd
Show file tree

Hide file tree

Showing 14 changed files with 1,730 additions and 1,661 deletions.
diff --git a/fiat-bedrock2/src/secp256k1_dettman_32.c b/fiat-bedrock2/src/secp256k1_dettman_32.c
diff --git a/fiat-bedrock2/src/secp256k1_dettman_64.c b/fiat-bedrock2/src/secp256k1_dettman_64.c
diff --git a/fiat-c/src/secp256k1_dettman_32.c b/fiat-c/src/secp256k1_dettman_32.c
diff --git a/fiat-c/src/secp256k1_dettman_64.c b/fiat-c/src/secp256k1_dettman_64.c
diff --git a/fiat-go/32/secp256k1dettman/secp256k1dettman.go b/fiat-go/32/secp256k1dettman/secp256k1dettman.go
diff --git a/fiat-go/64/secp256k1dettman/secp256k1dettman.go b/fiat-go/64/secp256k1dettman/secp256k1dettman.go