Add input check on BabySnark

[jotabulacios]

Add input check on BabySnark

Description

This PR adds an additional check to the input values to ensure that the first element of the input is 1. This constraint is necessary to maintain the consistency of quadratic constraints

The variable public must be 1 because it is the first element of the input that the prover receives. For a more detailed explanation, refer to the BabySNARK paper.

Type of change

Please delete options that are not relevant.

• New feature
• Bug fix
• Optimization

Checklist

• Linked to Github Issue
• Unit tests added
• This change requires new documentation.
  • Documentation has been added/updated.
• This change is an Optimization
  • Benchmarks added/run

[codecov-commenter]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 71.40%. Comparing base (3b16015) to head (5ec2238).

Additional details and impacted files

@@           Coverage Diff           @@
##             main     #960   +/-   ##
=======================================
  Coverage   71.40%   71.40%           
=======================================
  Files         155      155           
  Lines       33574    33574           
=======================================
  Hits        23975    23975           
  Misses       9599     9599           

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.