feat: a simple gm encryption halo2 circuit

ndrwnaguib · Aug 6, 2024 · fae12ec · fae12ec
1 parent 2f36778
commit fae12ec
Show file tree

Hide file tree

Showing 25 changed files with 210 additions and 783 deletions.
diff --git a/.vscode/settings.json b/.vscode/settings.json
@@ -0,0 +1,9 @@
+{
+    "cSpell.words": [
+        "biguint",
+        "ciphertext",
+        "Goldwasser",
+        "Micali",
+        "probabilisticpubkey"
+    ]
+}
diff --git a/Cargo.toml b/Cargo.toml
@@ -5,6 +5,7 @@ resolver = "2"
 members = [
     "packages/circuits",
     "packages/cli",
+    "packages/probabilistic-encryption"
 ]
 
 # Dev / testing mode. We make opt-level = 3 to improve proving times (otherwise it is really slow)

diff --git a/packages/circuits/Cargo.toml b/packages/circuits/Cargo.toml
@@ -6,19 +6,22 @@ edition = "2021"
 # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
 
 [dependencies]
+anyhow = "1.0.81"
 env_logger = "=0.10"
 serde = { version = "=1.0", default-features = false, features = ["derive"] }
 serde_json = "=1.0"
 rand = "=0.8"
 clap = { version = "=4.0", features = ["derive"] }
 clap-num = "=1.0.2"
 cli = { path = "../cli" }
+probabilistic-encryption = { path = "../probabilistic-encryption" }
+num-bigint = "0.4.4"
 
 # halo2
-halo2_proofs = { git = "https://github.com/privacy-scaling-explorations/halo2.git", tag = "v2023_02_02" }
-
-# Axiom's helper API with basic functions
-halo2-base = { git = "https://github.com/axiom-crypto/halo2-lib", branch = "community-edition" }
+halo2-ecc = { version = "0.4.1", default-features = false, features = ["halo2-axiom"] }
+halo2-base = { version = "0.4.1", default-features = false, features = ["halo2-axiom"] }
+halo2-wasm = { version = "0.3.4" }
+wasm-bindgen = "0.2.89"
 snark-verifier-sdk = { git = "https://github.com/axiom-crypto/snark-verifier.git", branch = "community-edition" }
 
 [dev-dependencies]

diff --git a/packages/circuits/README.md b/packages/circuits/README.md
diff --git a/packages/circuits/configs/gm_encryption.config b/packages/circuits/configs/gm_encryption.config
@@ -0,0 +1,8 @@
+{
+  "k": 15,
+  "numAdvice": 34,
+  "numLookupAdvice": 3,
+  "numInstance": 1,
+  "numLookupBits": 14,
+  "numVirtualInstance": 0
+}
diff --git a/packages/circuits/data/fixed_len_keccak-1.in b/packages/circuits/data/fixed_len_keccak-1.in
diff --git a/packages/circuits/data/fixed_len_keccak.in b/packages/circuits/data/fixed_len_keccak.in
diff --git a/packages/circuits/data/halo2_lib.0.in b/packages/circuits/data/halo2_lib.0.in
diff --git a/packages/circuits/data/halo2_lib.in b/packages/circuits/data/halo2_lib.in
diff --git a/packages/circuits/data/poseidon.in b/packages/circuits/data/poseidon.in
diff --git a/packages/circuits/data/range.in b/packages/circuits/data/range.in
diff --git a/packages/circuits/data/var_len_keccak.1.in b/packages/circuits/data/var_len_keccak.1.in
diff --git a/packages/circuits/data/var_len_keccak.in b/packages/circuits/data/var_len_keccak.in
diff --git a/packages/circuits/examples/builder.rs b/packages/circuits/examples/builder.rs
diff --git a/packages/circuits/examples/halo2_lib.rs b/packages/circuits/examples/halo2_lib.rs
diff --git a/packages/circuits/examples/poseidon.rs b/packages/circuits/examples/poseidon.rs
diff --git a/packages/circuits/examples/range.rs b/packages/circuits/examples/range.rs
diff --git a/packages/circuits/src/consts.rs b/packages/circuits/src/consts.rs
@@ -0,0 +1 @@
+pub const CONTEXT_PHASE: usize = 0;