halo2 specification (#4)

* halo2 spec * fixed name * fixed dependency path to git * added table.md and katex-header * Generic implementations of elliptic curves on the weiestrass form --------- Co-authored-by: Lasse Bramer Schmidt <[email protected]>
hacspec · Jun 20, 2023 · 7500e3e · 7500e3e
1 parent 82048ba
commit 7500e3e
Show file tree

Hide file tree

Showing 7 changed files with 6,429 additions and 0 deletions.
diff --git a/Cargo.toml b/Cargo.toml
@@ -21,4 +21,6 @@ members = [
  "edwards25519",
  "ed25519",
  "pasta",
+ "halo2",
+ "weierstrass-curves",
 ]
diff --git a/halo2/Cargo.toml b/halo2/Cargo.toml
@@ -0,0 +1,17 @@
+[package]
+name = "hacspec-halo2"
+version = "0.1.0"
+authors = ["Lasse Bramer Schmidt <[email protected]>", "Rasmus Tomtava Bjerg <[email protected]>"]
+edition = "2018"
+
+[lib]
+path = "src/halo2.rs"
+
+[dependencies]
+hacspec-lib = { git = "https://github.com/hacspec/hacspec.git" }
+hacspec-pasta = { path = "../pasta" }
+
+[dev-dependencies]
+quickcheck = "1"
+quickcheck_macros = "1"
+rand = "0.8.5"