has anyone tried implementing some cryptographic primitives for a prover system on an FPGA? I tried finding ECC verilog libraries and it seems to be a fairly undiscovered domain, but maybe I suck at googling 🤷

Already a while ago but maybe still helpful as a starting point

Former engineer turned consultant. Prev: Art Gobblers and DaveDAO (https://t.me/+QFgEw3YBdq9iMTBh) Now working on MNTGE and some stealth projects.

Thanks this is helpful. I also found this paper on how to implement ECC pairings on an FPGA, which I thought could be a good starting point too: https://eprint.iacr.org/2018/1014.pdf

Building at TACEO
Believing in programmable cryptography.

Already a while ago but maybe still helpful as a starting point

https://eprint.iacr.org/2019/1368