I am currently working on a project that involves implementing cryptographic protocols on ARM Cortex-M microcontrollers, specifically the Raspberry Pi Pico (RP2040). I am interested in using the libsnark library for this purpose. However, I need to know if libsnark is compatible with the arm-none-eabi toolchain, which is used for cross-compiling for bare metal environments.

Details:

Target Architecture: ARM Cortex-M (e.g., RP2040 on Raspberry Pi Pico)
Toolchain: ARM GCC (arm-none-eabi-gcc)
Operating System: None (Bare metal)

Questions:

1/ Is the libsnark library compatible with the arm-none-eabi toolchain?

2/ If not currently compatible, are there any known modifications or workarounds to make it work?

I attempted to cross-compile libsnark using the arm-none-eabi toolchain but was unsuccessful. Additionally, I have made an issue on the libsnark GitHub repository to inquire about this compatibility.