We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent c75f078 commit 9c533a3Copy full SHA for 9c533a3
test_data/asm/sqrt.asm
@@ -29,7 +29,7 @@ machine Sqrt with
29
};
30
31
col witness y;
32
- query |i| std::prover::provide_value(y, i, sqrt_hint(std::prover::eval(x)));
+ query |i| std::prover::compute_from(y, i, [x], |inputs| sqrt_hint(inputs[0]));
33
34
y * y = x;
35
0 commit comments