Update Rust crate ark-r1cs-std to 0.5.0

[renovate]

This PR contains the following updates:

Package	Type	Update	Change
ark-r1cs-std (source)	dependencies	minor	0.4.0 -> 0.5.0

---

Release Notes

arkworks-rs/r1cs-std (ark-r1cs-std)

v0.5.0

Compare Source

Breaking changes

• #​121
  • Refactor UInt{8,16,64,128} into one struct UInt.
  • Remove bits module.
  • Use std::ops traits for UInt and Boolean.
• #​134 Add Mul<NonnativeFieldVar> bounds and impls for CurveVar.
• #​135
  • Rename NonNativeFieldVar to EmulatedFpVar.
  • Rename fields::nonnative to fields::emulated_fp.
  • Rename fields::nonnative::{Allocated}NonNativeMulResultVar to fields::emulated_fp::{Allocated}MulResultVar.
• #​136
  • Rename ToBytesGadget::to_{non_unique_}bytes → ToBytesGadget::to_{non_unique_}bytes_in_le.

Features

• #​136
  • Add {BitAnd,BitOr,BitXor,BitAndAssign,BitOrAssign,BitXorAssign}<T> for UInt<N, T, F>.
  • Add UInt::rotate_{left,right}_in_place.
  • Add {Boolean,UInt}::not_in_place.
  • Add UInt::{from_bytes_le, from_bytes_be, to_bytes_be}.
• #​143 Add AllocVar::new_variable_with_inferred_mode.
• #​144 Add ToConstraintFieldGadget bounds to CurveVar and FieldVar

Improvements

Bug Fixes

• #​145
  • Avoid deeply nested LinearCombinations in EvaluationsVar::interpolate_and_evaluate to fix the stack overflow issue when calling .value() on the evaluation result.
• #​148
  • Fix panic issues during in-circuit polynomial interpolation.

---

Configuration

📅 Schedule: Branch creation - At any time (no schedule defined), Automerge - At any time (no schedule defined).

🚦 Automerge: Disabled by config. Please merge this manually once you are satisfied.

♻ Rebasing: Whenever PR becomes conflicted, or you tick the rebase/retry checkbox.

🔕 Ignore: Close this PR and you won't be reminded about this update again.

---

• If you want to rebase/retry this PR, check this box

---

This PR was generated by Mend Renovate. View the repository job log.