Implement Fr field

penumbra-zone · Jan 12, 2024 · 3692ff9 · 3692ff9
1 parent c35b6e0
commit 3692ff9
Show file tree

Hide file tree

Showing 8 changed files with 361 additions and 146 deletions.
diff --git a/proptest-regressions/fields/fr/arkworks.txt b/proptest-regressions/fields/fr/arkworks.txt
@@ -0,0 +1,7 @@
+# Seeds for failure cases proptest has generated in the past. It is
+# automatically read and these particular cases re-run before any
+# novel cases are generated.
+#
+# It is recommended to check this file in to source control so that
+# everyone who runs the test benefits from these saved cases.
+cc 77fe8cd73668f517c0ddfd13999e303d1121ad67db8c896f6d7f33195288d791 # shrinks to a = Fr(0x0000000000000001000000000000000000000000000000000000000000000000)