Use Add,Mul and Neg notations

hacspec · Sep 16, 2024 · 57b5d50 · 57b5d50
1 parent 535b234
commit 57b5d50
Show file tree

Hide file tree

Showing 18 changed files with 3,532 additions and 575 deletions.
diff --git a/ovn/Cargo.toml b/ovn/Cargo.toml
@@ -22,6 +22,9 @@ quickcheck = "1"
 quickcheck_macros = "1"
 bls12_381 = "0.8"
 
+hax-lib = { git = "https://github.com/hacspec/hax", version = "0.1.0-pre.1" }
+
+
 [dev-dependencies]
 criterion = "0.4"
 rand = "0.8"