feat: add as_witness builtin function in order to constrain a witness to be equal to a variable #4641
Merged
jfecher merged 3 commits intomasterfrom tf/force-witnessMay 21, 2024
+27-4
