adding zkgroup trait

hacspec · Mar 12, 2024 · 1b6245b · 1b6245b
1 parent 80d2a35
commit 1b6245b
Show file tree

Hide file tree

Showing 6 changed files with 876 additions and 4 deletions.
diff --git a/auction/Cargo.toml b/auction/Cargo.toml
@@ -8,7 +8,7 @@ edition = "2018"
 path = "src/auction.rs"
 
 [dependencies]
-hax-lib-macros = { path = "../../hacspec-v2/hax-lib-macros/" }
+hax-lib-macros = { path = "../../hax/hax-lib-macros/" }
 hacspec-concordium = { path = "../concordium" }
 hacspec-concordium-derive = { path = "../concordium-derive" }
 

diff --git a/bip-340/Cargo.toml b/bip-340/Cargo.toml
@@ -12,6 +12,10 @@ path = "src/bip-340.rs"
 hacspec-lib = { git = "https://github.com/hacspec/hacspec.git" }
 hacspec-sha256 = { path = "../sha256" }
 
+group = "0.13"
+subtle = "*"
+rand_core = "0.6"
+
 [dev-dependencies]
 quickcheck = "1"
 quickcheck_macros = "1"