* refactor r1cs::is_valid and provider::cpu_best_multiexp (microsoft#240)

* refactor: r1cs is valid

* refactor: msm parallel iteration

* chore: fix clippy

* Expose verifier key's digest with a trait (microsoft#243)

* Expose verifier key's digest with a trait

* run cargo fmt and clippy

* use rayon to compute in parallel (microsoft#245)

* Eliminate unnecessary wraps & use alloc_infallible (microsoft#246)

* feat: Refactor unnecessary wraps in error handling

Revised operations unnecessarily wrapping their return in a Result.

* refactor: Refactor to use infallible allocation across application

- Switched the allocation method to the infallible version, `AllocatedNum::alloc_infallible`, in multiple units (`poseidon.rs`, `bellpepper/mod.rs`, `utils.rs`, `circuit.rs`, `lib.rs`, `nifs.rs`).
  This removed the need for multiple error checks and reduced usage of `Result` return types.

* release 0.27.0 (microsoft#247)

* Reduce hashing costs with a power polynomial in ppsnark (microsoft#248)

* use eq polynomial emulated via power polynomial, to reduce hashing costs

* update version

* add missing file

* Optimize ppsnark (microsoft#250)

* update ppsnark to be more efficient

* remove

* clippy

* use padded

* rayon

* additional rayon

* update version

---------

Co-authored-by: ashWhiteHat <phantomofrotten@gmail.com>
Co-authored-by: Jiaxing Zhao <mrls1219@mail.ustc.edu.cn>
Co-authored-by: Srinath Setty <srinath@microsoft.com>

…icrosoft#250)

* chore: "Update halo2curves dependency and adjust grumpkin-msm source"

- Introduced `halo2curves` version `0.6.0` as a global dependency with additional features
- Eliminated specific target architecture dependency on `halo2curves`

- Testing with an updated `grumpkin-msm` source using a distinct git URL and branch: lurk-lab/grumpkin-msm#11

* fix: make parameters of supernova test use expect_test

* test: Update test expectations for test(_supernova)?_pp_digest

- Updated expected digest in pp digest tests,
- see privacy-ethereum/halo2curves#110 for the upstream change

* chore: point the grumpkin-msm dependency back to lurk-lab