Efficient HW/SW partitioning of Halo: FPGA-accelerated recursive proof composition in blockchain[J] MICROSYSTEM TECHNOLOGIES-MICRO-AND NANOSYSTEMS-INFORMATION STORAGE AND PROCESSING SYSTEMS 2021(27) Akeela, Rami Krawiec-Thayer, Mitchell P.
