Replace the 64-bit C field implementation by fiat-crypto output #1319

Open

dderjoel wants to merge 4 commits intobitcoin-core:masterfrom dderjoel:only-c

+233-252

Commits on Jul 27, 2023

replace current field arith with fiat arithmetic
dderjoel
committed

Commits on Jul 28, 2023

Commits on Sep 4, 2023

Merge branch 'bitcoin-core:master' into only-c
dderjoel
authored