circom_witnesscalc_platform_interface library