…1031)

Co-authored-by: Tamir Hemo <tamir@succinct.xyz>
Co-authored-by: Chris Tian <chris@succinct.xyz>

- Updated 'zkvm/entrypoint/src/syscalls/halt.rs' with new import for target OS 'zkvm'.
- Enhanced the data retrieval from `PUBLIC_VALUES_HASHER` using `addr_of_mut`.

- Removed unnecessary feature from sphinx-lib dependency in bls12381-g1-scalarmul tests.

The two columns in `AbsorbWorkspace` introduced in
`210423a5403b25319da2b60dce78e0d9d107d0aa` seemed to expose some
underlying issue which made the gnark circuit fail to accept a proof
even though the execution did not trigger any `TRAP`s. It seems like the
placement of these two columns in this struct were the reason why it was
failing, possibly some unfortunate interaction of `AlignedBorrow`, Rust
unions, or something else.

The issue exposed itself as a gnark constraint failure, and the specific
constraint that was failing was the one responsible for verifying the
constraints for the `Multi` chip. The `Multi` chip can have either a
`FriFoldChip` or a `Poseidon2WideChip` for each row. This might help
explain why this change was leading to constraint failures.

This refactor moves the `PublicValues` struct into the corresponding
`WithEvents` impls for each chip that needs access to it explicitly.

- Replaced `Field` trait with `Sync` in various modules for the `Poseidon2WideChip` implementation and friends, thereby updating associated dependencies.
- In the `fri_fold` module, updated functions and methods to support the new interface and constraints with revised struct and replaced `Field` trait with `Sync`,

- Renamed package from `sp1-recursion-gnark-cli` to `sphinx-recursion-gnark-cli`
- Updated dependency from `sp1-recursion-gnark-ffi` to `sphinx-recursion-gnark-ffi`
- Included macOS-specific linking for CoreFoundation and Security frameworks in gnark-ffi package

- Enhanced error handling across three critical go files in recursion/gnark-ffi, ensuring each function returns an error along with its intended output if any error occurs.
- Improved `randomPolynomial` function to return an error along with the polynomial and added necessary error checks.
- Improved safety by adding error handling for `SetString` and `SetRandom` operations, the program will now terminate in case of any error.
- Added error handling for critical function calls, such as `os.MkdirAll` and `vk.ExportSolidity` in build.go.
- Strengthened guard against unexpected panic conditions in `prove.go` by enabling error handling for `ReadFrom` methods for the R1CS, proving key, and verifier key.

- Added a step in the GitHub workflow to install the `sphinx-recursion-gnark-cli` for integration testing.
- Prepared for future testing capabilities by adding a note for `test-plonk-bn254`, pending CLI readiness.

- Introduced cross-platform support for the Go build command in the gnark-ffi's build.rs script.
- Enhanced detection of the current operating system to set the appropriate GOOS environment variable.

- Replaced static type `F` with generic type parameter `T` across multiple methods in `MultiChip` struct,
- this should lead to better compatibility with upstream.