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.