diff --git a/docs/src/description/constraints.md b/docs/src/description/constraints.md index 444cb5bc..76b78c07 100644 --- a/docs/src/description/constraints.md +++ b/docs/src/description/constraints.md @@ -199,6 +199,10 @@ periodic_columns { k: [1, 1, 1, 0] } +random_values { + rand: [16] +} + boundary_constraints { } @@ -236,6 +240,10 @@ public_inputs { } +random_values { + rand: [16] +} + periodic_columns { k: [1, 1, 1, 0] } @@ -250,4 +258,4 @@ integrity_constraints { let y = b + $rand[1] enf p1 = k * x * y } -``` \ No newline at end of file +```