feat(maci-crypto): support ElGamal alg

Author: 99Kies

Makefile

@@ -0,0 +1,114 @@
+.PHONY: wasm wasm-amaci wasm-registry wasm-api-maci wasm-api-saas wasm-test
+.PHONY: schema schema-amaci schema-registry schema-api-maci schema-api-saas
+.PHONY: test unit-test clean optimize help
+
+# Compile all contracts to wasm
+wasm:
+	@echo "Building all contracts..."
+	@cd contracts/amaci && cargo wasm
+	@cd contracts/registry && cargo wasm
+	@cd contracts/api-maci && cargo wasm
+	@cd contracts/api-saas && cargo wasm
+	@cd contracts/test && cargo wasm
+	@echo "✅ All contracts built successfully"
+
+# Compile individual contracts
+wasm-amaci:
+	@cd contracts/amaci && cargo wasm
+
+wasm-registry:
+	@cd contracts/registry && cargo wasm
+
+wasm-api-maci:
+	@cd contracts/api-maci && cargo wasm
+
+wasm-api-saas:
+	@cd contracts/api-saas && cargo wasm
+
+wasm-test:
+	@cd contracts/test && cargo wasm
+
+# Generate schemas for all contracts
+schema:
+	@echo "Generating schemas..."
+	@cd contracts/amaci && cargo schema
+	@cd contracts/registry && cargo schema
+	@cd contracts/api-maci && cargo schema
+	@cd contracts/api-saas && cargo schema
+	@echo "✅ All schemas generated"
+
+# Generate schema for individual contracts
+schema-amaci:
+	@cd contracts/amaci && cargo schema
+
+schema-registry:
+	@cd contracts/registry && cargo schema
+
+schema-api-maci:
+	@cd contracts/api-maci && cargo schema
+
+schema-api-saas:
+	@cd contracts/api-saas && cargo schema
+
+# Run all tests (contracts + crates)
+test:
+	@cargo test
+
+# Run unit tests for all contracts
+unit-test:
+	@echo "Running contract unit tests..."
+	@cd contracts/amaci && cargo unit-test
+	@cd contracts/registry && cargo unit-test
+	@cd contracts/api-maci && cargo unit-test
+	@cd contracts/api-saas && cargo unit-test
+	@cd contracts/test && cargo unit-test
+	@echo "✅ All contract tests passed"
+
+# Run tests for crates only
+test-crates:
+	@echo "Running crates tests..."
+	@cd crates/baby-jubjub && cargo test
+	@cd crates/maci-utils && cargo test
+	@cd crates/maci-crypto && cargo test
+	@cd crates/eddsa-poseidon && cargo test
+	@cd crates/crypto-test-gen && cargo test
+	@echo "✅ All crate tests passed"
+
+# Optimize wasm files (requires wasm-opt)
+optimize:
+	@echo "Optimizing wasm files..."
+	@for file in target/wasm32-unknown-unknown/release/*.wasm; do \
+		if [ -f "$$file" ]; then \
+			echo "Optimizing $$file..."; \
+			wasm-opt -Os "$$file" -o "$${file%.wasm}_optimized.wasm"; \
+		fi \
+	done
+	@echo "✅ Optimization complete"
+
+# Clean build artifacts
+clean:
+	@cargo clean
+	@echo "✅ Clean complete"
+
+# Show help
+help:
+	@echo "MACI Workspace Commands:"
+	@echo ""
+	@echo "  make wasm           - Build all contracts to wasm"
+	@echo "  make wasm-amaci     - Build amaci contract"
+	@echo "  make wasm-registry  - Build registry contract"
+	@echo "  make wasm-api-maci  - Build api-maci contract"
+	@echo "  make wasm-api-saas  - Build api-saas contract"
+	@echo "  make wasm-test      - Build test contract"
+	@echo ""
+	@echo "  make schema         - Generate schemas for all contracts"
+	@echo "  make schema-amaci   - Generate schema for amaci"
+	@echo ""
+	@echo "  make test           - Run all tests (contracts + crates)"
+	@echo "  make unit-test      - Run unit tests for all contracts"
+	@echo "  make test-crates    - Run tests for all crates"
+	@echo ""
+	@echo "  make optimize       - Optimize wasm files (requires wasm-opt)"
+	@echo "  make clean          - Clean build artifacts"
+	@echo "  make help           - Show this help message"
+

.cargo/config.toml contracts/amaci/.cargo/config.toml.cargo/config.toml renamed to contracts/amaci/.cargo/config.toml

@@ -0,0 +1,5 @@
+[alias]
+wasm = "build --release --lib --target wasm32-unknown-unknown"
+unit-test = "test --lib"
+schema = "run --bin schema"
+

contracts/api-maci/.cargo/config.toml

@@ -0,0 +1,5 @@
+[alias]
+wasm = "build --release --lib --target wasm32-unknown-unknown"
+unit-test = "test --lib"
+schema = "run --bin schema"
+

contracts/api-saas/.cargo/config.toml

@@ -0,0 +1,5 @@
+[alias]
+wasm = "build --release --lib --target wasm32-unknown-unknown"
+unit-test = "test --lib"
+schema = "run --bin schema"
+

contracts/registry/.cargo/config.toml

@@ -0,0 +1,5 @@
+[alias]
+wasm = "build --release --lib --target wasm32-unknown-unknown"
+unit-test = "test --lib"
+schema = "run --bin schema"
+

contracts/test/.cargo/config.toml

@@ -38,7 +38,9 @@ fn main() {
             );
 
             // Verify unpacked point matches original
-            if unpacked_point == public_key {
+            // Compare in projective coordinates to handle different representations
+            use baby_jubjub::EdwardsProjective;
+            if EdwardsProjective::from(unpacked_point) == EdwardsProjective::from(public_key) {
                 println!("✓ Unpacked point matches original point");
             } else {
                 println!("✗ Unpacked point does not match original point");
@@ -52,4 +54,3 @@ fn main() {
     // Check if point is on curve
     println!("inCurve: {}", in_curve(&public_key));
 }
-

crates/baby-jubjub/examples/basic_operations.rs

@@ -122,7 +122,11 @@ pub fn gen_random_babyjub_value() -> BigUint {
     }
 
     // Compute the private key modulo 2^253 (as per the TS implementation)
-    let modulo = BigUint::from(2u32).pow(253);
+    // Precomputed: 2^253 = 14474011154664524427946373126085988481658748083205070504932198000989141204992
+    const MODULO_2_253: &str =
+        "14474011154664524427946373126085988481658748083205070504932198000989141204992";
+    let modulo =
+        BigUint::parse_bytes(MODULO_2_253.as_bytes(), 10).expect("Failed to parse modulo constant");
     &rand_val % &modulo
 }
 
@@ -346,17 +350,21 @@ mod tests {
 
         let expected_base_point = EdwardsAffine::new_unchecked(BASE_X, BASE_Y);
         let cofactor = EdFr::from_be_bytes_mod_order(&[BabyJubjubConfig::COFACTOR[0] as u8]);
-        let calculated_base_point = (g * cofactor).into_affine();
+        let calculated_base_point = g * cofactor;
 
-        assert_eq!(calculated_base_point, expected_base_point);
+        assert_eq!(
+            calculated_base_point,
+            EdwardsProjective::from(expected_base_point)
+        );
     }
 
     #[test]
     fn test_base_point_order() {
         let base_point = EdwardsAffine::new_unchecked(GENERATOR_X, GENERATOR_Y);
 
-        let result = (base_point * SUBGROUP_ORDER).into_affine();
-        let identity = EdwardsAffine::new_unchecked(Fq::zero(), Fq::ONE);
+        let result = base_point * SUBGROUP_ORDER;
+        // Identity in projective coordinates is (0, 1, 0, 1) for twisted Edwards
+        let identity = EdwardsProjective::new(Fq::zero(), Fq::ONE, Fq::zero(), Fq::ONE);
 
         assert_eq!(result, identity);
     }
@@ -365,7 +373,10 @@ mod tests {
     fn test_base8() {
         let base8_point = base8();
         let expected = EdwardsAffine::new_unchecked(BASE_X, BASE_Y);
-        assert_eq!(base8_point, expected);
+        assert_eq!(
+            EdwardsProjective::from(base8_point),
+            EdwardsProjective::from(expected)
+        );
         assert!(base8_point.is_on_curve());
     }
 
@@ -387,9 +398,9 @@ mod tests {
         );
 
         let result = add_point(&p1, &p2);
-        let expected = (p1 + p2).into_affine();
+        let expected = p1 + p2;
 
-        assert_eq!(result, expected);
+        assert_eq!(EdwardsProjective::from(result), expected);
         assert!(result.is_on_curve());
     }
 
@@ -399,9 +410,9 @@ mod tests {
         let scalar = EdFr::from(324u64);
 
         let result = mul_point_escalar(&base8_point, scalar);
-        let expected = (EdwardsProjective::from(base8_point) * scalar).into_affine();
+        let expected = EdwardsProjective::from(base8_point) * scalar;
 
-        assert_eq!(result, expected);
+        assert_eq!(EdwardsProjective::from(result), expected);
         assert!(result.is_on_curve());
     }
 
@@ -421,7 +432,10 @@ mod tests {
         let packed = pack_point(&point);
         let unpacked = unpack_point(&packed).expect("Failed to unpack point");
 
-        assert_eq!(point, unpacked);
+        assert_eq!(
+            EdwardsProjective::from(point),
+            EdwardsProjective::from(unpacked)
+        );
         assert!(unpacked.is_on_curve());
     }
 
@@ -435,7 +449,10 @@ mod tests {
         let packed = pack_point(&public_key);
         let unpacked = unpack_point(&packed).expect("Failed to unpack point");
 
-        assert_eq!(public_key, unpacked);
+        assert_eq!(
+            EdwardsProjective::from(public_key),
+            EdwardsProjective::from(unpacked)
+        );
         assert!(unpacked.is_on_curve());
     }
 
@@ -452,7 +469,12 @@ mod tests {
             let packed = pack_point(&point);
             let unpacked = unpack_point(&packed).expect("Failed to unpack point");
 
-            assert_eq!(point, unpacked, "Failed for scalar {}", scalar_val);
+            assert_eq!(
+                EdwardsProjective::from(point),
+                EdwardsProjective::from(unpacked),
+                "Failed for scalar {}",
+                scalar_val
+            );
             assert!(unpacked.is_on_curve());
         }
     }
@@ -508,7 +530,8 @@ mod tests {
         // Unpack the point and verify it matches
         let unpacked_point = unpack_point(&packed_point).expect("Failed to unpack point");
         assert_eq!(
-            public_key, unpacked_point,
+            EdwardsProjective::from(public_key),
+            EdwardsProjective::from(unpacked_point),
             "Unpacked point should match original"
         );