feat: add as_witness builtin function in order to constrain a witness to be equal to a variable
#7119
| Job | Run time |
|---|---|
| 56s | |
| 56s |