4 ms·
https://zprize.hardcaml.com https://zprize.hardcaml.com contains a detailed technical write-up, which includes an overview of the MSMs and NTTs algorithms, some
by fyquah 4y ago
https://zprize.hardcaml.com https://zprize.hardcaml.com contains a detailed technical write-up, which includes an overview of the MSMs and NTTs algorithms, some well-known methods to accelerate them (Pippenger's algorithm, Cooley-Tukey etc.) and a description of our implementation.
All code is open source! - https://github.com/fyquah/hardcaml_zprize https://github.com/fyquah/hardcaml_zprize
(Disclaimer: I'm one of the authors of the above blogpost)
(Edit: Added link to source code)
- supahfly_remix 4y agoI looked at simple examples (counters, fibonacci generator) of hardcaml in the github repo, but I don't see any obvious advantages over systemverilog, verilog, or VHDL (the industry standard languages). Why would one use hardcaml over these?
- jadbox 4y agoBut does VHDL work for FPGA?
- supahfly_remix 4y agoYes
- mijoharas 4y agoFrom the article: > We believe by using Hardcaml we were able to more efficiently and robustly come up with designs in the short competition period So, the authors seem to believe they are more productive in it than other languages, and seem to be positioning it as a competitive advantage.
- supahfly_remix 4y agoWhat abstractions does Hardcaml provide that makes them believe they are more productive in it?